Format: 1.8
Date: Fri, 22 Dec 2023 20:28:30 -0500
Source: coq-ext-lib
Binary: libcoq-ext-lib
Built-For-Profiles: noudeb
Architecture: s390x
Version: 0.12.0-1build1
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos01-s390x-017.buildd>
Changed-By: Jeremy Bícha <jbicha@ubuntu.com>
Description:
 libcoq-ext-lib - Collection of theories and plugins for Coq
Changes:
 coq-ext-lib (0.12.0-1build1) noble; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 2bb1cbcdb677db7ab72e6e494b52fd44035ff0b6 6571 coq-ext-lib_0.12.0-1build1_s390x.buildinfo
 0d10fade6eb401468a1fe06ea62e64a8a1305356 1053028 libcoq-ext-lib_0.12.0-1build1_s390x.deb
Checksums-Sha256:
 d53dfdb6a03eeb6082741770c5942205fba28d64df3d8db29bf8a429efc29d58 6571 coq-ext-lib_0.12.0-1build1_s390x.buildinfo
 ac456493717b0e68791b1312ae65ee250f79b2e3eea10dbb25a6649490074aff 1053028 libcoq-ext-lib_0.12.0-1build1_s390x.deb
Files:
 65831ed188f0fe20372e13f9b486003b 6571 ocaml optional coq-ext-lib_0.12.0-1build1_s390x.buildinfo
 870d3e5e1c91e540d26efe086b10c77a 1053028 ocaml optional libcoq-ext-lib_0.12.0-1build1_s390x.deb