[ experimental ]
Source Package: rocq-stdlib (9.0.0-3)
Links for rocq-stdlib
Debian Resources:
- Bug Reports
- Developer Information
- Debian Changelog
- Copyright File
- Debian Source Repository (Git)
- Debian Patch Tracker
Maintainers:
External Resources:
- Homepage [rocq-prover.org]
Experimental package
Warning: This package is from the experimental distribution. That means it is likely unstable or buggy, and it may even cause data loss. Please be sure to consult the changelog and other possible documentation before using it.
The following binary packages are built from this source package:
- libcoq-stdlib
- Standard library for the Rocq Theorem Prover
Other Packages Related to rocq-stdlib
|
|
-
- adep: coq (>= 9)
- proof assistant for higher-order logic (toplevel and compiler)
-
- adep: debhelper-compat (= 13)
- Package not available
-
- 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
| File | Size (in kB) | MD5 checksum |
|---|---|---|
| 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 |
- Debian Package Source Repository (VCS: Git)
- https://salsa.debian.org/ocaml-team/rocq-stdlib.git
- Debian Package Source Repository (Browsable)
- https://salsa.debian.org/ocaml-team/rocq-stdlib