[ubuntu/oracular-proposed] coqprime 8.19-2build2 (Accepted)

[Matthias Klose]

coqprime (8.19-2build2) oracular; urgency=medium

  * No-change rebuild for OCaml ABIs.

Date: Sat, 07 Sep 2024 09:04:30 +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/coqprime/8.19-2build2
-------------- next part --------------
Format: 1.8
Date: Sat, 07 Sep 2024 09:04:30 +0200
Source: coqprime
Built-For-Profiles: noudeb
Architecture: source
Version: 8.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:
 coqprime (8.19-2build2) oracular; urgency=medium
 .
   * No-change rebuild for OCaml ABIs.
Checksums-Sha1:
 c4a4c0f28a616cb68f247e6522799c80b37e2866 2148 coqprime_8.19-2build2.dsc
 1c27ea77bd5b5f52199c50e4c5b74f8cacecc569 3536 coqprime_8.19-2build2.debian.tar.xz
 cdba4e505265e0d699cc33ef92110939ee4c2c73 5684 coqprime_8.19-2build2_source.buildinfo
Checksums-Sha256:
 362bd41bdc171371bc452c2df2cdc288eec5434143f89f9f2b64cc2a60da4699 2148 coqprime_8.19-2build2.dsc
 7a22c7dddb926c9a1f7e757af76be5240a265aff69ee08d517e32041107cf662 3536 coqprime_8.19-2build2.debian.tar.xz
 1c02c8a40261bf5c054f9b1bff0715af00af7340c98232535bf4d5c43380e7d6 5684 coqprime_8.19-2build2_source.buildinfo
Files:
 bf6393cc11c69da0a7a372d8c0bed265 2148 ocaml optional coqprime_8.19-2build2.dsc
 7c7b7d0b37aab4fa6a97782d6dd24cbe 3536 ocaml optional coqprime_8.19-2build2.debian.tar.xz
 6889b9fdcef5fbd200fa44f69a35c4e9 5684 ocaml optional coqprime_8.19-2build2_source.buildinfo