[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