Format: 1.8
Date: Sat, 17 Feb 2024 01:24:30 +0100
Source: coq-reglang
Binary: libcoq-reglang
Built-For-Profiles: noudeb
Architecture: armhf
Version: 1.2.1-1build2
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos01-arm64-020.buildd>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
 libcoq-reglang - representation of regular languages in Coq
Changes:
 coq-reglang (1.2.1-1build2) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 90d18d720ce196d51f3e82e9e2adc92be8a2c680 7542 coq-reglang_1.2.1-1build2_armhf.buildinfo
 43c79a47d4b8c8e9f5e86343e696b9f37460d323 824064 libcoq-reglang_1.2.1-1build2_armhf.deb
Checksums-Sha256:
 4a2c3b13c2a3da35793755a93adbbad0fa09ec99c01c920f53a83e2bcbec54d6 7542 coq-reglang_1.2.1-1build2_armhf.buildinfo
 1fb97767c7cfd381ceb45554829b61107c0cdcd7737a79c35ef16241fc2c718a 824064 libcoq-reglang_1.2.1-1build2_armhf.deb
Files:
 199220c48b66b2972d954d5fa2a25df7 7542 ocaml optional coq-reglang_1.2.1-1build2_armhf.buildinfo
 b868aebe76bfc56af99b6f2805a17f2c 824064 ocaml optional libcoq-reglang_1.2.1-1build2_armhf.deb