Debian NEW package overview for rocq-stdlib
| rocq-stdlib_9.0.0-2_amd64.changes (click to toggle) | |
|---|---|
| Format: | 1.8 |
| Date: | Wed, 29 Oct 2025 07:27:23 +0100 |
| Source: | rocq-stdlib |
| Binary: | libcoq-stdlib |
| Architecture: | source amd64 |
| Version: | 9.0.0-2 |
| 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-2) experimental; urgency=medium * Rewrite d/watch in version 5. |
| Files: | 9b48e949594eeb777180d2817e2f9f7e 2010 math optional rocq-stdlib_9.0.0-2.dsc 1633e6bc13408439441f9c7116824b69 2252 math optional rocq-stdlib_9.0.0-2.debian.tar.xz b2b36d1b72b622f1bf9cf6b56318253e 19528508 math optional libcoq-stdlib_9.0.0-2_amd64.deb b821b5a366c6097feae246cc9b33f8f7 6592 math optional rocq-stdlib_9.0.0-2_amd64.buildinfo |
| rocq-stdlib_9.0.0-2.dsc (click to toggle) | |
|---|---|
| Format: | 3.0 (quilt) |
| Source: | rocq-stdlib |
| Binary: | libcoq-stdlib |
| Architecture: | any |
| Version: | 9.0.0-2 |
| 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, 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 1633e6bc13408439441f9c7116824b69 2252 rocq-stdlib_9.0.0-2.debian.tar.xz |
Timestamp: 29.10.2025 / 08:13:05 (UTC)