Format: 1.8 Date: Thu, 02 May 2024 22:13:40 +0200 Source: coqprime Binary: coqprime-tools libcoq-coqprime Built-For-Profiles: noudeb Architecture: amd64 Version: 8.18-1build4 Distribution: oracular-proposed Urgency: medium Maintainer: Launchpad Build Daemon Changed-By: Gianfranco Costamagna Description: coqprime-tools - Primality certification for Coq (tools) libcoq-coqprime - Primality certification for Coq (library) Changes: coqprime (8.18-1build4) oracular; urgency=medium . * Rebuild against new OCAML ABIs. Checksums-Sha1: b39a74668a7fd019c8b34dd28a3330140d1183ef 50350 coqprime-tools-dbgsym_8.18-1build4_amd64.ddeb 2822d6fdc9aff7cc1d1b55efe0cbca61b1c866c7 179220 coqprime-tools_8.18-1build4_amd64.deb d50adfce7b04e53bcf3acfeed1ed92fe29d63e6b 7855 coqprime_8.18-1build4_amd64.buildinfo e03eb8d4720a684230081ee3f65d16d9d05c092b 2072568 libcoq-coqprime_8.18-1build4_amd64.deb Checksums-Sha256: 76540266caed9213fd6c26c3206df013b8fe67580c89db66746b8faeae43c049 50350 coqprime-tools-dbgsym_8.18-1build4_amd64.ddeb de17be96aa9c90c66d7b75415a76aac9f31061b1ae79e58eae3a6cda8f03e052 179220 coqprime-tools_8.18-1build4_amd64.deb 3530dca03dfe2f7ac415aaee3a54133e5d0ebf129d4c7b19ff69a482504e3264 7855 coqprime_8.18-1build4_amd64.buildinfo d22722d39c2e8d1b4227fc8cb4b6f689fbc2b8d6f8fc08b612a192d8092422e1 2072568 libcoq-coqprime_8.18-1build4_amd64.deb Files: ac995d0f7724ebabbe18ba082cf55e30 50350 debug optional coqprime-tools-dbgsym_8.18-1build4_amd64.ddeb 10a3fb77bb3d1a3a8a1590092137d3fb 179220 ocaml optional coqprime-tools_8.18-1build4_amd64.deb 90691f711e5a5aeb4a3c191dcf38c472 7855 ocaml optional coqprime_8.18-1build4_amd64.buildinfo c4580396bfb35d05872e13e19661c365 2072568 ocaml optional libcoq-coqprime_8.18-1build4_amd64.deb Original-Maintainer: Debian OCaml Maintainers