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

Format: 3.0 (quilt)
Source: alt-ergo
Binary: alt-ergo
Architecture: any
Version: 2.4.1-1
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, 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:
 0c2430c40fcb5acdda9c8cd5ad56705e7e3b0005 2883046 alt-ergo_2.4.1.orig.tar.gz
 8436e05f3faa7f5d390f4734a561127a4f97c836 7080 alt-ergo_2.4.1-1.debian.tar.xz
Checksums-Sha256:
 ea107a30d563c969b7aa73ea556710cae9e5be9b05d12100a2665f14803eb45a 2883046 alt-ergo_2.4.1.orig.tar.gz
 6305e187379e889e0b301bc7b8b6e0c6952080875bdeecbde9d49d330a17aaca 7080 alt-ergo_2.4.1-1.debian.tar.xz
Files:
 35d6c6f3fa43bcd10fe7f524b1eb59ca 2883046 alt-ergo_2.4.1.orig.tar.gz
 cd1af66df925192657adaf86ac4753c8 7080 alt-ergo_2.4.1-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJicIQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRvFQP/ipvFdnSUGZKCbs3RebXm44/1Lf34neV
LASSo9LljhaEwG/pIX5NYyiS0iHReO8D269gE+wPJS1uVg1Q4pDJBL9JGVA1Nn/g
m+KBttStExaEGGWZjEs+y0U6QfsCflBgnbg7jjbCBWi9pwCkBbzBkx8FRjNvByA8
QR5yFrCTHE6WMnQa4VJkJBG5w3uVbKo08ynDMmRE8sa8BRxkJZkIQA7Zw/rplkWm
ZLYNoGdIcWylz20trzbvdKCA9unepcxEr5vQUcxei1g4ZA6b2unOnDXGL3OusZse
cGs0m1gVhNxL07DkXmumbJeFqx7I2LR3KbV2GNZs3EFJDEnCe9g7DQK78aivSxk9
Vx8hmV175w7MgvDi2Vjj2TTK05pR/9tjItsa21VJaYFVsth9OU8w+eLyRyM01dLJ
F15v8QxswziSz7W0PglrdBY/sn2Em98VjGZxmyEH23IGpatiqLeKIvWhg9Sxpu6h
6TBdTplM86q5djzuRFsj0eHZfrO5UOEr4UC7PJw988qVzbXc076QKzMW+5G70Ynx
+qE87oOiWOCbbftkf1wpQWZXSRJ2ABYOOXFbnL8vlpwON4jxdkaLAKyRoDU1Mi+i
XN6WTiRQ1i/VbxKqiYokBBWyH+DkavnOVA+Z/d5iuu99I3UJreA+F9sS2WiPUEqY
owOiib5WCFO1
=mlmO
-----END PGP SIGNATURE-----