[ubuntu/focal-proposed] coq 8.9.1-5build1 (Accepted)

Dimitri John Ledkov xnox at ubuntu.com
Fri Feb 21 23:17:14 UTC 2020


coq (8.9.1-5build1) focal; urgency=medium

  * No change rebuild against new ocaml ABI

Date: Fri, 21 Feb 2020 23:16:34 +0000
Changed-By: Dimitri John Ledkov <xnox at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/coq/8.9.1-5build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Fri, 21 Feb 2020 23:16:34 +0000
Source: coq
Architecture: source
Version: 8.9.1-5build1
Distribution: focal
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Dimitri John Ledkov <xnox at ubuntu.com>
Changes:
 coq (8.9.1-5build1) focal; urgency=medium
 .
   * No change rebuild against new ocaml ABI
Checksums-Sha1:
 27460aee36e8c8665926359b6e06742031d1c9b1 2594 coq_8.9.1-5build1.dsc
 b4bd58f189d6c688abe318b4a47b40d022425483 32152 coq_8.9.1-5build1.debian.tar.xz
 5615e14212d1327226dd189467276bf78970bb77 9454 coq_8.9.1-5build1_source.buildinfo
Checksums-Sha256:
 09f55a01a8768bae8345bfd0b242d2b1d7757318638ece25ada3eb96f09b98e5 2594 coq_8.9.1-5build1.dsc
 a328a8cefa1c7bfb7861653d3a1ae0d89da03930a9ea0e8be0ce292414012e31 32152 coq_8.9.1-5build1.debian.tar.xz
 1bfc9636e011c7bb057ed71c29d9f538f02aaefceccc7613d18ef16bce4b27b0 9454 coq_8.9.1-5build1_source.buildinfo
Files:
 d6d7ad1637c3562945f17574678706fb 2594 math optional coq_8.9.1-5build1.dsc
 245619a6de82db77eee6beb38cdb844b 32152 math optional coq_8.9.1-5build1.debian.tar.xz
 9ec7f5d24837aee5e400b8f441fce029 9454 math optional coq_8.9.1-5build1_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEE7iQKBSojGtiSWEHXm47ISdXvcO0FAl5QZN4ACgkQm47ISdXv
cO0EeRAAjWXUzjBYrO9whradgv8evGL4ILDW0nuzeElSd+Zb8UBeuRH9ljB0AlR1
9iZtXxYI8Q8si3UyG99DI4Uif2RpPL4/9PQbddLpltYAcOJ549lI2hvojVuu2/C7
Sz7Tfjohe7uxb7iiek9qgQitcYFBGynnkhS3gFHRT0Vac/Dh6UEOe1f/YosIWo71
giwmzismPgGcUP0MptXaj2Tmcq8nxIiOR4bCd680gbIJxV6RTDYzP0HESFdgGcfK
ZHYB99mFWQXDUCGDHLbfb5gKba2+dP0tW/8qfmOVp4R/b3tZHo+rXZ+hqjMTGbP4
8Rb7UEbb8Steckerq9WCDPqxpkb2f9y16tKm2MLB5hxZAB6YduFu2FOB5ELx23zc
6zDtBNKGP5mrzpwfUfSf1qlksuzNcmr/3/e4CxGzOcB/FByUiYHrsUtHo92xlcck
M+vCzajPLNrbN1QBrgoeMR/bnw2+eZ2YQijwpZDvqzsxs25sHs7DwIrzMknchKLm
zaCj4TgWLUYfgokdwrcbLOSe6FZyJLUhqKMeuadw08zJLMf5NMsUpz93R04vdBP8
rA9IWxKDUERcwKUzqtKZqRNjOR3n4wjNZJC2e2F+tI8jF5NSl4CEoqydEp3BTldH
hZSt3jE5OCCgOA7N4dy4M7eHiFmXCVC74CAdi7+xvLAHBFDcQHM=
=Xx8J
-----END PGP SIGNATURE-----


More information about the Focal-changes mailing list