Format: 1.8
Date: Sat, 17 Feb 2024 01:24:30 +0100
Source: coq-reglang
Binary: libcoq-reglang
Built-For-Profiles: noudeb
Architecture: ppc64el
Version: 1.2.1-1build2
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos01-ppc64el-009.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:
 2e2da5274170b47459784d9b7bb652cc15ada4df 7713 coq-reglang_1.2.1-1build2_ppc64el.buildinfo
 16b0a2722e100fd50eaf13a56775f721ddc08b55 824146 libcoq-reglang_1.2.1-1build2_ppc64el.deb
Checksums-Sha256:
 b256c60fad1cf011728f37091d6fc2c6307ddafa11298da5b599346e5c7a879b 7713 coq-reglang_1.2.1-1build2_ppc64el.buildinfo
 9d7e3310120685ed88b7048b6b66c7f7d9b8ab8b0003b75426ef2ad97dd63e77 824146 libcoq-reglang_1.2.1-1build2_ppc64el.deb
Files:
 24acd83a8275b979fd9fe660c6a2f61c 7713 ocaml optional coq-reglang_1.2.1-1build2_ppc64el.buildinfo
 5293715e97ef13fdb31095845f485886 824146 ocaml optional libcoq-reglang_1.2.1-1build2_ppc64el.deb