Debian NEW package overview for rocq-stdlib
| rocq-stdlib_9.0.0-3_amd64.changes (click to toggle) | |
|---|---|
| Format: | 1.8 |
| Date: | Tue, 11 Nov 2025 18:15:27 +0100 |
| Source: | rocq-stdlib |
| Binary: | libcoq-stdlib |
| Architecture: | source amd64 |
| Version: | 9.0.0-3 |
| Distribution: | experimental |
| Urgency: | medium |
| Maintainer: | Julien Puydt <jpuydt@debian.org> |
| Changed-By: | Julien Puydt <jpuydt@debian.org> |
| Description: | libcoq-stdlib - Standard library for the Rocq Theorem Prover |
| Changes: | rocq-stdlib (9.0.0-3) experimental; urgency=medium * Depend on correct coq/rocq. |
| Files: | 3936e38c0b9c49098b85b7beb1ade5f1 2017 math optional rocq-stdlib_9.0.0-3.dsc 89835178eff32bcec35f254dea5dfe3d 2288 math optional rocq-stdlib_9.0.0-3.debian.tar.xz 8229b6055752c94b1db3326ebe80669f 19527928 math optional libcoq-stdlib_9.0.0-3_amd64.deb 40526ca1754e725276cfaa20129eb89f 6589 math optional rocq-stdlib_9.0.0-3_amd64.buildinfo |
| rocq-stdlib_9.0.0-3.dsc (click to toggle) | |
|---|---|
| Format: | 3.0 (quilt) |
| Source: | rocq-stdlib |
| Binary: | libcoq-stdlib |
| Architecture: | any |
| Version: | 9.0.0-3 |
| Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Uploaders: | Julien Puydt <jpuydt@debian.org> |
| Homepage: | https://rocq-prover.org |
| Standards-Version: | 4.7.2 |
| Vcs-Browser: | https://salsa.debian.org/ocaml-team/rocq-stdlib |
| Vcs-Git: | https://salsa.debian.org/ocaml-team/rocq-stdlib.git |
| Build-Depends: | coq (>=9), debhelper-compat (=13), dh-coq, dh-ocaml, ocaml, ocaml-dune |
| Package-List: | libcoq-stdlib deb math optional arch=any |
| Files: | 4816a4c49b3ebbe9331a975bd1afa009 1826759 rocq-stdlib_9.0.0.orig.tar.gz 89835178eff32bcec35f254dea5dfe3d 2288 rocq-stdlib_9.0.0-3.debian.tar.xz |
Timestamp: 11.11.2025 / 18:03:36 (UTC)