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

Matthias Klose doko at ubuntu.com
Sat Sep 7 18:30:23 UTC 2024


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

  * No-change rebuild for OCaml ABIs.

Date: Sat, 07 Sep 2024 19:20:24 +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-2build3
-------------- next part --------------
Format: 1.8
Date: Sat, 07 Sep 2024 19:20:24 +0200
Source: coqprime
Built-For-Profiles: noudeb
Architecture: source
Version: 8.19-2build3
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-2build3) oracular; urgency=medium
 .
   * No-change rebuild for OCaml ABIs.
Checksums-Sha1:
 4c6601e194254a22e92143a11298886e9849047c 2148 coqprime_8.19-2build3.dsc
 4543d5e2980b082a63f3165c59d958f760fb83ef 3552 coqprime_8.19-2build3.debian.tar.xz
 6eb7cdd1c745dddc6d37b120b0ecd0149153749a 5684 coqprime_8.19-2build3_source.buildinfo
Checksums-Sha256:
 e73d75bf157e912f9cf5c49c5f49327df7aa0990df4ae8a9bb32c6d577a970cc 2148 coqprime_8.19-2build3.dsc
 56b95d0d75668fb5fb6af33c0f753aeab6bc929f5f04b9de2e2b967d40964e37 3552 coqprime_8.19-2build3.debian.tar.xz
 5898d90509e692daf3d91fafdd66be20ba5310419ffc041c91024f946731b2be 5684 coqprime_8.19-2build3_source.buildinfo
Files:
 9331ceba6bf56cd102ae95711a5b5933 2148 ocaml optional coqprime_8.19-2build3.dsc
 acd6f9004137accbea2cfd28488d36e8 3552 ocaml optional coqprime_8.19-2build3.debian.tar.xz
 0e52bb662340203caf16e3400890a472 5684 ocaml optional coqprime_8.19-2build3_source.buildinfo


More information about the oracular-changes mailing list