[ubuntu/oracular-proposed] coq-corn 8.19.0+ds1-1build1 (Accepted)
Gianfranco Costamagna
locutusofborg at debian.org
Sat Jun 15 14:40:15 UTC 2024
coq-corn (8.19.0+ds1-1build1) oracular; urgency=medium
* Rebuild against new OCAML ABIs.
Date: Sat, 15 Jun 2024 16:39:30 +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-corn/8.19.0+ds1-1build1
-------------- next part --------------
Format: 1.8
Date: Sat, 15 Jun 2024 16:39:30 +0200
Source: coq-corn
Built-For-Profiles: noudeb
Architecture: source
Version: 8.19.0+ds1-1build1
Distribution: oracular
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
coq-corn (8.19.0+ds1-1build1) oracular; urgency=medium
.
* Rebuild against new OCAML ABIs.
Checksums-Sha1:
070a2a74f83b11e07a5fc13fc9ed635e3e8fe1ee 2119 coq-corn_8.19.0+ds1-1build1.dsc
09f1db35f3611bf112b02113f2e4797404dc36c9 4304 coq-corn_8.19.0+ds1-1build1.debian.tar.xz
59e7fc5eead99f153b332d417eb35d389782b390 7840 coq-corn_8.19.0+ds1-1build1_source.buildinfo
Checksums-Sha256:
7ce098d0cac5c2a5dbecd6cb3d53585908f78e26edcdea302a430ec0877ac799 2119 coq-corn_8.19.0+ds1-1build1.dsc
2f6e67395813b5ea217a6468f6967c03222b4167f488948bfe2d63a9be845322 4304 coq-corn_8.19.0+ds1-1build1.debian.tar.xz
293106131cb933a697d7b415d6a51fa1c233695d69a029a5ec29a6ee43c6ebf9 7840 coq-corn_8.19.0+ds1-1build1_source.buildinfo
Files:
4605bbfa5972dbd17e48c1bf4075873e 2119 ocaml optional coq-corn_8.19.0+ds1-1build1.dsc
49b3af49e828d4265ee8713568f35755 4304 ocaml optional coq-corn_8.19.0+ds1-1build1.debian.tar.xz
1413533edb899fc486a03cc50bd92a29 7840 ocaml optional coq-corn_8.19.0+ds1-1build1_source.buildinfo
More information about the oracular-changes
mailing list