[ubuntu/noble-proposed] coq-equations 1.3-8.18-1build2 (Accepted)
Steve Langasek
steve.langasek at ubuntu.com
Sun Mar 31 17:54:19 UTC 2024
coq-equations (1.3-8.18-1build2) noble; urgency=medium
* No-change rebuild for CVE-2024-3094
Date: Sun, 31 Mar 2024 17:53:33 +0000
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/coq-equations/1.3-8.18-1build2
-------------- next part --------------
Format: 1.8
Date: Sun, 31 Mar 2024 17:53:33 +0000
Source: coq-equations
Built-For-Profiles: noudeb
Architecture: source
Version: 1.3-8.18-1build2
Distribution: noble
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Changes:
coq-equations (1.3-8.18-1build2) noble; urgency=medium
.
* No-change rebuild for CVE-2024-3094
Checksums-Sha1:
d3d5c555f3b60eced6fc4326f7cf9909e0b4c960 2281 coq-equations_1.3-8.18-1build2.dsc
fbcd1f58ac3a876b7f56c7deb00a8059077fab88 2792 coq-equations_1.3-8.18-1build2.debian.tar.xz
65fe6b0850ba24791932890df8b954294376e919 6604 coq-equations_1.3-8.18-1build2_source.buildinfo
Checksums-Sha256:
9270e9d57f74c33a9e4963ff999ec916df82045e9fc1272768ce8b007613595d 2281 coq-equations_1.3-8.18-1build2.dsc
939c0697f515a925edac6df7cbef8e1cb0e159a88265df5cd4bf238e81116dc7 2792 coq-equations_1.3-8.18-1build2.debian.tar.xz
def3b8d24b6aeac7537050f8432663ebc7de3f45d82c45964e4e66aaa58d34d8 6604 coq-equations_1.3-8.18-1build2_source.buildinfo
Files:
ce191dada014d7bc30d40782d8a35ec2 2281 ocaml optional coq-equations_1.3-8.18-1build2.dsc
fa034bcd589ee136b32c9a7b327d49db 2792 ocaml optional coq-equations_1.3-8.18-1build2.debian.tar.xz
ec5e25a5aed0f746ef1ee849dc099334 6604 ocaml optional coq-equations_1.3-8.18-1build2_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
More information about the noble-changes
mailing list