Format: 1.8
Date: Tue, 06 Jan 2026 08:17:55 +0100
Source: paramcoq
Binary: libcoq-paramcoq libcoq-paramcoq-dbgsym
Architecture: source amd64
Version: 1.1.3+coq8.20-1+ocaml1
Distribution: unstable
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) trixie-backports-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.4.0
Checksums-Sha1:
 5f74ed9147b529b1b2b7272ce354c9aab1f5a1a1 1231 paramcoq_1.1.3+coq8.20-1+ocaml1.dsc
 7cb4a466dcac4087e23f0fa729eda1717e987df4 45816 paramcoq_1.1.3+coq8.20.orig.tar.gz
 a6c11635a611566d3fd4516d42dc4a806e5a149e 3300 paramcoq_1.1.3+coq8.20-1+ocaml1.debian.tar.xz
 93ba555a79f1cbe4508ec3fc97ee8d0380383a33 14872 libcoq-paramcoq-dbgsym_1.1.3+coq8.20-1+ocaml1_amd64.deb
 339109a0006ea16fec456d74ec89dd57f75242f2 113700 libcoq-paramcoq_1.1.3+coq8.20-1+ocaml1_amd64.deb
 1ca3404321fbb0d79c026382e4c914c520179f25 6594 paramcoq_1.1.3+coq8.20-1+ocaml1_amd64.buildinfo
Checksums-Sha256:
 4acfe9ab032862c08f25e831b45f4f2abedbf0f5ec94781c25fdffe8d227bad4 1231 paramcoq_1.1.3+coq8.20-1+ocaml1.dsc
 e785e5ec89f83d986c66f83f4d2d892c61741ff7c9264e98d4a8059a9bacf6e1 45816 paramcoq_1.1.3+coq8.20.orig.tar.gz
 9eb1d31ce80c2b09f226ca52ce1ffdbe8cfad109b542a9619474c3f945d2c949 3300 paramcoq_1.1.3+coq8.20-1+ocaml1.debian.tar.xz
 39a3b1e65f37ea4e4e813b3eb893d56d8f42e8fc2d9eba845ca34ea824a142fb 14872 libcoq-paramcoq-dbgsym_1.1.3+coq8.20-1+ocaml1_amd64.deb
 db402286c253b09f33dd9795ae9a48c49064e6df3ae9c174e41b00fd3162c185 113700 libcoq-paramcoq_1.1.3+coq8.20-1+ocaml1_amd64.deb
 552af6f330afd7a35b2da3942808359ca39379ada92ffb1bb4a136b9de2049b2 6594 paramcoq_1.1.3+coq8.20-1+ocaml1_amd64.buildinfo
Files:
 e8728869944cfd14a65382c7675950b6 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
 5b7ec11cede5d162126554009f66a069 3300 ocaml optional paramcoq_1.1.3+coq8.20-1+ocaml1.debian.tar.xz
 83e8af44083e16e4e5b6d7e57340e408 14872 debug optional libcoq-paramcoq-dbgsym_1.1.3+coq8.20-1+ocaml1_amd64.deb
 67a6f3eabf0e0c49782c02d266f8fdc3 113700 ocaml optional libcoq-paramcoq_1.1.3+coq8.20-1+ocaml1_amd64.deb
 6ddab4fd504ab52d929791be4ca47061 6594 ocaml optional paramcoq_1.1.3+coq8.20-1+ocaml1_amd64.buildinfo