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

Format: 3.0 (quilt)
Source: alt-ergo
Binary: alt-ergo
Architecture: any
Version: 2.0.0-7build2
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
 a3e9133873d9605abbe03946d96ee559ce97c34c 7248 alt-ergo_2.0.0-7build2.debian.tar.xz
Checksums-Sha256:
 bb90bd62a971340c1854d24a8a650403722b4f71d2afcce797bc53e76417cd4b 353488 alt-ergo_2.0.0.orig.tar.gz
 74a8384ce397bc7bf946af3dd2c042c343a2e9e3b883f1a7643a502256bb3cb5 7248 alt-ergo_2.0.0-7build2.debian.tar.xz
Files:
 e390c96bcac7c54a5949ad36611412ef 353488 alt-ergo_2.0.0.orig.tar.gz
 6707114f3bb9af037220ee4ccd9567c4 7248 alt-ergo_2.0.0-7build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl/CFyMACgkQ808JdE6f
XdkBLw/9EKeOs/Y6Co1BvGx4gLJpHfjOOhvhWx3Q/lIjyFk+vcurUuI1dc/QH++6
E1mFM74MvR8SUYuGfE7ACPjqbUHUJK8dXcQh9tKr1av0zNOhpNT2qElMBayVvxFz
gi8BIl9LHen/zulti0mwNPuADNuxsRkI5fPM1J1qi2mfM9lLfDuxkAYEL+wnfogM
RsLwKZ1+nxE1aLMZC8RVPVr8OhBzXzVNnh5cRgqfHYrzYZ7SkEipnlIrjaban/Nn
730wk8LV/PKY0geBeUgC0T/cwL/oPYVk6cGZXS/t+UwC2AF1LrODfAwyTVKxx/C2
uoqi9yXbOCdMicCLRzOGZ8h1GSvpw3o+ACyai/FW1bt7ubzLTOBK3jaHrV+GNF92
RUWEWngC5ZwHeFngz4NWLnvLUke0OB13QD4XugRVMeZW9AOBFxDJhSbo+0nopNIA
sjmLaYC7ur8FIMWKR/vBUKtWs69H0qGtzevgKC9oFNpTDFqYT2uRjAU9M6NF8cG5
zd5IC1yNEKcBztbrzWQCf5VM3/voydtgk6r5Z9pOAxCCmL7LZxpSOhabEjearWVE
52YsJlBRhi35Y43hZ7g3idQ7iPyvfO4iNkrDXdobNd8jru5Q8nexdKkT/Z9q4cGJ
wxbijkooGHxQwQhpBZbYMuObUByiXIi4H2r5sWlkDEV0AO+3p8U=
=HcFb
-----END PGP SIGNATURE-----