[ubuntu/plucky-proposed] coq-hott 8.20-1build1 (Accepted)

[Jeremy Bícha]

coq-hott (8.20-1build1) plucky; urgency=medium

  * Rebuild against latest coq

Date: Wed, 20 Nov 2024 21:31:28 -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-hott/8.20-1build1
-------------- next part --------------
Format: 1.8
Date: Wed, 20 Nov 2024 21:31:28 -0500
Source: coq-hott
Built-For-Profiles: noudeb
Architecture: source
Version: 8.20-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-hott (8.20-1build1) plucky; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 65d77396dda3ba2c20a354346d4bdece9f9ae9fe 2031 coq-hott_8.20-1build1.dsc
 255c1680e60205a58f496138f071a074733cc5cb 3060 coq-hott_8.20-1build1.debian.tar.xz
 e62ef60b79a9ea29933da264f929be7c27a3ff77 6953 coq-hott_8.20-1build1_source.buildinfo
Checksums-Sha256:
 8aa2f21d5a8429ba838f9f71247b272efccc831477dea0569ca343d125a9532f 2031 coq-hott_8.20-1build1.dsc
 5a40ace17a809ccedd0cbf165648b0a52803c76ea2094dc3412c635d9cc6dc10 3060 coq-hott_8.20-1build1.debian.tar.xz
 f42dcb04fb9052e6925a5d19e80814cfb387ce64feea178fde078da41b89fccf 6953 coq-hott_8.20-1build1_source.buildinfo
Files:
 1b8e2798490f396d34d81547c2822488 2031 ocaml optional coq-hott_8.20-1build1.dsc
 450a8946bbce51feb82ce58f8a89acf5 3060 ocaml optional coq-hott_8.20-1build1.debian.tar.xz
 5550649d3fa7d785d2eb7fc9a5908c4b 6953 ocaml optional coq-hott_8.20-1build1_source.buildinfo