From foo@bar  Tue Jul 28 13:50:01 2026
Format: 1.8
Date: Thu, 23 Jul 2026 17:23:59 +0200
Source: coq-hott
Binary: libcoq-hott
Architecture: alpha
Version: 9.1-2
Distribution: sid
Urgency: medium
Maintainer: alpha Build Daemon (imago) <buildd@imago.buildd.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 libcoq-hott - Coq library for homotopy type theory
Changes:
 coq-hott (9.1-2) unstable; urgency=medium
 .
   * Upload to unstable.
Checksums-Sha1:
 b297631003bbf843fc663657bbc874d4d3007178 6543 coq-hott_9.1-2_alpha.buildinfo
 ba973ecefcd29f8ffda258d3dab6fcedea5b6201 15125276 libcoq-hott_9.1-2_alpha.deb
Checksums-Sha256:
 5f7005490b8e0bc34080bd2103edbe6064b1b943d5527b8ee49ed9dc9f7f3055 6543 coq-hott_9.1-2_alpha.buildinfo
 93ccbc7ca1bbe598a40a88d513bf6b40c6f376f92160eea416725976bfa9e2c5 15125276 libcoq-hott_9.1-2_alpha.deb
Files:
 4f1b0715ec77049bfced96cb10d056e6 6543 ocaml optional coq-hott_9.1-2_alpha.buildinfo
 c8692941d58bfde22d88b19ee64e1247 15125276 ocaml optional libcoq-hott_9.1-2_alpha.deb
Signed-By: buildd autosigning key imago <buildd_alpha-imago@buildd.debian.org>