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

[Jeremy Bícha]

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

  * Rebuild against latest coq

Date: Thu, 21 Nov 2024 10:28:16 -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-1build1
-------------- next part --------------
Format: 1.8
Date: Thu, 21 Nov 2024 10:28:16 -0500
Source: coq-interval
Built-For-Profiles: noudeb
Architecture: source
Version: 4.11.1-1build1
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-1build1) plucky; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 196d0ca5dd97f2ba5307388eeee82597c11fdee0 2190 coq-interval_4.11.1-1build1.dsc
 c92675494f40ffd7e3bec0b9535112de32e2495c 9428 coq-interval_4.11.1-1build1.debian.tar.xz
 a3fc2529b377ef6efeb45524cee5e2fb614c9a8e 6977 coq-interval_4.11.1-1build1_source.buildinfo
Checksums-Sha256:
 ab0a2a6cb19413d5cf685a6aa69d19f10562bbde33407859a9d4c268b66778cb 2190 coq-interval_4.11.1-1build1.dsc
 032ade7ddf60834a25553b8d25ea410e40f8e06347ee44ae5928ac4116698542 9428 coq-interval_4.11.1-1build1.debian.tar.xz
 c81195432ba1d8958d0e5fc76f1d130ae814d59561cafba7dabfbe84b7aeea27 6977 coq-interval_4.11.1-1build1_source.buildinfo
Files:
 04c5c279d0b6df69f4fe7eaab611339f 2190 ocaml optional coq-interval_4.11.1-1build1.dsc
 e372e039100eb1c0dbb5a7ae5dc5ebb5 9428 ocaml optional coq-interval_4.11.1-1build1.debian.tar.xz
 1bfd2ad3619f8db46b33d0aeead32de7 6977 ocaml optional coq-interval_4.11.1-1build1_source.buildinfo