[ubuntu/noble-proposed] coq-record-update 0.3.3-1build1 (Accepted)

Jeremy Bícha jbicha at ubuntu.com
Sat Dec 23 02:24:10 UTC 2023


coq-record-update (0.3.3-1build1) noble; urgency=medium

  * Rebuild against latest coq

Date: Fri, 22 Dec 2023 21:23:42 -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/coq-record-update/0.3.3-1build1
-------------- next part --------------
Format: 1.8
Date: Fri, 22 Dec 2023 21:23:42 -0500
Source: coq-record-update
Built-For-Profiles: noudeb
Architecture: source
Version: 0.3.3-1build1
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:
 coq-record-update (0.3.3-1build1) noble; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 8ab9d2beba508e621abdc959dc8bfcd66f34036d 2147 coq-record-update_0.3.3-1build1.dsc
 6413cf18836224feaca9cebb1725e6768f250420 2044 coq-record-update_0.3.3-1build1.debian.tar.xz
 0f765339922ae6917abd305d25eb204b7039b0b7 7292 coq-record-update_0.3.3-1build1_source.buildinfo
Checksums-Sha256:
 f8f44589e3f7088893af422f50ce3fbbd6fff9c57699d72b2fed9457308236f2 2147 coq-record-update_0.3.3-1build1.dsc
 27ae3e8e16162bc6134c3ae4a2e0d6444122258b49cc4eafbf75a659ed893ca3 2044 coq-record-update_0.3.3-1build1.debian.tar.xz
 1a4f5a63a5b9cbf0eb11aae0c656892947b06d647130ca13474b184bb8cae877 7292 coq-record-update_0.3.3-1build1_source.buildinfo
Files:
 5a39e3c6a6b01c6e1834bedd82d94fe5 2147 ocaml optional coq-record-update_0.3.3-1build1.dsc
 705e0c29990200014a46f14785147123 2044 ocaml optional coq-record-update_0.3.3-1build1.debian.tar.xz
 9816175862d6b238398bee51dcd2bb16 7292 ocaml optional coq-record-update_0.3.3-1build1_source.buildinfo


More information about the noble-changes mailing list