[ubuntu/oracular-proposed] coq-ext-lib 0.12.1-2build1 (Accepted)

[Jeremy Bícha]

coq-ext-lib (0.12.1-2build1) oracular; urgency=medium

  * Rebuild against latest coq

Date: Sun, 04 Aug 2024 11:18:56 -0400
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-ext-lib/0.12.1-2build1
-------------- next part --------------
Format: 1.8
Date: Sun, 04 Aug 2024 11:18:56 -0400
Source: coq-ext-lib
Built-For-Profiles: noudeb
Architecture: source
Version: 0.12.1-2build1
Distribution: oracular
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Changes:
 coq-ext-lib (0.12.1-2build1) oracular; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 773654da7fe6f860cfe2848faef5143fafcf98dc 2088 coq-ext-lib_0.12.1-2build1.dsc
 daa65a2c1c9e3ae0904790ff2c82bc55c2e44aad 2408 coq-ext-lib_0.12.1-2build1.debian.tar.xz
 f4f74129eb6f69d009bac05545cf170a03974d70 6789 coq-ext-lib_0.12.1-2build1_source.buildinfo
Checksums-Sha256:
 6082fa8799983c75d91c960149e46a89ae4246369a98914b7e60006c4ef22b0d 2088 coq-ext-lib_0.12.1-2build1.dsc
 c38a8e20112ea8a95858a7f3e0fb003cfbb94debf80fcb889ecede9d358092f2 2408 coq-ext-lib_0.12.1-2build1.debian.tar.xz
 a98c2d4bfa037277bb1deaf716a95b0e20a979897c3aff62d629db5b8e09f014 6789 coq-ext-lib_0.12.1-2build1_source.buildinfo
Files:
 9e60110b15ebb0cf9514f9fd6ff72cd6 2088 ocaml optional coq-ext-lib_0.12.1-2build1.dsc
 2a68e9441515d787f833bf5751455854 2408 ocaml optional coq-ext-lib_0.12.1-2build1.debian.tar.xz
 086686b9ee7a79505783cfd01890f991 6789 ocaml optional coq-ext-lib_0.12.1-2build1_source.buildinfo