[ubuntu/oracular-proposed] coq-mtac2 1.4+8.19-2build2 (Accepted)

[Matthias Klose]

coq-mtac2 (1.4+8.19-2build2) oracular; urgency=medium

  * No-change rebuild for OCaml ABIs.

Date: Sat, 07 Sep 2024 09:04:16 +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-mtac2/1.4+8.19-2build2
-------------- next part --------------
Format: 1.8
Date: Sat, 07 Sep 2024 09:04:16 +0200
Source: coq-mtac2
Built-For-Profiles: noudeb
Architecture: source
Version: 1.4+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:
 coq-mtac2 (1.4+8.19-2build2) oracular; urgency=medium
 .
   * No-change rebuild for OCaml ABIs.
Checksums-Sha1:
 d702ce30bf486354c8c214699d6ec419dc602c23 2099 coq-mtac2_1.4+8.19-2build2.dsc
 470ac91d20750278b3d82cb9e939ece3e843fd45 2980 coq-mtac2_1.4+8.19-2build2.debian.tar.xz
 33a57bf04203bc1057b2112832266ff732d83ab6 5704 coq-mtac2_1.4+8.19-2build2_source.buildinfo
Checksums-Sha256:
 eb149d0e738a9a0347e5e2763ce118cd0c0af9cf5a07a425adc91906ce281a09 2099 coq-mtac2_1.4+8.19-2build2.dsc
 ef53fa21a96c0cd09d6b2b45ea943598e63ed2b8b4289ea869f0def3b6a35e6f 2980 coq-mtac2_1.4+8.19-2build2.debian.tar.xz
 a1823fd220cce6b4de9fdc33fa9cca213f6b2e436b538929aa340a2daa6a8f2b 5704 coq-mtac2_1.4+8.19-2build2_source.buildinfo
Files:
 20b06b4138912bc71cf0b6b0ee9bd9c0 2099 ocaml optional coq-mtac2_1.4+8.19-2build2.dsc
 33692415f6a14d1de4bd031b0d501d1f 2980 ocaml optional coq-mtac2_1.4+8.19-2build2.debian.tar.xz
 eb3ead653895e6359451e05c31cf923e 5704 ocaml optional coq-mtac2_1.4+8.19-2build2_source.buildinfo