[ubuntu/oracular-proposed] paramcoq 1.1.3+coq8.19-2build2 (Accepted)

Matthias Klose doko at ubuntu.com
Sat Sep 7 15:20:35 UTC 2024


paramcoq (1.1.3+coq8.19-2build2) oracular; urgency=medium

  * No-change rebuild for OCaml ABIs.

Date: Sat, 07 Sep 2024 16:35:08 +0200
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/paramcoq/1.1.3+coq8.19-2build2
-------------- next part --------------
Format: 1.8
Date: Sat, 07 Sep 2024 16:35:08 +0200
Source: paramcoq
Built-For-Profiles: noudeb
Architecture: source
Version: 1.1.3+coq8.19-2build2
Distribution: oracular
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
 paramcoq (1.1.3+coq8.19-2build2) oracular; urgency=medium
 .
   * No-change rebuild for OCaml ABIs.
Checksums-Sha1:
 7cddac8673652ab6d5357a5b64014ed5b82e6360 2110 paramcoq_1.1.3+coq8.19-2build2.dsc
 454fa0bf8dfa6129191f675e690f4547040c3c88 3320 paramcoq_1.1.3+coq8.19-2build2.debian.tar.xz
 bf1a70165235e8e8f7ac67019766010d650cd815 5720 paramcoq_1.1.3+coq8.19-2build2_source.buildinfo
Checksums-Sha256:
 9a0e5fe101d22385af9d48323f7ea3d2752b478df819fac64afcb520fbda01f3 2110 paramcoq_1.1.3+coq8.19-2build2.dsc
 cdbdaccddcd5bdcef88abcd1947a9818e919b9385ade005d9e260b8310bd9f94 3320 paramcoq_1.1.3+coq8.19-2build2.debian.tar.xz
 98755318ee355be1eaf858aab5d2cf12dddae82304f09fb61a7dabaa0a257517 5720 paramcoq_1.1.3+coq8.19-2build2_source.buildinfo
Files:
 58269ed8723fd23ea7c143f062bcd36f 2110 ocaml optional paramcoq_1.1.3+coq8.19-2build2.dsc
 7a57e8ecc9c301a8e48f0522a7fb6913 3320 ocaml optional paramcoq_1.1.3+coq8.19-2build2.debian.tar.xz
 4ffb88ed0ede72d81ae5f5e57df54394 5720 ocaml optional paramcoq_1.1.3+coq8.19-2build2_source.buildinfo


More information about the oracular-changes mailing list