Accepted alt-ergo 2.0.0-4 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 31 Jul 2019 11:08:36 +0200
Source: alt-ergo
Architecture: source
Version: 2.0.0-4
Distribution: unstable
Urgency: high
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Changes:
alt-ergo (2.0.0-4) unstable; urgency=high
.
* Team upload
* Fix compilation with camlzip >= 1.08
Checksums-Sha1:
1953f3e8e2b3e22202ce07f80225d712c95bbcb6 1995 alt-ergo_2.0.0-4.dsc
32f081c9008bab8961bfb8a212e1b84cd7f83c2f 6972 alt-ergo_2.0.0-4.debian.tar.xz
Checksums-Sha256:
1d70b21b5a9e3090f4f67ca9eb22c6c41c4a985bb7269bd96947ad7023f4d998 1995 alt-ergo_2.0.0-4.dsc
a44a2e5fb4f99711da5de54e5b1d4f589c362d283acfca53aec1748702724aa9 6972 alt-ergo_2.0.0-4.debian.tar.xz
Files:
42f81db62f86d8a71af7da1de5c9be66 1995 math optional alt-ergo_2.0.0-4.dsc
bad73ee5fa53958312084756938b2d49 6972 math optional alt-ergo_2.0.0-4.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQEzBAEBCgAdFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAl1BYYUACgkQIbju8bGJ
MIHqsgf7BUGoO2drLALYh1Q1gxlnWXqWiSpLftEc2m08uYewJGONvmULCEvyJXH2
Fo1m1JtGaTwbAXr12a1vH+T6N/3KlcN+b0wqdhP1aK89iFwLBCJSr7kxHB81Fdlf
FoVY3PB9vu0V44dSbkDSKfUJWHH1xLznQac+9lSHoeMXNxkeKGn+5Bu6qGf4I7CD
zxpAmMMBNHsU7n+0OUEf+/iOdlYb81G7xZTkbrpQ0ZoEKelyQbfpdO9k1ieQmcCv
eMdJzI9mato1hzOdfeK5QhVnGbHu40rhtqGkwJnwCdoCS6tAVt1sS85EQVYrCEx1
sJ7bhVigHKN9cl3PuFsXB6kwmI8mKQ==
=3hIg
-----END PGP SIGNATURE-----