[ubuntu/groovy-proposed] coq 8.12.0-3build1 (Accepted)

[Jeremy Bicha]

coq (8.12.0-3build1) groovy; urgency=medium

  * No-change rebuild against latest lablgtk3

Date: Sat, 03 Oct 2020 20:40:29 -0400
Changed-By: Jeremy Bicha <jbicha at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq/8.12.0-3build1
-------------- next part --------------
Format: 1.8
Date: Sat, 03 Oct 2020 20:40:29 -0400
Source: coq
Architecture: source
Version: 8.12.0-3build1
Distribution: groovy
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Jeremy Bicha <jbicha at ubuntu.com>
Changes:
 coq (8.12.0-3build1) groovy; urgency=medium
 .
   * No-change rebuild against latest lablgtk3
Checksums-Sha1:
 2d7af795a3e0913ebfd60fbf5ed2539984de090f 2507 coq_8.12.0-3build1.dsc
 3e5b119383e54074c6c67638c57e2bd71a3ae4ad 37840 coq_8.12.0-3build1.debian.tar.xz
 e1c555914cdfbaab179cd6e143b05f91aabdaf51 7188 coq_8.12.0-3build1_source.buildinfo
Checksums-Sha256:
 9edb047ba8d314a7f6f3bc2036a8fdfca4758ae2b359275bf27d984b71183dee 2507 coq_8.12.0-3build1.dsc
 3bd5fdf81a296e5725157ae048fa68df85622fc2c5c82a08e39b21d9f1d00da4 37840 coq_8.12.0-3build1.debian.tar.xz
 35f81daa211b01e964ff1849bb934e7b40b270dfd8e3b68ea86c97968057a6ce 7188 coq_8.12.0-3build1_source.buildinfo
Files:
 bb76a23f2f11f4da8552c36e85bb433e 2507 math optional coq_8.12.0-3build1.dsc
 c59cc5d0e2f7886754e41e5c8101554c 37840 math optional coq_8.12.0-3build1.debian.tar.xz
 37b15d04738a2e67b661d143e4ea5e70 7188 math optional coq_8.12.0-3build1_source.buildinfo