Format: 1.8
Date: Thu, 13 Mar 2025 11:02:21 +0100
Source: coq-unicoq
Binary: libcoq-unicoq libcoq-unicoq-dbgsym
Architecture: source amd64
Version: 1.6-8.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-unicoq - enhanced unification algorithm for Coq
Changes:
 coq-unicoq (1.6-8.20-1+ocaml20250313) bookworm-backports-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.3.0
Checksums-Sha1:
 3641daa999987cd5e32cf14427c27403a3c54fe3 1242 coq-unicoq_1.6-8.20-1+ocaml20250313.dsc
 053e09086d85d7561790794982e17e4aa411c4b7 593674 coq-unicoq_1.6-8.20.orig.tar.gz
 4628a929e7cf8fe9a240b24bfcbe78225a4f4cec 2804 coq-unicoq_1.6-8.20-1+ocaml20250313.debian.tar.xz
 4df5f848fef3df71ac4c90acff2aeb30ed7d69e2 7192 coq-unicoq_1.6-8.20-1+ocaml20250313_amd64.buildinfo
 b38d3528dc9a45ef29a277f7ff3665ddf8402dae 23672 libcoq-unicoq-dbgsym_1.6-8.20-1+ocaml20250313_amd64.deb
 ba9603519b6cfe6c769777a6b87a10de6947ef14 86976 libcoq-unicoq_1.6-8.20-1+ocaml20250313_amd64.deb
Checksums-Sha256:
 9a6445435526ce3c6eaff4dc9076f005d3aaa869f352c074f464ff2fdd6e7573 1242 coq-unicoq_1.6-8.20-1+ocaml20250313.dsc
 df81479e2292a44a0f300e38c49239d92d9a9df32f825aa0abf213f490bd5a7d 593674 coq-unicoq_1.6-8.20.orig.tar.gz
 39569311bb26a64a8e872d810756213fd53a04025dae521bc9b84be0fe782b2d 2804 coq-unicoq_1.6-8.20-1+ocaml20250313.debian.tar.xz
 1e5dbb4305d5d094d7df1a993643e1241aee7559302daa8da114bbc72f5576c7 7192 coq-unicoq_1.6-8.20-1+ocaml20250313_amd64.buildinfo
 c465cb0262fc55e954e4c0cc7e6057d847af9cee0165ce6708d45b65cab0448a 23672 libcoq-unicoq-dbgsym_1.6-8.20-1+ocaml20250313_amd64.deb
 2fb643ee1ddd162f3a26eb5e4d4790987b555ddd52748e326cd9efa18aa5eaa9 86976 libcoq-unicoq_1.6-8.20-1+ocaml20250313_amd64.deb
Files:
 f471f85b914379225836effe528fea10 1242 ocaml optional coq-unicoq_1.6-8.20-1+ocaml20250313.dsc
 1c2a90a1a5c2652e77472d1498520367 593674 ocaml optional coq-unicoq_1.6-8.20.orig.tar.gz
 e084ac735ce893475b3e91c8fc940b3a 2804 ocaml optional coq-unicoq_1.6-8.20-1+ocaml20250313.debian.tar.xz
 effdd9cd185ade55015ac2a62e976cef 7192 ocaml optional coq-unicoq_1.6-8.20-1+ocaml20250313_amd64.buildinfo
 8067b07941a8bb93a1728e1994da43f3 23672 debug optional libcoq-unicoq-dbgsym_1.6-8.20-1+ocaml20250313_amd64.deb
 b6e614d4ba8b2129adb442e787e3f16c 86976 ocaml optional libcoq-unicoq_1.6-8.20-1+ocaml20250313_amd64.deb