[ubuntu/plucky-proposed] coq-interval 4.11.1-1build2 (Accepted)

[Jeremy Bícha]

coq-interval (4.11.1-1build2) plucky; urgency=medium

  * Rebuild against latest coq libraries

Date: Fri, 20 Dec 2024 12:39:34 -0500
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-interval/4.11.1-1build2
-------------- next part --------------
Format: 1.8
Date: Fri, 20 Dec 2024 12:39:34 -0500
Source: coq-interval
Built-For-Profiles: noudeb
Architecture: source
Version: 4.11.1-1build2
Distribution: plucky
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Changes:
 coq-interval (4.11.1-1build2) plucky; urgency=medium
 .
   * Rebuild against latest coq libraries
Checksums-Sha1:
 3740433beb8f85292c8e814222128380fdc6264d 2190 coq-interval_4.11.1-1build2.dsc
 2ba8b0d3702659d2aae16a356c905a5a1a0d055d 9448 coq-interval_4.11.1-1build2.debian.tar.xz
 cb863bb43f108aec708ec123c5a5e9da9ff48555 7100 coq-interval_4.11.1-1build2_source.buildinfo
Checksums-Sha256:
 65b526e208331ddfccdf4a7051c0a1074f19d68b9202bf2df8b9d4a79a84d8ec 2190 coq-interval_4.11.1-1build2.dsc
 4a2b36603aaf9e703b1b35f87df674dfce2c72634197a1a75065353a081ce963 9448 coq-interval_4.11.1-1build2.debian.tar.xz
 4651aa50e33b524c0e35084394a805652a46edeb194e99a7d677cf382b73593d 7100 coq-interval_4.11.1-1build2_source.buildinfo
Files:
 493a396eea55530b9c76fdffb486084f 2190 ocaml optional coq-interval_4.11.1-1build2.dsc
 359aa662ae8f3523571bba155e9de9f2 9448 ocaml optional coq-interval_4.11.1-1build2.debian.tar.xz
 64c0192aa2b4111eb683be42d7957113 7100 ocaml optional coq-interval_4.11.1-1build2_source.buildinfo