-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: alt-ergo
Binary: alt-ergo
Architecture: any
Version: 2.0.0-3
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.3.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 (= 12), dh-ocaml (>= 0.9.0~), ocaml-nox (>= 4.04), menhir, ocaml-findlib, libocamlgraph-ocaml-dev (>= 1.8.5~), libzarith-ocaml-dev, libzip-ocaml-dev, ocplib-simplex-ocaml-dev (>= 0.4), liblablgtk2-gnome-ocaml-dev (>= 2.14.0+dfsg-2~), liblablgtksourceview2-ocaml-dev (>= 2.14.0+dfsg-2~)
Package-List:
 alt-ergo deb math optional arch=any
Checksums-Sha1:
 594a9fd98182c47155206f3e358ef27b7f30b059 353488 alt-ergo_2.0.0.orig.tar.gz
 c2b893cf42bc46a1c611fb9ed627a6c1857f0df7 6368 alt-ergo_2.0.0-3.debian.tar.xz
Checksums-Sha256:
 bb90bd62a971340c1854d24a8a650403722b4f71d2afcce797bc53e76417cd4b 353488 alt-ergo_2.0.0.orig.tar.gz
 c85233473aaf6ef3c0aede003742b9ec2ba9e456d2449ff981d901a60702a818 6368 alt-ergo_2.0.0-3.debian.tar.xz
Files:
 e390c96bcac7c54a5949ad36611412ef 353488 alt-ergo_2.0.0.orig.tar.gz
 827b3fc42cae2600d21cc3b666146e41 6368 alt-ergo_2.0.0-3.debian.tar.xz

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

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlxk434ACgkQdFxHZtTK
zf/PKA//avC0KnmWZj8ckGWufaBHO4Rn69gf8vGOolV0rqGCCWMxZ2oFjdgC7CJz
TyQF69mdfcPl3Tamt3uzk+B2zUAPwwExK14ZD3zO8hXdCBNN/h/iOucdKFpI502D
1ou93Dvm8woUTJzU1asg07w+AUc/JBDA7TzCi18dDj/BQKIS9lr5+Y8rICl4AjCA
8p/e4FKaeB1gRJfKhFbpK8K213z5AgKWZxFO+ePERqbsuh/kx/zSgNW+NljqY1yi
dRMZWhNwZcg8CwNhyDRet+uOTNGmOzQ/MgPbc3pLqRCRgluCccYQtmf7c9Y7zngm
IQ4Krp1cI8nkd0PVUSaHqb12DC5XF1sXxwMBqABRPkX50cGgVZQvL1+yKDCUKAak
iKTzkQfhO3ZKIWjo23HAFILmPG4UaxvECeW5xYF1NPGDQVyQ/+mkpECB/OU/xl0a
4sHoNIj3MS4ETyHDmpsD5RU9+KGWLGL3YPjv2Pk/ug5uaD+c5L+CUSFof9l+ffjN
GOb5zFIhMbIPEgif2EW1BhkE38TpYrzDUqBKa7p4QnIQubE0PppQznuNacVPCpit
mbGOeUjb9blzZ41A2ZBgZkVBqv/vJsSXSTCI/xPrDouZo+yJ/R/Os7+8mIiD9UEX
27XcSCvnWe7+M7q/3pFvvWjXcpsP3dJwK8CgYjqUizd3QLw3zLg=
=Zfy9
-----END PGP SIGNATURE-----