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: ppc64el
Version: 1.8.0-4ubuntu4
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos01-ppc64el-009.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:
 f6327e18f83a7b06e5aee0d289250cd38c084003 7372 coq-simple-io_1.8.0-4ubuntu4_ppc64el.buildinfo
 02fa4326095cece38a2af8d0f8535cefeeada32b 5824 libcoq-simple-io-dbgsym_1.8.0-4ubuntu4_ppc64el.ddeb
 d9950f45f8a17cb8249c763bdf2ddcc300661a01 98960 libcoq-simple-io_1.8.0-4ubuntu4_ppc64el.deb
Checksums-Sha256:
 51f98d15fe016e69993121fb0298212456c16b6210c5ceac3831022f9ad12ab9 7372 coq-simple-io_1.8.0-4ubuntu4_ppc64el.buildinfo
 f446156c93b2f9384096deb1675e8ea08d04d90cc4df5c5f3235ae2de03d7297 5824 libcoq-simple-io-dbgsym_1.8.0-4ubuntu4_ppc64el.ddeb
 415a4e57ce53dcfe144b1325616a33e4818fc7850846373bd4e5490f25bf6c0d 98960 libcoq-simple-io_1.8.0-4ubuntu4_ppc64el.deb
Files:
 a885ab79492d2720ad8904173b2c4307 7372 ocaml optional coq-simple-io_1.8.0-4ubuntu4_ppc64el.buildinfo
 8b8f8f50e99a4d7f4e9dd7e67ef80d9d 5824 debug optional libcoq-simple-io-dbgsym_1.8.0-4ubuntu4_ppc64el.ddeb
 1c1bfd660a3ca417e3a9c394f8bdd5cc 98960 ocaml optional libcoq-simple-io_1.8.0-4ubuntu4_ppc64el.deb
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>