[ubuntu/noble-proposed] coquelicot 3.3.1-1build4 (Accepted)
Jeremy Bícha
jbicha at ubuntu.com
Sat Dec 23 12:26:16 UTC 2023
coquelicot (3.3.1-1build4) noble; urgency=medium
* Rebuild against latest coq
Date: Sat, 23 Dec 2023 07:23:32 -0500
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coquelicot/3.3.1-1build4
-------------- next part --------------
Format: 1.8
Date: Sat, 23 Dec 2023 07:23:32 -0500
Source: coquelicot
Built-For-Profiles: noudeb
Architecture: source
Version: 3.3.1-1build4
Distribution: noble
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Changes:
coquelicot (3.3.1-1build4) noble; urgency=medium
.
* Rebuild against latest coq
Checksums-Sha1:
06672a7489a21702d1f1822601104e424f4cb5da 2084 coquelicot_3.3.1-1build4.dsc
a213f80eed490b0c16a1234e8c3f710fbda7a656 2044 coquelicot_3.3.1-1build4.debian.tar.xz
327b99c029ea32bceca5c80254debdc67c203394 7264 coquelicot_3.3.1-1build4_source.buildinfo
Checksums-Sha256:
315767bc2e5653ea798d942564189b6f703db21606f82d8e996c4bf39b737be0 2084 coquelicot_3.3.1-1build4.dsc
cb8e3d6d308e6eef21e94385f6afccc7e895b99d10fa4a08fc0b0aa2168570c0 2044 coquelicot_3.3.1-1build4.debian.tar.xz
788ade98de253df3f9943a7aaf33b3eb4ff5419b854b0125cef03d2ef9f51a7b 7264 coquelicot_3.3.1-1build4_source.buildinfo
Files:
9dfe4e80c1f1f6329a97ca1d851a196f 2084 ocaml optional coquelicot_3.3.1-1build4.dsc
bf586d12215a4149cec26ce9f403bd6a 2044 ocaml optional coquelicot_3.3.1-1build4.debian.tar.xz
3f1438e3b08c7e38a03cbed6c7060d82 7264 ocaml optional coquelicot_3.3.1-1build4_source.buildinfo
More information about the noble-changes
mailing list