Format: 1.8
Date: Thu, 13 Mar 2025 11:01:21 +0100
Source: paramcoq
Binary: libcoq-paramcoq libcoq-paramcoq-dbgsym
Architecture: source amd64
Version: 1.1.3+coq8.20-1+ocaml20250313
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+ocaml20250313) bookworm-backports-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.3.0
Checksums-Sha1:
 50baf4e5013c46762970918ddf86fe1fa70eecae 1259 paramcoq_1.1.3+coq8.20-1+ocaml20250313.dsc
 7cb4a466dcac4087e23f0fa729eda1717e987df4 45816 paramcoq_1.1.3+coq8.20.orig.tar.gz
 cfdc692da5b5c2077ff36a6e4602938316877a26 3312 paramcoq_1.1.3+coq8.20-1+ocaml20250313.debian.tar.xz
 8e3abe7135758788bd7caa655a3a23cbb33c9dc1 14876 libcoq-paramcoq-dbgsym_1.1.3+coq8.20-1+ocaml20250313_amd64.deb
 8eb4f65c50fc6f4203fb3eef3f82b1025dec9e51 115740 libcoq-paramcoq_1.1.3+coq8.20-1+ocaml20250313_amd64.deb
 034cbfb3604dd0324d29cb2c95d92fe4cad6b92c 7256 paramcoq_1.1.3+coq8.20-1+ocaml20250313_amd64.buildinfo
Checksums-Sha256:
 f008f70450d59f4b35a5a0209f9e70ff75cd98b9654575114386e6322fc3378b 1259 paramcoq_1.1.3+coq8.20-1+ocaml20250313.dsc
 e785e5ec89f83d986c66f83f4d2d892c61741ff7c9264e98d4a8059a9bacf6e1 45816 paramcoq_1.1.3+coq8.20.orig.tar.gz
 75214fdb962c70fbc9605ce809d3c358a184034f6f828d75581fb867463aec69 3312 paramcoq_1.1.3+coq8.20-1+ocaml20250313.debian.tar.xz
 069f7c1986e3d8f08a2595fa415c57ae6dfd899ba12d24af522ee5816989eebe 14876 libcoq-paramcoq-dbgsym_1.1.3+coq8.20-1+ocaml20250313_amd64.deb
 a4905509bec6ba96f79ac81232aefc132577f4c64e5788c59f6e8a63a48a0eb1 115740 libcoq-paramcoq_1.1.3+coq8.20-1+ocaml20250313_amd64.deb
 68e4830c9ade058bf5d3e9f46cb74c47979979ccf5036e5bc832dd7d8d15eae7 7256 paramcoq_1.1.3+coq8.20-1+ocaml20250313_amd64.buildinfo
Files:
 3619d52c32fffdfe1ad5ec37f25d1e6b 1259 ocaml optional paramcoq_1.1.3+coq8.20-1+ocaml20250313.dsc
 917fcdc199ded6847ed0425a92876c27 45816 ocaml optional paramcoq_1.1.3+coq8.20.orig.tar.gz
 0168508e048f50123fe1d2242a36d020 3312 ocaml optional paramcoq_1.1.3+coq8.20-1+ocaml20250313.debian.tar.xz
 83824615a5fc9540097f863471a063b8 14876 debug optional libcoq-paramcoq-dbgsym_1.1.3+coq8.20-1+ocaml20250313_amd64.deb
 1c30b96ddd5ab1591547f4c5b2c99193 115740 ocaml optional libcoq-paramcoq_1.1.3+coq8.20-1+ocaml20250313_amd64.deb
 cc9d00fc60fa1b80fbcc10d0c4a8596b 7256 ocaml optional paramcoq_1.1.3+coq8.20-1+ocaml20250313_amd64.buildinfo