pkg.soopen package index

brew / Rang 2946

rocq mit Homebrew, apk, dnf, MacPorts, pacman, zypper installieren

Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für rocq in AI-Agent-Workflows.

InstallationsbefehlSicherheitshinweise

Installation

Weitere Installationsbefehle

macOS

Homebrewverifiziert · 100%
brew install rocq

local Homebrew formula metadata

MacPortsverifiziert · 94%
sudo port install rocq

MacPorts ports tree · lang/rocq/Portfile · Quelle: api.github.com

Linux

Alpine Linux apkverifiziert · 92%
sudo apk add rocq

Alpine Linux edge package indexes · rocq · Quelle: dl-cdn.alpinelinux.org

Fedora dnfverifiziert · 92%
sudo dnf install rocq

Fedora Rawhide package metadata · rocq · Quelle: dl.fedoraproject.org

Arch Linux pacmanverifiziert · 92%
sudo pacman -S rocq

Arch Linux sync databases · rocq · Quelle: geo.mirror.pkgbuild.com

openSUSE zypperverifiziert · 92%
sudo zypper install rocq

openSUSE Tumbleweed package metadata · rocq · Quelle: download.opensuse.org

Überblick

Paketzusammenfassung

Proof assistant for higher-order logic

Befehle und Aliase

  • coq-tex
  • coq_makefile
  • coqc
  • coqchk
  • coqdep
  • coqdoc
  • coqidetop
  • coqnative
  • coqpp
  • coqtop
  • coqtop.byte
  • coqwc
  • coqworkmgr
  • csdpcert
  • ocamllibdep
  • rocq
  • rocq.byte
  • rocqchk
  • votour

Sicherheitslage

Risikostufe: grün

narrow executable package without higher-risk signals.

Risikoklassifikator

grün Risiko · niedrig Konfidenz · appliance

Warum

  • narrow executable package without higher-risk signals

Signale

  • metadata:no-higher-risk-signals

Installationsverhalten

  • Es wurden keine Homebrew-Bottle-Metadaten erfasst.

Empfohlene Prüfung

Prüfe vor unbeaufsichtigter Agent-Nutzung, ob das Tool Klartext-Credentials liest, Remote-Zustand schreibt, Artefakte veröffentlicht oder Plugins ausführt.

local files

Configuration and credential file locations

These source-backed paths show where this package keeps local settings or durable credentials. Automic Vault can use them as review targets for secret scanning, migration, and command approval.

Configuration files

Config paths the tool may read or write during local use.

Unix
_CoqProject~/.coqrc

Executables

Installierte Executables

BefehlArtSichtbarkeitHinweis
coq-texExecutableindexiertes ExecutableAus dem lokalen Executable-Index erkannt.
coq_makefileExecutableindexiertes ExecutableAus dem lokalen Executable-Index erkannt.
coqcExecutableindexiertes ExecutableAus dem lokalen Executable-Index erkannt.
coqchkExecutableindexiertes ExecutableAus dem lokalen Executable-Index erkannt.
coqdepExecutableindexiertes ExecutableAus dem lokalen Executable-Index erkannt.
coqdocExecutableindexiertes ExecutableAus dem lokalen Executable-Index erkannt.
coqidetopExecutableindexiertes ExecutableAus dem lokalen Executable-Index erkannt.
coqnativeExecutableindexiertes ExecutableAus dem lokalen Executable-Index erkannt.
coqppExecutableindexiertes ExecutableAus dem lokalen Executable-Index erkannt.
coqtopExecutableindexiertes ExecutableAus dem lokalen Executable-Index erkannt.
coqtop.byteExecutableindexiertes ExecutableAus dem lokalen Executable-Index erkannt.
coqwcExecutableindexiertes ExecutableAus dem lokalen Executable-Index erkannt.
coqworkmgrExecutableindexiertes ExecutableAus dem lokalen Executable-Index erkannt.
csdpcertExecutableindexiertes ExecutableAus dem lokalen Executable-Index erkannt.
ocamllibdepExecutableindexiertes ExecutableAus dem lokalen Executable-Index erkannt.
rocqExecutableindexiertes ExecutableAus dem lokalen Executable-Index erkannt.
rocq.byteExecutableindexiertes ExecutableAus dem lokalen Executable-Index erkannt.
rocqchkExecutableindexiertes ExecutableAus dem lokalen Executable-Index erkannt.
votourExecutableindexiertes ExecutableAus dem lokalen Executable-Index erkannt.

Aktualität

Version und Aktualität

Diese Signale trennen das Alter der Seitengenerierung, Aktivität des Paketmanagers und Upstream-Release-Vergleich. Versionsrückstand wird nur gemeldet, wenn eine Evidenz-URL und vergleichbare Versionen vorhanden sind.

Seite generiert2026-08-03
Manager-Version9.2.0
Manager aktualisiert2026-07-13
lokale Datenunbekannt
Upstreamnicht verfügbar
neueste erkannte Versionnicht erkannt
  • OKEs wurden keine Aktualitätswarnungen generiert.

