Format: 1.8
Date: Sat, 17 Feb 2024 01:24:10 +0100
Source: coq-deriving
Binary: libcoq-deriving
Built-For-Profiles: noudeb
Architecture: arm64
Version: 0.2.0-1build2
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos03-arm64-036.buildd>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
 libcoq-deriving - deriving MathComp classes from inductive types
Changes:
 coq-deriving (0.2.0-1build2) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 4ddf988a76bd5f5e221993e4b4bdbd6e4cff8d4f 7686 coq-deriving_0.2.0-1build2_arm64.buildinfo
 857ec8e87ed93bbb505614751761f15dbbc720fd 491240 libcoq-deriving_0.2.0-1build2_arm64.deb
Checksums-Sha256:
 a79880efe17d1bd54d13988c4dec62b17cdd8080485d1b0b15a008479efd4cc8 7686 coq-deriving_0.2.0-1build2_arm64.buildinfo
 c9e71a9c3cf334a167b10d832a1456c3e44ac62be84616260239d0f9e25104f7 491240 libcoq-deriving_0.2.0-1build2_arm64.deb
Files:
 90df09c141aed4f43910c4e4316a0b05 7686 ocaml optional coq-deriving_0.2.0-1build2_arm64.buildinfo
 428f1e586219d3c3e9f9016d18e39f78 491240 ocaml optional libcoq-deriving_0.2.0-1build2_arm64.deb