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

[Matthias Klose]

coq-hott (8.19-2build2) oracular; urgency=medium

  * No-change rebuild for OCaml ABIs.

Date: Sat, 07 Sep 2024 00:44: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-hott/8.19-2build2
-------------- next part --------------
Format: 1.8
Date: Sat, 07 Sep 2024 00:44:21 +0200
Source: coq-hott
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:
 coq-hott (8.19-2build2) oracular; urgency=medium
 .
   * No-change rebuild for OCaml ABIs.
Checksums-Sha1:
 fdd70bb875d5fffe2553bce029d6ca9888ee5e32 2028 coq-hott_8.19-2build2.dsc
 225a11b4bc11cc2a293ca5c67bacc1c2ec48ed7c 3104 coq-hott_8.19-2build2.debian.tar.xz
 ad1901d96317c65325d184900cffa3bc25d868be 5684 coq-hott_8.19-2build2_source.buildinfo
Checksums-Sha256:
 a4da459d7e28464e1cf8d7c4855179086b8293be597ca8e53a74b4501ef475b6 2028 coq-hott_8.19-2build2.dsc
 b7cab31b34764768cf3b390b8c69a5c60e2770a4da20d8d72cd01a214326029f 3104 coq-hott_8.19-2build2.debian.tar.xz
 ab482660d2230a6196c71f415000a9ed74e07118db9c5125c618d3b6fa7a1a5e 5684 coq-hott_8.19-2build2_source.buildinfo
Files:
 84e1c93c2fc0dfb4066308175839d04c 2028 ocaml optional coq-hott_8.19-2build2.dsc
 cef04d76ffc0d4db0d2ff58945e6ae5e 3104 ocaml optional coq-hott_8.19-2build2.debian.tar.xz
 cdd0b89188bc6c7d524117171548c9ad 5684 ocaml optional coq-hott_8.19-2build2_source.buildinfo