[ubuntu/oracular-proposed] coq-equations 1.3-8.19-2build3 (Accepted)

[Matthias Klose]

coq-equations (1.3-8.19-2build3) oracular; urgency=medium

  * No-change rebuild for OCaml ABIs.

Date: Sat, 07 Sep 2024 19:20:26 +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/coq-equations/1.3-8.19-2build3
-------------- next part --------------
Format: 1.8
Date: Sat, 07 Sep 2024 19:20:26 +0200
Source: coq-equations
Built-For-Profiles: noudeb
Architecture: source
Version: 1.3-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:
 coq-equations (1.3-8.19-2build3) oracular; urgency=medium
 .
   * No-change rebuild for OCaml ABIs.
Checksums-Sha1:
 14df96fe8fe9e5c7f836ccdfecfb5dc82e1138c4 2165 coq-equations_1.3-8.19-2build3.dsc
 dae7e41a462b429f7a23688b8203af72b68a85d2 2860 coq-equations_1.3-8.19-2build3.debian.tar.xz
 3fb3edabb298122c2bf4ecd4cc703e368f97e589 5720 coq-equations_1.3-8.19-2build3_source.buildinfo
Checksums-Sha256:
 85f6f18cf04073275cc2d85eebcd588062336a555736779a94666d6f77439e49 2165 coq-equations_1.3-8.19-2build3.dsc
 768e00b4ff0b603ccd78f313b4142c39019072c4140b66d9d6b2f24137cb29ec 2860 coq-equations_1.3-8.19-2build3.debian.tar.xz
 a524650a194e0dc4d8fdbdb4e28997c8b631723c9e995635a80fdd4699bfe0fe 5720 coq-equations_1.3-8.19-2build3_source.buildinfo
Files:
 40bf6f6990f2850302bc2a9849c86fa1 2165 ocaml optional coq-equations_1.3-8.19-2build3.dsc
 17d7456bf211dec73edcd000083a60b4 2860 ocaml optional coq-equations_1.3-8.19-2build3.debian.tar.xz
 51d8e0987fb20288c43e779469ad5375 5720 ocaml optional coq-equations_1.3-8.19-2build3_source.buildinfo