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

Format: 3.0 (quilt)
Source: alt-ergo
Binary: alt-ergo
Architecture: any
Version: 1.30+dfsg1-2
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.2.1
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 (>= 10), ocaml-nox (>= 3.12.1), ocaml-findlib, libocamlgraph-ocaml-dev (>= 1.8.5~), libzarith-ocaml-dev, libzip-ocaml-dev, ocplib-simplex-ocaml-dev, dh-ocaml (>= 0.9.0~)
Package-List:
 alt-ergo deb math optional arch=any
Checksums-Sha1:
 6e9cc2b5cd31933fc4e40090b79bf714af4f4cf3 264224 alt-ergo_1.30+dfsg1.orig.tar.gz
 41de5175e998a90d40ca39b01bd67d4d50019d06 14808 alt-ergo_1.30+dfsg1-2.debian.tar.xz
Checksums-Sha256:
 a9846a2dc56bfc89bea99105c277d2f80cfee1ad861df2e92728ec6379465b51 264224 alt-ergo_1.30+dfsg1.orig.tar.gz
 29231440e27300b216946669d5be9e783dfe78fba0cab4f6785114efa8fcda0c 14808 alt-ergo_1.30+dfsg1-2.debian.tar.xz
Files:
 bec46dfaddd266dfe4d7b8534221afef 264224 alt-ergo_1.30+dfsg1.orig.tar.gz
 740b7c0fadd46f40c1be03980a99132e 14808 alt-ergo_1.30+dfsg1-2.debian.tar.xz

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

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlvrK5EACgkQdFxHZtTK
zf8dWA//WG7mMeHv4XUOMLkQS1/0v5tzsXwhV8tp0m63POOOQ8AHkniJGpMwnT/V
jncVDhjvwvY+w+P2mHFu9iabrEoeiTmYkzk+mHv3C00QVyj4zHDBESgnTb0EQ6Vr
VWCgUApc12T+oOQknZhAjP4J8yQN3g+ON70Dfq5wMiAprUCDpFs9cAnnXYuJOKax
+KY3rrSRJKl5h7zn8mwa5lsibUpAJXGrdVDwU6D6lezEQ+szGMkEe2V/YFSRaoPa
+i8eCKT8dNVAEDvpPS6gVfGSVzF8TEBv5kccy3tnxwm5HQa5De3A9+21WstXgTMz
S+62Dq8JmtdgfrEon1ZqbDd35BDm3mc09a99Mre5lts8B2dvWc/YmCRH3K1XI+8c
sif2zyk5a1sCPErQDumu6ZnwQ7IirqLHzBxsvT6h1YIoQdwvqG2p4a6zY/zzXxdA
17H19DVY8m2ynTWUhHBGvDgUAMXVVcQENUXNQUbLiyFH4sF1Apk07eQgaN3s1Czh
nCmox6gDCGP1vsVJ538r2FzXtKISvFqKvZjn97rx//3fCwOxEUzF+FxsrRsb6Pqq
cs4/I/GL8lJTl+o3U6hPemiqhgpI8UGHpsf5AzfG8YipDqjVCceD0zPv/+e6I4RD
4Z3T2z4bvCoOyDP00J+aqa8nYvHs3C3n/d2NmObqfMuox9TuK74=
=MEdo
-----END PGP SIGNATURE-----