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

Format: 3.0 (quilt)
Source: alt-ergo
Binary: alt-ergo
Architecture: any
Version: 2.4.2-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 (>= 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
 8a02c4d9ec5609a37105ccba776a3c385d43bbd3 6868 alt-ergo_2.4.2-1.debian.tar.xz
Checksums-Sha256:
 db19139286b82bf15a4ec0f838c2da7df6ab7b68c15a90483a5c2eb8f8c4be38 2884553 alt-ergo_2.4.2.orig.tar.gz
 cdd4a7fe50bea9aa21ffbd35d9d1af1303944c6925829e9a57aa6773612bdc81 6868 alt-ergo_2.4.2-1.debian.tar.xz
Files:
 c47327ae132c860890c820bfd5d49d51 2884553 alt-ergo_2.4.2.orig.tar.gz
 3914cdd9e747d20dd76911e32a295c41 6868 alt-ergo_2.4.2-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLugRYSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRTswP/R5t59i5PQB85p2m9C+ywLtb5R4pYmpJ
XcU7+Tj9alXcknuCkXujAz2P47h5NIyv2PlX3SqavheGwFhwxA6dxSh8ZarkJIOt
MExNCm8f5iVPObRsm3scbRwYl6Kh4Zyz29ImToKvry4vfkv8sz5dVgVYgwpoxQiu
b7tnZC4t7XPh57hyjJWM799uyaNoGVLn4HvUnIJVD9wtok6Ut/1R28o4Arj7Ush2
LJECbdlD8qy+4oMgrWiKhFXLUQF+S52nHfQGq9Hohs3qHzMcPkua18vFmqKd3U0t
+7rSi0qrFbzzyDRpQS78CEDJ/kbpDV43sHnlK6R1csgxUJmmGHghF0yiZ6Ej8LW1
5b8NgNb91NPTP2tMwOYm5yNnh8A+J4FtR5WHJPFQ2yOJP/8dJV89eqdj0fziZN/W
59DeZC455+mQ6UPl28HJpulwBA/8D+Me8D8iqtodhL+pUozQxcdjIeQ6nJU9Cg40
8U1y5SPC19S5YFpGrEIFHkBDIEvvrxXUscvS+SedUN+E6uhLPvnMVE/eoamKJd45
yHoLHaUQHj7l6DhaeR7wDq7kBNTGKUBzf1TfqIR/2YUgyMrQTcbcSbWC6VDpdpfH
E/1r+qgkXtygQc9MfUSdFIR5G0JjK1Oo9AJMqbkCOHTK9OGvYUyIXn7raSD5yu0E
mOv3ee8ua8+9
=OG2M
-----END PGP SIGNATURE-----