Format: 1.8
Date: Sat, 25 Apr 2026 08:46:03 +0200
Source: paramcoq
Binary: libcoq-paramcoq libcoq-paramcoq-dbgsym
Architecture: source amd64
Version: 1.1.3+coq8.20-1+ocaml1
Distribution: unstable-ocaml
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Anonymous Builder <builder@example.org>
Description:
 libcoq-paramcoq - Coq plugin to generate parametricity statements
Changes:
 paramcoq (1.1.3+coq8.20-1+ocaml1) unstable-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.4.1
Checksums-Sha1:
 95b073788230c1bfcdaf0bc4681e0f4735ac0473 1231 paramcoq_1.1.3+coq8.20-1+ocaml1.dsc
 7cb4a466dcac4087e23f0fa729eda1717e987df4 45816 paramcoq_1.1.3+coq8.20.orig.tar.gz
 b2fa56e1f840d1e5770742c01b8eda9f939fdc9c 3292 paramcoq_1.1.3+coq8.20-1+ocaml1.debian.tar.xz
 d6dcc990c6fd7c9bf472f713fe7772b2561348ce 14872 libcoq-paramcoq-dbgsym_1.1.3+coq8.20-1+ocaml1_amd64.deb
 ed579010c9a09400343f9437a996e2feaddd7982 113616 libcoq-paramcoq_1.1.3+coq8.20-1+ocaml1_amd64.deb
 844abae648a1445bb8a16b615f3fb023999039d0 6603 paramcoq_1.1.3+coq8.20-1+ocaml1_amd64.buildinfo
Checksums-Sha256:
 557d19f07db91ec433ef2c5cbc6689b46a58dbdd6895b40ebc29009c67775ce9 1231 paramcoq_1.1.3+coq8.20-1+ocaml1.dsc
 e785e5ec89f83d986c66f83f4d2d892c61741ff7c9264e98d4a8059a9bacf6e1 45816 paramcoq_1.1.3+coq8.20.orig.tar.gz
 9011945654a80b5dfd1ed5b10e7faa97f43b942f02f4060e9545bd289b271762 3292 paramcoq_1.1.3+coq8.20-1+ocaml1.debian.tar.xz
 1888eeda9b46f71763a4afb54ef4791156b28410bafb16fb89e5fc7ed1f45b9b 14872 libcoq-paramcoq-dbgsym_1.1.3+coq8.20-1+ocaml1_amd64.deb
 79978182dfb572313ed29ad05fa3d101b12d56cb2e28075cb96fd751a48ec86b 113616 libcoq-paramcoq_1.1.3+coq8.20-1+ocaml1_amd64.deb
 aa105d74bc35d747d6b3d1423d1f1b772153e7e3322148404d9b431017e43f99 6603 paramcoq_1.1.3+coq8.20-1+ocaml1_amd64.buildinfo
Files:
 af68867158f6562d1d716a07797cae30 1231 ocaml optional paramcoq_1.1.3+coq8.20-1+ocaml1.dsc
 917fcdc199ded6847ed0425a92876c27 45816 ocaml optional paramcoq_1.1.3+coq8.20.orig.tar.gz
 d9821ae3eb7019f62a16cc84c1560b40 3292 ocaml optional paramcoq_1.1.3+coq8.20-1+ocaml1.debian.tar.xz
 d4e0185281372c08d3965752b0fbc07d 14872 debug optional libcoq-paramcoq-dbgsym_1.1.3+coq8.20-1+ocaml1_amd64.deb
 9aa11efcf1a16c5bf4b6488eb513dac4 113616 ocaml optional libcoq-paramcoq_1.1.3+coq8.20-1+ocaml1_amd64.deb
 74c94e5af84a46ba5e2512347f294a0a 6603 ocaml optional paramcoq_1.1.3+coq8.20-1+ocaml1_amd64.buildinfo