Format: 1.8
Date: Sat, 17 Feb 2024 01:24:10 +0100
Source: coq-deriving
Binary: libcoq-deriving
Built-For-Profiles: noudeb
Architecture: amd64
Version: 0.2.0-1build2
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@lcy02-amd64-114.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:
 7afea09b4a8cb3eca0a43ea2552a229e667a2527 7719 coq-deriving_0.2.0-1build2_amd64.buildinfo
 2abaa9c17b8bfbd0c4d8e90d6f88e021ac83586f 491246 libcoq-deriving_0.2.0-1build2_amd64.deb
Checksums-Sha256:
 9c199d85923d49cfb9bf55aba03a7cda2f0fcc8eaa5fced5b2b0b25936d4c831 7719 coq-deriving_0.2.0-1build2_amd64.buildinfo
 e41e4a59c902e01a70f0828d8ead21844fd6dda9d6c6e081b30e63361c06da4f 491246 libcoq-deriving_0.2.0-1build2_amd64.deb
Files:
 810660d5197bf03798ddaeef93dcc3f6 7719 ocaml optional coq-deriving_0.2.0-1build2_amd64.buildinfo
 41d341fd6e91dcec007e514b5c497950 491246 ocaml optional libcoq-deriving_0.2.0-1build2_amd64.deb