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

Format: 3.0 (quilt)
Source: alt-ergo
Binary: alt-ergo
Architecture: any
Version: 2.0.0-6
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.5.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 (= 12), dh-ocaml (>= 0.9.0~), 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
 ddfba2473b734057d062be957069ef8d10bad642 7080 alt-ergo_2.0.0-6.debian.tar.xz
Checksums-Sha256:
 bb90bd62a971340c1854d24a8a650403722b4f71d2afcce797bc53e76417cd4b 353488 alt-ergo_2.0.0.orig.tar.gz
 e100772ab298c1d9e3f2bad4844a2e8fcfc038628ad0082a770aef009c224319 7080 alt-ergo_2.0.0-6.debian.tar.xz
Files:
 e390c96bcac7c54a5949ad36611412ef 353488 alt-ergo_2.0.0.orig.tar.gz
 1e6a1dbb455e565f98878d1578b51079 7080 alt-ergo_2.0.0-6.debian.tar.xz

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

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl6WvpwACgkQdFxHZtTK
zf+dxw/9GzwSVzzmHAj63IIq9tpMdeRFiS3bYRWQwWqvl1BjvNXiw56bA8oQFUGA
5XhNDTLAI1ohpHsQkUO//XnBKtlcxrfgl0ZzUqNf6t+985g0OmKt3gh/2hwBvOQQ
A5Dr90A+T1Str1kD6m5gxd49QH0g/PuDDLMUX7BR2l2ujQUA1+NvVytl5p6we6G/
LQwxfYsg1jWLOaPBo76C+elwSvpnKmUFP/AepFklblwJCs5af4phlJPzEmty+2AT
gt8jB4Hi2RkWrRaMxDSXvzun7QRGlUCnomhBDdslV7P+iRJhbYEMeaMA5znrKbhG
HmXFbTtvpVBPUBOYIWWFuryFU3VX5keXYPsYz4Pbp8kOHB1+60+6iQd3LFtikjan
kvfygsEr8kSIxs6zmgUKkp7TQNFvH156spmnlFhQVSfaP1j0flQL9DKvYvyKCfjc
Bi/sSLhR+N8+E0VKWiL41O0t4GlO1kzf4tJklsDVy/m4N5ACYf+31YsOStzDqqI1
91vzTGpSRHZ7HmiGPafHOTGoP4+TwqBF4eSau3WQgy8dRguRX4OGV00cTJpVX4/Q
8TbImRzgYCZlbYYV5QmBh27hSgvYh3vTMILgwJlfg9F3Km7AzsuO5f+hUtRFP2PQ
bzO1oEZUFsSZQ4lbvMwA/J6+kmafFmCgU3X5T8CR1ue2Pn2BuAE=
=Mp1j
-----END PGP SIGNATURE-----