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

Format: 3.0 (quilt)
Source: alt-ergo
Binary: alt-ergo
Architecture: any
Version: 2.0.0-8build1
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, 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
 0089e2a55c55e881d38db95229e635a6b32e7f2b 7448 alt-ergo_2.0.0-8build1.debian.tar.xz
Checksums-Sha256:
 bb90bd62a971340c1854d24a8a650403722b4f71d2afcce797bc53e76417cd4b 353488 alt-ergo_2.0.0.orig.tar.gz
 7ec7b9b0de4dbf89dc4586f840f398f57302fd7dedb823014879e406d31c1516 7448 alt-ergo_2.0.0-8build1.debian.tar.xz
Files:
 e390c96bcac7c54a5949ad36611412ef 353488 alt-ergo_2.0.0.orig.tar.gz
 18c7dff8fab9e19961604a2b0f383fa2 7448 alt-ergo_2.0.0-8build1.debian.tar.xz

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

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAmHxFxYQHGRva29AdWJ1
bnR1LmNvbQAKCRC9fqpgd4+m9QIoD/0VQVFuQh3YSnZ6jG6ngMgw4rPrb89uDZwp
OD87Ityg+I+QRyety4hVzJ2r6zP5F7MCC52t0mblsPijap3xX8YcyZZk438jYzwO
nJabTP78oMpSSDcKyNrth1f+W4k50MsW7CSn/ulgz53A6qgvHri16SoH0mlYcX4q
fmJr+ML05d3AzuaEQQvvLNyFwuTrKxKzqsStwtaRlYRhERLlJUJLYTNR42p7TsJ7
l79Y833YTpeTyRfkPEcGuwdNKil3pX6wYT8SbiEzC+zx9pPBXfpRyS1tdAAHkEec
/aZwuNni8zNJJo/VBEcb3e0MVEA88dFFXEWFgkaPDykagUwrYJY6rzpEOdZ2A++B
R8W9YKR2S1j4A7zSiDkOjtMiVS4a4aIA+a/MNy6qGhWr/DH3Baf8Pzt4bX2GXgaV
d/sr/5NZThQ6VDJ8IcH/zGR9MnPYLBbiCdztVEJqRmLR8s/lXc51ILL3qTCl///u
5Yrb1BMne6PnfFXqP0Rmp3/3G68tklldhCq4pD0Xz8J3HB2/A1nVsZUwKCuO1Lct
QWaofTMCMvYZzYyjMJUNCB8g3Fe10/YiL6L20wh99Gibgj4Oy7e2qdWF2X4ky8FU
O8Knfu3l8vcJEdoztQepsGayYahjPKjRu7LpItu+T0ZcqprTc+BYhINee9dAfGuv
nZP/cLB4LA==
=EMRT
-----END PGP SIGNATURE-----