Debian NEW package overview for rocq-stdlib
rocq-stdlib_9.0.0-1_amd64.changes (click to toggle)
Format:1.8
Date:Wed, 17 Sep 2025 07:03:34 +0200
Source:rocq-stdlib
Binary:libcoq-stdlib
Architecture:source amd64
Version:9.0.0-1
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
Closes:1111824
Changes:
rocq-stdlib (9.0.0-1) experimental; urgency=medium

  * Initial release. (Closes: #1111824)
Files:
4993c995ac5e1de2d269e3c7ec37655d 2010 math optional rocq-stdlib_9.0.0-1.dsc
4816a4c49b3ebbe9331a975bd1afa009 1826759 math optional rocq-stdlib_9.0.0.orig.tar.gz
4e56102a4890363107ce3c343a6877e7 2216 math optional rocq-stdlib_9.0.0-1.debian.tar.xz
06680494477367909d46c1b3c16fba0d 19528812 math optional libcoq-stdlib_9.0.0-1_amd64.deb
766b8a4964177e3d17f547fad4ac4273 6657 math optional rocq-stdlib_9.0.0-1_amd64.buildinfo
rocq-stdlib_9.0.0-1.dsc (click to toggle)
Format:3.0 (quilt)
Source:rocq-stdlib
Binary:libcoq-stdlib
Architecture:any
Version:9.0.0-1
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
4e56102a4890363107ce3c343a6877e7 2216 rocq-stdlib_9.0.0-1.debian.tar.xz
lintian 2.116.3+deb12u1 check for rocq-stdlib_9.0.0-1.dsc (click to toggle)
 





                   


                
README.source for rocq-stdlib_9.0.0-1.dsc (click to toggle)

              
    

No README.source in this package




    
Timestamp: 17.09.2025 / 17:02:31 (UTC)