[ experimental ]
Quellcode-Paket: rocq-stdlib (9.0.0-3)
Links für rocq-stdlib
Debian-Ressourcen:
- Fehlerberichte
- Entwicklerinformationen
- Debian-Changelog
- Copyright-Datei
- Debian-Quellcode-Depot (Git)
- Debian Patch-Überblick
Betreuer:
Externe Ressourcen:
- Homepage [rocq-prover.org]
Experimentelles Paket
Warnung: Dieses Paket stammt aus der Experimental-Distribution. Dies bedeutet, dass es höchstwahrscheinlich instabil oder fehlerhaft ist und sogar Datenverlust verursachen kann. Bitte lesen Sie den Changelog und andere möglicherweise verfügbare Dokumentation, bevor Sie es benutzen.
Die folgenden Binärpakete werden aus diesem Quellcode-Paket gebaut:
- libcoq-stdlib
- Standard library for the Rocq Theorem Prover
Andere Pakete mit Bezug zu rocq-stdlib
|
|
-
- adep: coq (>= 9)
- Beweis-Assistent für Logik höherer Ordnung (Toplevel und Compiler)
-
- adep: debhelper-compat (= 13)
- Paket nicht verfügbar
-
- adep: dh-coq
- debhelper tool for Coq-related Debian packages
-
- adep: dh-ocaml
- helper tools for maintaining OCaml-related Debian packages
-
- adep: ocaml
- ML language implementation with a class-based object system
-
- adep: ocaml-dune
- composable build system for OCaml projects
Download rocq-stdlib
| Datei | Größe (in kB) | MD5-Prüfsumme |
|---|---|---|
| rocq-stdlib_9.0.0-3.dsc | 2,0 kB | 3936e38c0b9c49098b85b7beb1ade5f1 |
| rocq-stdlib_9.0.0.orig.tar.gz | 1.783,9 kB | 4816a4c49b3ebbe9331a975bd1afa009 |
| rocq-stdlib_9.0.0-3.debian.tar.xz | 2,2 kB | 89835178eff32bcec35f254dea5dfe3d |
- Quellcode-Depot des Debian-Pakets (VCS: Git)
- https://salsa.debian.org/ocaml-team/rocq-stdlib.git
- Quellcode-Depot des Debian-Pakets (browsable)
- https://salsa.debian.org/ocaml-team/rocq-stdlib