Accepted: -----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 <glo...@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----- Thank you for your contribution to Debian.