Format: 1.8
Date: Thu, 02 Jul 2026 07:11:55 +0000
Source: paramcoq
Binary: libcoq-paramcoq libcoq-paramcoq-dbgsym
Architecture: source amd64
Version: 1.1.3+coq8.20-1~jan+control1
Distribution: sid
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Jelmer Vernooij <jelmer@tyr.vpn.jelmer.uk>
Description:
 libcoq-paramcoq - Coq plugin to generate parametricity statements
Changes:
 paramcoq (1.1.3+coq8.20-1~jan+control1) control; urgency=low
 .
   * Build for debian-janitor apt repository.
Checksums-Sha1:
 6e65969b63a56d430028d74384e2c640bb6049d0 1255 paramcoq_1.1.3+coq8.20-1~jan+control1.dsc
 98e62b7cdce6fa94fbddb98933c1a90a495e5403 3296 paramcoq_1.1.3+coq8.20-1~jan+control1.debian.tar.xz
 8b29160410a0cefabf71ffc408c14ae1942cb340 14964 libcoq-paramcoq-dbgsym_1.1.3+coq8.20-1~jan+control1_amd64.deb
 6e6b5ec9326b7473b6f9cf2b5a5437f77fc4f773 114004 libcoq-paramcoq_1.1.3+coq8.20-1~jan+control1_amd64.deb
 5de24040e5f8d359ade428a024a3e61ffe6231d5 6597 paramcoq_1.1.3+coq8.20-1~jan+control1_amd64.buildinfo
Checksums-Sha256:
 f1ab6f2a13a93722f5cda43372eb2f4adc8f353cffb5535656e4ea46409caee4 1255 paramcoq_1.1.3+coq8.20-1~jan+control1.dsc
 a414c3ff0b82ec76355a0aaed0b0a82db4133f60a1b94cbab41d32691a12f0b2 3296 paramcoq_1.1.3+coq8.20-1~jan+control1.debian.tar.xz
 cb16b3ae5684ea94b2494c9539d43c9d6bb513e88cb0af6f518ddadcf900dd21 14964 libcoq-paramcoq-dbgsym_1.1.3+coq8.20-1~jan+control1_amd64.deb
 5c2a70597ca080e4b28c40978be1f2be7502062f592a91e4c36b38a71e1719f9 114004 libcoq-paramcoq_1.1.3+coq8.20-1~jan+control1_amd64.deb
 99ea9cca7327971310d40a93f9c9d72d8f2804893daf61649e396e060aac2644 6597 paramcoq_1.1.3+coq8.20-1~jan+control1_amd64.buildinfo
Files:
 5b808ee1eb1f0a016bbc6eda36465bd3 1255 ocaml optional paramcoq_1.1.3+coq8.20-1~jan+control1.dsc
 a1b6a594d13a0ffcc9a914d71cdbd09e 3296 ocaml optional paramcoq_1.1.3+coq8.20-1~jan+control1.debian.tar.xz
 d3ec333198a634b986ed23e4907dda16 14964 debug optional libcoq-paramcoq-dbgsym_1.1.3+coq8.20-1~jan+control1_amd64.deb
 88e522586e8164efbdd830fdf69ce5ba 114004 ocaml optional libcoq-paramcoq_1.1.3+coq8.20-1~jan+control1_amd64.deb
 0e23e60b0c3506c43d94093224e66611 6597 ocaml optional paramcoq_1.1.3+coq8.20-1~jan+control1_amd64.buildinfo