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

Format: 3.0 (quilt)
Source: alt-ergo
Binary: alt-ergo
Architecture: any
Version: 2.4.2-2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Mehdi Dogguy <mehdi@debian.org>, Ralf Treinen <treinen@debian.org>
Homepage: https://alt-ergo.ocamlpro.com
Standards-Version: 4.6.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, libcmdliner-ocaml-dev (>= 1.1.0), libdune-ocaml-dev, liblablgtk2-ocaml-dev, libnum-ocaml-dev, libocamlgraph-ocaml-dev (>= 1.8.5~), libpsmt2-frontend-ocaml-dev, libzarith-ocaml-dev, libzip-ocaml-dev, menhir, ocaml-dune, ocaml-findlib, ocaml-nox (>= 4.04), ocplib-simplex-ocaml-dev (>= 0.4)
Package-List:
 alt-ergo deb math optional arch=any
Checksums-Sha1:
 da1ce7d8ffd965a0df07f1b519339be90d7c901c 2884553 alt-ergo_2.4.2.orig.tar.gz
 2fec6830077da054539bf7b6f9dc1b454962890b 7076 alt-ergo_2.4.2-2.debian.tar.xz
Checksums-Sha256:
 db19139286b82bf15a4ec0f838c2da7df6ab7b68c15a90483a5c2eb8f8c4be38 2884553 alt-ergo_2.4.2.orig.tar.gz
 a829c589dde4d8f82af9ec54fc0d32295758882f7459f655f42eea2b8857edac 7076 alt-ergo_2.4.2-2.debian.tar.xz
Files:
 c47327ae132c860890c820bfd5d49d51 2884553 alt-ergo_2.4.2.orig.tar.gz
 4d4f9d56a49f260ddabd23b0b615f592 7076 alt-ergo_2.4.2-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLu13ASHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRy20P/RD0Hfxm/enuAVyt/+gC4hd1eCQFKP5E
sJo2hQ0vvZfAokVGJPMi4y7EbnGe3eqWL2UVq7vf9niVQbeh/rTvzNdrR0I659Jh
Ltbi1bW74ioMBQbO6RSh3Zf5nIk4YSF1xVPOixJidDmgw2wjwsevWacJKIxoUFKi
wOlGstZCdFXgmVCI+YhHis2hCoYxNTGAVqpVPyH5ouDNkrrIo0u8/NLrh0cb4iut
Dv7HpaQu3VhN7sV7bnSGthHEBWmQYfH+y/EPHOy0p9M5fJMsQS+w6bY/tLP0VcKT
aiOXISpEb4cacNeaLMSxXYzGqtWIjoh+/v6OfBUhcimhVBX2eKt/AUfBYDli+SqP
mLmzml63mUWaPPfa3BBBQWnwNgaWNC+Uuqvx9XuJjHQwIePYaWot9fnAbGMC9cmO
OrKv/tv4KPxZAOlu4RS3AUN5qTCtqa2Gnun4ds4LrYntEQ15qn5SMwjL6yqCloc2
gv9tWwxCIvg0uTkRBJZG2ITs5WQmnOguBjYtL6/ksoHi7LUs2Y4CjyhFHbjXRy7f
wlnuP3ta+7JdoLIk52lbNkZkm2CocS5evRrPc568leK/fa7wUNwaz+a8BdRvgSeq
zjzwdR2QgCt7JQqov0x3+3NzunZhBE9YvGAT3mRhaCCzOPce8QlMn07rStLf2sqn
Z2MEHYWBvtKN
=86IZ
-----END PGP SIGNATURE-----