Format: 1.8
Date: Wed, 05 May 2021 14:27:26 +0000
Source: coq
Built-For-Profiles: noudeb
Architecture: source
Version: 8.8~git~202105051427+19176-0~daily311-0ed45a5994~ubuntu21.04.1
Distribution: hirsute
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Jason Gross <jgross@mit.edu>
Changes:
 coq (8.8~git~202105051427+19176-0~daily311-0ed45a5994~ubuntu21.04.1) hirsute; urgency=low
 .
   * Auto build.
Checksums-Sha1:
 a2c8c032f1f1b7b83ae6ebfb0de6a37ed716ebfe 1447 coq_8.8~git~202105051427+19176-0~daily311-0ed45a5994~ubuntu21.04.1.dsc
 53d2c64c02036576770e716d8107f500c5f97b1a 4441612 coq_8.8~git~202105051427+19176-0~daily311-0ed45a5994~ubuntu21.04.1.tar.xz
 012a91019ac48b0373d0b10f767b34f72f27d36a 9297 coq_8.8~git~202105051427+19176-0~daily311-0ed45a5994~ubuntu21.04.1_source.buildinfo
Checksums-Sha256:
 6baea6cdaef5e0eb269d458ffa1220f31b8436c6d64dea46ab7be81b7b5b3cbc 1447 coq_8.8~git~202105051427+19176-0~daily311-0ed45a5994~ubuntu21.04.1.dsc
 7d9ed2c86af1bdac47daee35593a398856722fe66f2d792644d4247d50a011b9 4441612 coq_8.8~git~202105051427+19176-0~daily311-0ed45a5994~ubuntu21.04.1.tar.xz
 8cb0e9fdbc8a10e9a89aaee3b623e26dc593f9cac3502a129d33a12aca329fa1 9297 coq_8.8~git~202105051427+19176-0~daily311-0ed45a5994~ubuntu21.04.1_source.buildinfo
Files:
 ef1962c7f1e36c54905d844a8b33f965 1447 math optional coq_8.8~git~202105051427+19176-0~daily311-0ed45a5994~ubuntu21.04.1.dsc
 aa0b62e62d2bfb4cf802b253f049673d 4441612 math optional coq_8.8~git~202105051427+19176-0~daily311-0ed45a5994~ubuntu21.04.1.tar.xz
 3425be8c800ba43e61bed4bb9229b695 9297 math optional coq_8.8~git~202105051427+19176-0~daily311-0ed45a5994~ubuntu21.04.1_source.buildinfo