Format: 1.8
Date: Mon, 08 Apr 2024 09:18:22 +0200
Source: coq-simple-io
Binary: libcoq-simple-io
Built-For-Profiles: noudeb
Architecture: arm64
Version: 1.8.0-4ubuntu4
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-arm64-041.buildd>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
 libcoq-simple-io - Coq plugin for purely functional IO
Changes:
 coq-simple-io (1.8.0-4ubuntu4) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 e123884e538efdfa18433a6c01b949514a0c5f78 7361 coq-simple-io_1.8.0-4ubuntu4_arm64.buildinfo
 7063ab971b64f3a1395421f0c3cf3ebad770b4c6 6356 libcoq-simple-io-dbgsym_1.8.0-4ubuntu4_arm64.ddeb
 aba4793e951b39b2b8942e6a39434028c49f6e18 101466 libcoq-simple-io_1.8.0-4ubuntu4_arm64.deb
Checksums-Sha256:
 42b24f8641b1ce6c1903d5c37dca2440129c4a3702fc1b27b1955206989c3ebc 7361 coq-simple-io_1.8.0-4ubuntu4_arm64.buildinfo
 7587b853205997b0ebcd25fd23f976edf40f6de658c1cc840ab94eeec6060384 6356 libcoq-simple-io-dbgsym_1.8.0-4ubuntu4_arm64.ddeb
 e7a64b44a8084ea3f5029352bee51bf111c8533502fd98989d9ee46d2f69fbef 101466 libcoq-simple-io_1.8.0-4ubuntu4_arm64.deb
Files:
 2998c3d5e24b40db7e3cac09daa5f2d5 7361 ocaml optional coq-simple-io_1.8.0-4ubuntu4_arm64.buildinfo
 94bb52f46c63120fbc13e55ff367d9c8 6356 debug optional libcoq-simple-io-dbgsym_1.8.0-4ubuntu4_arm64.ddeb
 e0acfa9348b21d2b406c4359ca19b049 101466 ocaml optional libcoq-simple-io_1.8.0-4ubuntu4_arm64.deb
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>