[ubuntu/mantic-proposed] coq-simple-io 1.8.0-2ubuntu3 (Accepted)

Gianfranco Costamagna locutusofborg at debian.org
Tue Jun 13 08:45:26 UTC 2023


coq-simple-io (1.8.0-2ubuntu3) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Tue, 13 Jun 2023 10:45:03 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-simple-io/1.8.0-2ubuntu3
-------------- next part --------------
Format: 1.8
Date: Tue, 13 Jun 2023 10:45:03 +0200
Source: coq-simple-io
Built-For-Profiles: noudeb
Architecture: source
Version: 1.8.0-2ubuntu3
Distribution: mantic
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-simple-io (1.8.0-2ubuntu3) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 ceb1a904c1f3b873006a6dc8df22ba10208384e6 2154 coq-simple-io_1.8.0-2ubuntu3.dsc
 adf0f252659c5b3ad882885685bb85b1258ec130 2320 coq-simple-io_1.8.0-2ubuntu3.debian.tar.xz
 0533fd5d6ae18da6589c5b85e2aec152a4aea20c 7219 coq-simple-io_1.8.0-2ubuntu3_source.buildinfo
Checksums-Sha256:
 afb2a45ad6f5fc8fc3a3793434e44aebfd7a06594122dbc9dfdbd2c2259dd302 2154 coq-simple-io_1.8.0-2ubuntu3.dsc
 d8e656e0c588d375a0b0ac2c80a1396a7d74086b830065d32f3ff6c08faa2e53 2320 coq-simple-io_1.8.0-2ubuntu3.debian.tar.xz
 f1019d811a5bd18a0d40f7a473cbfe79f55abd6d96694c290a6bb1e6547acecb 7219 coq-simple-io_1.8.0-2ubuntu3_source.buildinfo
Files:
 302870b3b650fa3b04a621f244259f9e 2154 ocaml optional coq-simple-io_1.8.0-2ubuntu3.dsc
 f09fc0a81a9a768db36af226c93d0ff9 2320 ocaml optional coq-simple-io_1.8.0-2ubuntu3.debian.tar.xz
 521679d8549f347015f6a3d5ff99db30 7219 ocaml optional coq-simple-io_1.8.0-2ubuntu3_source.buildinfo


More information about the mantic-changes mailing list