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

Format: 3.0 (quilt)
Source: alt-ergo
Binary: alt-ergo
Architecture: any
Version: 2.0.0-8
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
 da36eb2c6beb55497d0a57012da83bcf667e4beb 7380 alt-ergo_2.0.0-8.debian.tar.xz
Checksums-Sha256:
 bb90bd62a971340c1854d24a8a650403722b4f71d2afcce797bc53e76417cd4b 353488 alt-ergo_2.0.0.orig.tar.gz
 9aa91dbe4346bde850bdb2d2b4f1178a7367485c98d3c3cfce0b59b19ca5b43d 7380 alt-ergo_2.0.0-8.debian.tar.xz
Files:
 e390c96bcac7c54a5949ad36611412ef 353488 alt-ergo_2.0.0.orig.tar.gz
 fed3bd86dcad939470c7da405c218585 7380 alt-ergo_2.0.0-8.debian.tar.xz

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

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAmF5qkEACgkQdFxHZtTK
zf+gNg//X4++GiIxyLsyIV8hC14Vn68fG5F89tK4GX+H59CE8btoJ9NoqNKzrjpb
2d2wL+FVKAWbkhLjp+HEdHWOWETrmyvKoOhxTZU2gc728gyHMQ/rLNr9EGd79PKW
e4Im8vfXqxewdFFzTL7jFZy043fUQWYBilJEkIB1rWfKY2inTxeNpqLD175t8RJG
h331ihA2TKbKvZwl58vku669unoJP5jIjDQx03l1qq9Ur7szPi14qVCl6Z/UC7bp
gdup/2LcoQrjdyAaWkRiTaSV91S7pwtBa/h+OfaLfMUbHdpmdr6I7ltPuYtFG0h0
ymAjxVR1vvd2LZd0to2pYfJdbBALoNszyRbfnTST8hAB8VIbgS1ybtAkQvQCozHx
FPnRix5QEYTdvDp19Kz670BLCWoZlxkTHSXlL3774VSs1/0SX40yCVG1MCPYmUD8
a/finkjF9MP/fUwx3BiZDRsbs70vo6EnOUDTGb9mXkUpTrt1bzsR1vE8UOySOxrl
FnMuU2/Vpwqd6TAem+1DYokHhKX3sBSjrLm4ELyM7iL2WvNl2NcO0h0cexQzPXMs
gRr+idjg4+zE++Jw+pyBdDOqVk2OHzwlPy6OQC5SkRHZu+MXH3dHJ31RkymdZmkG
W4GrPuZwCw/qp1Z0QraDANSSydZult6db7lX6RozzmlujN364Gk=
=MDm3
-----END PGP SIGNATURE-----