[ubuntu/noble-proposed] coq-equations 1.3-8.17-2build6 (Accepted)

Jeremy Bícha jbicha at ubuntu.com
Sat Dec 23 12:25:11 UTC 2023


coq-equations (1.3-8.17-2build6) noble; urgency=medium

  * Rebuild against latest coq

Date: Sat, 23 Dec 2023 07:20:04 -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-equations/1.3-8.17-2build6
-------------- next part --------------
Format: 1.8
Date: Sat, 23 Dec 2023 07:20:04 -0500
Source: coq-equations
Built-For-Profiles: noudeb
Architecture: source
Version: 1.3-8.17-2build6
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-equations (1.3-8.17-2build6) noble; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 fc4faa7e2a8e887397ddbef62be5ddcca05c0438 2165 coq-equations_1.3-8.17-2build6.dsc
 287f7020cb9b9a39ff5424ff5bc8fa5d9f4d1363 2804 coq-equations_1.3-8.17-2build6.debian.tar.xz
 cb3322814cd222c0b6638edebbc3c0e6e5052f47 7288 coq-equations_1.3-8.17-2build6_source.buildinfo
Checksums-Sha256:
 ce1981635747d565740f8d66d965d27d90aa6dc6f09e6fffb37adb8c3c6a931e 2165 coq-equations_1.3-8.17-2build6.dsc
 6fe2a6977f562cefa1f49ed81b37712aa59954a943dabf4f4eab49585e5bb91a 2804 coq-equations_1.3-8.17-2build6.debian.tar.xz
 d80358a5b27990ddbd5265f43df279497851cadfeea0038cad1c5ceb9132e827 7288 coq-equations_1.3-8.17-2build6_source.buildinfo
Files:
 8dd74af3f5488b5a54abb74958f1dd21 2165 ocaml optional coq-equations_1.3-8.17-2build6.dsc
 3f6b85ec33ed82e45acd08498e3877d2 2804 ocaml optional coq-equations_1.3-8.17-2build6.debian.tar.xz
 644d757a13210c86634eb5e1b56328df 7288 ocaml optional coq-equations_1.3-8.17-2build6_source.buildinfo


More information about the noble-changes mailing list