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

[Matthias Klose]

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

  * No-change rebuild for OCaml ABIs.

Date: Sat, 07 Sep 2024 19:20:21 +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-2build3
-------------- next part --------------
Format: 1.8
Date: Sat, 07 Sep 2024 19:20:21 +0200
Source: coq-mtac2
Built-For-Profiles: noudeb
Architecture: source
Version: 1.4+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-mtac2 (1.4+8.19-2build3) oracular; urgency=medium
 .
   * No-change rebuild for OCaml ABIs.
Checksums-Sha1:
 4242a5f9a36cc46f941c075d1a6e88db75fab56e 2099 coq-mtac2_1.4+8.19-2build3.dsc
 a0391613b0a6d185e563645c101d32e40aa512d3 2992 coq-mtac2_1.4+8.19-2build3.debian.tar.xz
 53f9ec8e5b8d449685a0fcf5e6b7bda07dc1ae17 5704 coq-mtac2_1.4+8.19-2build3_source.buildinfo
Checksums-Sha256:
 ff8b238dd37ca4f81ff98cebfb6407cc18ed2bcbda362a740dbd528b5535d626 2099 coq-mtac2_1.4+8.19-2build3.dsc
 4b502f50fc7778de51984a768912c6eba55cf5e7a7000ec2169d13e859722dd5 2992 coq-mtac2_1.4+8.19-2build3.debian.tar.xz
 c1259ab087fffecfc2092c77e9f23cd5b6d63e8c15cdbe85abd514087d5cf1ce 5704 coq-mtac2_1.4+8.19-2build3_source.buildinfo
Files:
 a4f13daf222cb7dbf1c1a52f7be8acde 2099 ocaml optional coq-mtac2_1.4+8.19-2build3.dsc
 3e291e30753846ef5a9a78de4c99a062 2992 ocaml optional coq-mtac2_1.4+8.19-2build3.debian.tar.xz
 c6b607bce968d0743fe5a3b0f6c05794 5704 ocaml optional coq-mtac2_1.4+8.19-2build3_source.buildinfo