-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: alt-ergo
Binary: alt-ergo
Architecture: any
Version: 2.0.0-7
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Mehdi Dogguy <mehdi@debian.org>, Ralf Treinen <treinen@debian.org>
Homepage: http://alt-ergo.lri.fr
Standards-Version: 4.5.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/alt-ergo
Vcs-Git: https://salsa.debian.org/ocaml-team/alt-ergo.git
Testsuite: autopkgtest
Build-Depends: debhelper-compat (= 13), dh-ocaml, ocaml-nox (>= 4.04), menhir, ocaml-findlib, libnum-ocaml-dev, libocamlgraph-ocaml-dev (>= 1.8.5~), libzarith-ocaml-dev, libzip-ocaml-dev, ocplib-simplex-ocaml-dev (>= 0.4)
Package-List:
 alt-ergo deb math optional arch=any
Checksums-Sha1:
 594a9fd98182c47155206f3e358ef27b7f30b059 353488 alt-ergo_2.0.0.orig.tar.gz
 f679e6c988dad2bce8ae410219de9712e6253c59 7112 alt-ergo_2.0.0-7.debian.tar.xz
Checksums-Sha256:
 bb90bd62a971340c1854d24a8a650403722b4f71d2afcce797bc53e76417cd4b 353488 alt-ergo_2.0.0.orig.tar.gz
 02f85007d44eef13827c718bbfc09a408a1da22a6a94553fbbdeb451a63f8942 7112 alt-ergo_2.0.0-7.debian.tar.xz
Files:
 e390c96bcac7c54a5949ad36611412ef 353488 alt-ergo_2.0.0.orig.tar.gz
 7384d2ba9f57e275f14ced90f086ac65 7112 alt-ergo_2.0.0-7.debian.tar.xz
Dgit: 0cd9a686879b83d746f56757935b9e5723cf90c2 debian archive/debian/2.0.0-7 https://git.dgit.debian.org/alt-ergo

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

iQEzBAEBCgAdFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAl8yUYsACgkQIbju8bGJ
MIHqzgf/QsCoPJ5BQW2cjb+cUf+2eKEEH8AcOxePJf/RwWp3u7sNL/Bc8G3AR0T5
zwfbZU3ttKcJJ0Yn5qrlsuBkBY2RT+WYMp/kKymkZLVWfTuf/fdsIY1cXkNV5FVB
9r+6xY5QRR53tBLJ8xoVToDtuos+k5dKRADB3MBkfW4dHkqYGPxO9JktzKyguY2j
CrarirX8a4J8vInPQrcAEvTND+A/i4Y/dzzqvkTze7/XlGXTHRDi3m5cfJWuBB5c
w2jEYPK5ZSN7NrHkHHbujoBQn+KHmOT26zDWPt0oUlfKKpnxEsWvnCLHkc9tGkNk
y7fOegcXv95dqoVfyDzJ+O7GayjEHw==
=jsde
-----END PGP SIGNATURE-----