Format: 1.8
Date: Fri, 26 Apr 2024 15:27:08 +0200
Source: coq-unicoq
Binary: libcoq-unicoq
Built-For-Profiles: noudeb
Architecture: arm64
Version: 1.6-8.19-1
Distribution: oracular-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos03-arm64-024.buildd>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 libcoq-unicoq - enhanced unification algorithm for Coq
Changes:
 coq-unicoq (1.6-8.19-1) unstable; urgency=medium
 .
   * New upstream release.
   * Bump standards-version to 4.7.0.
Checksums-Sha1:
 283f1db63a48bd14f70df9a90e398a19fe9aa358 7316 coq-unicoq_1.6-8.19-1_arm64.buildinfo
 1d9e9ace3122e207723deaaf4a736c5b413d3ce3 19110 libcoq-unicoq-dbgsym_1.6-8.19-1_arm64.ddeb
 8e8dde570b7206a4fad7f311ed82891889e42d4c 99266 libcoq-unicoq_1.6-8.19-1_arm64.deb
Checksums-Sha256:
 610b7aa0dd6f6c7c5120c7a1ac48041453a465de97dc1955949dac20afdd4a13 7316 coq-unicoq_1.6-8.19-1_arm64.buildinfo
 ebc16baf3a78cefce272d92e7b68f7ea55222a617b42d7eb9d3b676e98481ad5 19110 libcoq-unicoq-dbgsym_1.6-8.19-1_arm64.ddeb
 96ac6281dbc5d3de1191084a1740169f201a0104083aa316693864c62d7bd4f8 99266 libcoq-unicoq_1.6-8.19-1_arm64.deb
Files:
 cf4ac0a9723520726198b3e0c4da346a 7316 ocaml optional coq-unicoq_1.6-8.19-1_arm64.buildinfo
 cd6333cd8635b6aee95c76c8763b0a8a 19110 debug optional libcoq-unicoq-dbgsym_1.6-8.19-1_arm64.ddeb
 9f5751c2b83d55b66267209ee2b7cfcd 99266 ocaml optional libcoq-unicoq_1.6-8.19-1_arm64.deb