Installationsmetadaten

Paketmetadaten

Paketschlüsselbrew:rocq
Version9.2.0
PaketmanagerHomebrew
Homepagehttps://rocq-prover.org/
Repositoryhttps://github.com/rocq-prover/rocq
Zuletzt aktualisiert2026-07-13T05:11:31Z
Pulseupdated
Bottlenicht erfasst
Dienstkeiner deklariert

Source-Datenbank-Treffer

Andere Paketmanager-Einträge

Treffer stammen aus externen Paketmanager-Indizes und bleiben von lokalen Automic-Vault-Paketlinks getrennt.

apk95%

coqide-server 9.1.1-r3

Formal proof management system (XML protocol server)

https://rocq-prover.org/

sudo apk add coqide-server
  • License: LGPL-2.1-or-later
  • Architecture: x86_64
  • Source Package: rocq
  • 1 Abhängigkeiten
  • 1 stellt bereit
  • normalized package name match
  • Abgeglichen nach: Rocq
Alpine Linux edge package indexes · dl-cdn.alpinelinux.org · Alpine Linux edge package indexes: coqide-server from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz
apk95%

rocq 9.1.1-r3

Formal proof management system

https://rocq-prover.org/

sudo apk add rocq
  • License: LGPL-2.1-or-later
  • Architecture: x86_64
  • Source Package: rocq
  • 1 Abhängigkeiten
  • 1 stellt bereit
  • normalized package name match
  • Abgeglichen nach: Rocq
Alpine Linux edge package indexes · dl-cdn.alpinelinux.org · Alpine Linux edge package indexes: rocq from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz
apk95%

rocq-doc 9.1.1-r3

Formal proof management system (documentation)

https://rocq-prover.org/

sudo apk add rocq-doc
  • License: LGPL-2.1-or-later
  • Architecture: x86_64
  • Source Package: rocq
  • normalized package name match
  • Abgeglichen nach: Rocq
Alpine Linux edge package indexes · dl-cdn.alpinelinux.org · Alpine Linux edge package indexes: rocq-doc from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz
dnf95%

coq-core-compat 9.2.0-3.fc45

Compatibility binaries for Coq after the Rocq renaming

https://rocq-prover.org/

sudo dnf install coq-core-compat
  • License: LGPL-2.1-only AND LGPL-2.1-only WITH OCaml-LGPL-linking-exception AND MIT AND BSD-3-Clause
  • Category: Unspecified
  • Architecture: x86_64
  • Source Package: rocq
  • 5 Abhängigkeiten
  • 2 stellt bereit
  • normalized package name match
  • Abgeglichen nach: Rocq
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: coq-core-compat from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst
dnf95%

rocq 9.2.0-3.fc45

Proof management system

https://rocq-prover.org/

sudo dnf install rocq
  • License: LGPL-2.1-only AND LGPL-2.1-only WITH OCaml-LGPL-linking-exception AND MIT AND BSD-3-Clause
  • Category: Unspecified
  • Architecture: x86_64
  • Source Package: rocq
  • 4 Abhängigkeiten
  • 2 stellt bereit
  • normalized package name match
  • Abgeglichen nach: Rocq
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: rocq from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst
dnf95%

rocq-coqide-server 9.2.0-3.fc45

The coqidetop language server

https://rocq-prover.org/

sudo dnf install rocq-coqide-server
  • License: LGPL-2.1-only AND LGPL-2.1-only WITH OCaml-LGPL-linking-exception AND MIT AND BSD-3-Clause
  • Category: Unspecified
  • Architecture: x86_64
  • Source Package: rocq
  • 7 Abhängigkeiten
  • 3 stellt bereit
  • normalized package name match
  • Abgeglichen nach: Rocq
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: rocq-coqide-server from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst
dnf95%

rocq-coqide-server-devel 9.2.0-3.fc45

Development files for rocq-coqide-server

https://rocq-prover.org/

sudo dnf install rocq-coqide-server-devel
  • License: LGPL-2.1-only AND LGPL-2.1-only WITH OCaml-LGPL-linking-exception AND MIT AND BSD-3-Clause
  • Category: Unspecified
  • Architecture: x86_64
  • Source Package: rocq
  • 3 Abhängigkeiten
  • 3 stellt bereit
  • normalized package name match
  • Abgeglichen nach: Rocq
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: rocq-coqide-server-devel from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst
dnf95%

rocq-core 9.2.0-3.fc45

The Rocq Prelude, and the Corelib and Ltac2 modules

https://rocq-prover.org/

sudo dnf install rocq-core
  • License: LGPL-2.1-only AND LGPL-2.1-only WITH OCaml-LGPL-linking-exception AND MIT AND BSD-3-Clause
  • Category: Unspecified
  • Architecture: x86_64
  • Source Package: rocq
  • 3 Abhängigkeiten
  • 3 stellt bereit
  • normalized package name match
  • Abgeglichen nach: Rocq
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: rocq-core from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst
dnf95%

