Format: 1.8
Date: Sun, 24 Mar 2024 00:13:07 +0000
Source: coq-equations
Binary: libcoq-equations
Built-For-Profiles: noudeb
Architecture: arm64
Version: 1.3-8.18-1build1
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos01-arm64-028.buildd>
Changed-By: Steve Langasek <steve.langasek@ubuntu.com>
Description:
 libcoq-equations - Coq library to work with functions defined by equations
Changes:
 coq-equations (1.3-8.18-1build1) noble; urgency=medium
 .
   * No-change rebuild for new libcoq-stdlib ABI
Checksums-Sha1:
 cfef8fae912d7e77b889ff1abb85b7e181851c3d 7259 coq-equations_1.3-8.18-1build1_arm64.buildinfo
 d1cf1cbe084646769c7452fa3f5e909f0bb33127 112004 libcoq-equations-dbgsym_1.3-8.18-1build1_arm64.ddeb
 e9fe54b74b4b3c3a5bd2f66110ff3b2fe8dada63 1664018 libcoq-equations_1.3-8.18-1build1_arm64.deb
Checksums-Sha256:
 22cf7c7c5f636683fa96f237d1c539c17e36ccfddb77e5159cd30a0bdd386515 7259 coq-equations_1.3-8.18-1build1_arm64.buildinfo
 d92d37352a6c551ce945579f86f306f28ddc90a853b13ba1699e2bbca934e18d 112004 libcoq-equations-dbgsym_1.3-8.18-1build1_arm64.ddeb
 2934e4e74ea8912373c77f759d5e25e70db41be4d184b779f37447c6564d8ad6 1664018 libcoq-equations_1.3-8.18-1build1_arm64.deb
Files:
 486f9cbb74177a9501057380a1bd3f43 7259 ocaml optional coq-equations_1.3-8.18-1build1_arm64.buildinfo
 d18138b939ea1728e3adb4f6e9d5c4c2 112004 debug optional libcoq-equations-dbgsym_1.3-8.18-1build1_arm64.ddeb
 c66b3171f366efb9006fb877c2360217 1664018 ocaml optional libcoq-equations_1.3-8.18-1build1_arm64.deb
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>