Format: 1.8
Date: Thu, 02 May 2024 22:10:19 +0200
Source: coq-reglang
Binary: libcoq-reglang
Built-For-Profiles: noudeb
Architecture: riscv64
Version: 1.2.1-3build1
Distribution: oracular-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos03-riscv64-058.buildd>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
 libcoq-reglang - representation of regular languages in Coq
Changes:
 coq-reglang (1.2.1-3build1) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 6c6f11e61dbc47a355c2d9ca88a41b5da9e02b59 7417 coq-reglang_1.2.1-3build1_riscv64.buildinfo
 a5901d2fb61c3f38a122d5b5cc3d423f8c93b3b4 857356 libcoq-reglang_1.2.1-3build1_riscv64.deb
Checksums-Sha256:
 00770497e7e43b68f5b921fb2ce4cee7880a123e2bb4e14a8d9656ffa9003154 7417 coq-reglang_1.2.1-3build1_riscv64.buildinfo
 ee7508eca2635c2f769644dec6572194970485296899410c82946f33d1be8d25 857356 libcoq-reglang_1.2.1-3build1_riscv64.deb
Files:
 44158cd8224154bfc963cced3b6daf5a 7417 ocaml optional coq-reglang_1.2.1-3build1_riscv64.buildinfo
 d1bf3a82a024e97ce8274a7ef407f8cf 857356 ocaml optional libcoq-reglang_1.2.1-3build1_riscv64.deb