Format: 1.8
Date: Thu, 02 May 2024 22:09:23 +0200
Source: coq-ext-lib
Binary: libcoq-ext-lib
Built-For-Profiles: noudeb
Architecture: arm64
Version: 0.12.1-1build1
Distribution: oracular-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-arm64-023.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.1-1build1) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 c8e6f89194aa9b8bac02d430a0c8e67bc27cbb91 7023 coq-ext-lib_0.12.1-1build1_arm64.buildinfo
 0caa0563b349a2806614900f342a325c4864d464 870082 libcoq-ext-lib_0.12.1-1build1_arm64.deb
Checksums-Sha256:
 20c488eb46ad4776e40fd37ac8cbb540dc392015790d6d463dbb29a037c1b860 7023 coq-ext-lib_0.12.1-1build1_arm64.buildinfo
 a1fed0ca59d27a24a12e412018a246d4afda1d0ad5a2444852b4118827631e01 870082 libcoq-ext-lib_0.12.1-1build1_arm64.deb
Files:
 2e48463ed5eb978c9f3845eae2ebd158 7023 ocaml optional coq-ext-lib_0.12.1-1build1_arm64.buildinfo
 ee28a4272baef8f38d68cf84e49b3d9f 870082 ocaml optional libcoq-ext-lib_0.12.1-1build1_arm64.deb