Format: 1.8
Date: Mon, 08 Apr 2024 09:14:05 +0200
Source: coq-ext-lib
Binary: libcoq-ext-lib
Built-For-Profiles: noudeb
Architecture: s390x
Version: 0.12.0-1build4
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos01-s390x-017.buildd>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
 libcoq-ext-lib - Collection of theories and plugins for Coq
Changes:
 coq-ext-lib (0.12.0-1build4) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 d181e88711fc256d5a4adf4d93e1103b267168e4 6774 coq-ext-lib_0.12.0-1build4_s390x.buildinfo
 5c6203ffe23f0759e08269bc723b871c0849fb9c 841990 libcoq-ext-lib_0.12.0-1build4_s390x.deb
Checksums-Sha256:
 59737aa868ff81a6acf01ea957a80dc2fec78f1e93cd45ebae5992c41933ef84 6774 coq-ext-lib_0.12.0-1build4_s390x.buildinfo
 4bc0183f48d01f1838b187025e0dfcb0a4a1b3b3e9026246c5a6c5a991dd4977 841990 libcoq-ext-lib_0.12.0-1build4_s390x.deb
Files:
 6611136de18bcd7e8354ef0fd4aebd64 6774 ocaml optional coq-ext-lib_0.12.0-1build4_s390x.buildinfo
 f2ff4a5ebb566920456028fbb9faae19 841990 ocaml optional libcoq-ext-lib_0.12.0-1build4_s390x.deb
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>