[ experimental ]
Källkodspaket: rocq-stdlib (9.0.0-3)
Länkar för rocq-stdlib
Debianresurser:
- Felrapporter
- Developer Information
- Ändringslogg för Debian
- Upphovsrättsfil
- Debians källkodsarkiv (Git)
- Debian Patch Tracker
Ansvariga:
Externa resurser:
- Hemsida [rocq-prover.org]
Experimentellt paket
Varning: Paketet är från den experimentella utgåvan. Det innebär att det med stor sannolikhet är instabilt eller innehåller fel, och kanske till och med kan orsaka dataförluster. Se till att läsa ändringsloggen och annan dokumentation innan du använder det.
Följande binärpaket byggs från detta källkodspaket:
- libcoq-stdlib
- Standard library for the Rocq Theorem Prover
Andra paket besläktade med rocq-stdlib
|
|
-
- adep: coq (>= 9)
- proof assistant for higher-order logic (toplevel and compiler)
-
- adep: debhelper-compat (= 13)
- Paketet inte tillgängligt
-
- 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
| Fil | Storlek (i kbyte) | MD5-kontrollsumma |
|---|---|---|
| rocq-stdlib_9.0.0-3.dsc | 2,0 kbyte | 3936e38c0b9c49098b85b7beb1ade5f1 |
| rocq-stdlib_9.0.0.orig.tar.gz | 1.783,9 kbyte | 4816a4c49b3ebbe9331a975bd1afa009 |
| rocq-stdlib_9.0.0-3.debian.tar.xz | 2,2 kbyte | 89835178eff32bcec35f254dea5dfe3d |
- Debians paketkällkodsarkiv- (VCS: Git)
- https://salsa.debian.org/ocaml-team/rocq-stdlib.git
- Debians paketkällkodsarkiv (blädderbart)
- https://salsa.debian.org/ocaml-team/rocq-stdlib