Format: 1.8
Date: Mon, 08 Apr 2024 09:19:25 +0200
Source: coqeal
Binary: libcoq-coqeal
Built-For-Profiles: noudeb
Architecture: ppc64el
Version: 2.0.1-1build5
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos01-ppc64el-001.buildd>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
 libcoq-coqeal - algebra and data structure algorithms for Coq
Changes:
 coqeal (2.0.1-1build5) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 27f2e33ae1eaa283d6a1cf9e3f663565cee34ac2 8157 coqeal_2.0.1-1build5_ppc64el.buildinfo
 d12566736d361e3984de121f16a47e0916d38f91 5510908 libcoq-coqeal_2.0.1-1build5_ppc64el.deb
Checksums-Sha256:
 b817e8ffea6cad99bc341ffb61e4495e09d1cac54211cd6104855185f725192a 8157 coqeal_2.0.1-1build5_ppc64el.buildinfo
 6e1c5c9b50c6c73d563fa085b833f8d22339f5fcc5d81c314e8543984d9b8b69 5510908 libcoq-coqeal_2.0.1-1build5_ppc64el.deb
Files:
 64296fe74a639ac47e4b44d411c8ee93 8157 ocaml optional coqeal_2.0.1-1build5_ppc64el.buildinfo
 f0eb95034ae2e01d4b8aedcd86269798 5510908 ocaml optional libcoq-coqeal_2.0.1-1build5_ppc64el.deb
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>