rocq-core-source 9.2.0-3.fc45

Source files of the Rocq Prelude, and the Corelib and Ltac2 modules

https://rocq-prover.org/

sudo dnf install rocq-core-source
  • License: LGPL-2.1-only AND LGPL-2.1-only WITH OCaml-LGPL-linking-exception AND MIT AND BSD-3-Clause
  • Category: Unspecified
  • Architecture: x86_64
  • Source Package: rocq
  • 1 Abhängigkeiten
  • 1 stellt bereit
  • normalized package name match
  • Abgeglichen nach: Rocq
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: rocq-core-source from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst
dnf95%

rocq-doc 9.2.0-3.fc45

Documentation for the Rocq proof management system

https://rocq-prover.org/

sudo dnf install rocq-doc
  • License: OPUBL-1.0 AND LGPL-2.1-only AND MIT
  • Category: Unspecified
  • Architecture: noarch
  • Source Package: rocq
  • 1 Abhängigkeiten
  • 2 stellt bereit
  • normalized package name match
  • Abgeglichen nach: Rocq
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: rocq-doc from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst
dnf95%

rocq-rocqide 9.2.0-3.fc45

RocqIDE for the Rocq proof management system

https://rocq-prover.org/

sudo dnf install rocq-rocqide
  • License: LGPL-2.1-only AND LGPL-2.1-or-later
  • Category: Unspecified
  • Architecture: x86_64
  • Source Package: rocq
  • 18 Abhängigkeiten
  • 6 stellt bereit
  • normalized package name match
  • Abgeglichen nach: Rocq
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: rocq-rocqide from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst
dnf95%

rocq-runtime 9.2.0-3.fc45

Core binaries and tools of the Rocq proof management system

https://rocq-prover.org/

sudo dnf install rocq-runtime
  • License: LGPL-2.1-only AND LGPL-2.1-only WITH OCaml-LGPL-linking-exception AND MIT AND BSD-3-Clause
  • Category: Unspecified
  • Architecture: x86_64
  • Source Package: rocq
  • 9 Abhängigkeiten
  • 4 stellt bereit
  • normalized package name match
  • Abgeglichen nach: Rocq
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: rocq-runtime from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst
dnf95%

rocq-runtime-devel 9.2.0-3.fc45

Development files for rocq-runtime

https://rocq-prover.org/

sudo dnf install rocq-runtime-devel
  • License: LGPL-2.1-only AND LGPL-2.1-only WITH OCaml-LGPL-linking-exception AND MIT AND BSD-3-Clause
  • Category: Unspecified
  • Architecture: x86_64
  • Source Package: rocq
  • 3 Abhängigkeiten
  • 3 stellt bereit
  • normalized package name match
  • Abgeglichen nach: Rocq
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: rocq-runtime-devel from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst
pacman95%

rocq 9.1.1-2

Interactive theorem prover, or proof assistant

https://rocq-prover.org/

sudo pacman -S rocq
  • License: LGPL-2.1-only
  • Architecture: x86_64
  • 4 Abhängigkeiten
  • 1 stellt bereit
  • normalized package name match
  • Abgeglichen nach: Rocq
Arch Linux sync databases · geo.mirror.pkgbuild.com · Arch Linux sync databases: rocq from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz
zypper95%

rocq 9.2.0-1.5

Proof Assistant based on the Calculus of Inductive Constructions

https://rocq-prover.org/

sudo zypper install rocq
  • License: LGPL-2.1-only
  • Category: Productivity/Scientific/Math
  • Architecture: x86_64
  • Source Package: coq
  • 5 Abhängigkeiten
  • 2 stellt bereit
  • normalized package name match
  • Abgeglichen nach: Rocq
openSUSE Tumbleweed package metadata · download.opensuse.org · openSUSE Tumbleweed package metadata: rocq from https://download.opensuse.org/tumbleweed/repo/oss/repodata/50b07339cb64c8ed4091bdbabddadc1ff5737b090e478818a195b40d8a3292861a879139b4a3987c31109699fde9fbf4a716367ddf4eef77da75f96e3193d6ed-primary.xml.zst
MacPorts95%

rocq

sudo port install rocq
  • normalized package name match
  • Abgeglichen nach: Rocq
MacPorts ports tree · api.github.com · MacPorts ports tree: lang/rocq/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1

Paketgraph

Links stammen aus dem lokalen Paketbeziehungsgraph, Ergänzungen, Abhängigkeitskanten, Ecosystem-Matches und Paket-Hub-Mitgliedschaft.

Quellspur

Aus Repository-Daten generiert

Diese Seite wird von av-web aus dem privaten Paket-SQLite-Artefakt bereitgestellt, das scripts/generate-pkg-sqlite.py erstellt.

Verwendete Quellen

  • Geiger risk classifier
  • cross-ecosystem install command graph
  • curated configuration and credential file locations
  • external package-manager database matches
  • pkg.so package database
  • pkgdb category and tag curation