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

Format: 3.0 (quilt)
Source: alt-ergo
Binary: alt-ergo
Architecture: any
Version: 1.30-1
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: 3.9.8
Vcs-Browser: https://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/alt-ergo.git
Vcs-Git: https://anonscm.debian.org/git/pkg-ocaml-maint/packages/alt-ergo.git
Testsuite: autopkgtest
Build-Depends: debhelper (>= 10), ocaml-nox (>= 3.12.1), ocaml-findlib, libocamlgraph-ocaml-dev (>= 1.8.5~), liblablgtk2-gnome-ocaml-dev (>= 2.14.0+dfsg-2~), liblablgtksourceview2-ocaml-dev (>= 2.14.0+dfsg-2~), libzarith-ocaml-dev, libzip-ocaml-dev, ocplib-simplex-ocaml-dev, dh-ocaml (>= 0.9.0~)
Package-List:
 alt-ergo deb math optional arch=any
Checksums-Sha1:
 3bcdb7a66cbcf28903ac7b2db3505c07a05075eb 380329 alt-ergo_1.30.orig.tar.gz
 96fe72635cd336eb8b123164379b66b4aff5dc07 14244 alt-ergo_1.30-1.debian.tar.xz
Checksums-Sha256:
 2fd8428323efeafe1f0a92aeaf98242f4668784567a25eac230675451653b708 380329 alt-ergo_1.30.orig.tar.gz
 30e35a3b8861dfaad0c535b2711a3c78bcef8292d7f8130c9ff5cc48da7270fa 14244 alt-ergo_1.30-1.debian.tar.xz
Files:
 c7100ebd625fbd7d3e5247dbac689748 380329 alt-ergo_1.30.orig.tar.gz
 722f5efcc0f4e27866c3e9b94fba7d26 14244 alt-ergo_1.30-1.debian.tar.xz

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

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlhO/YsACgkQdFxHZtTK
zf/FwQ//dTA74Lgg2YqPQdsYkqvlMcHpdB9abcLg0Tur4YSSlgxho8qAqVIcJzqB
jauuhivayrW3zdGwkZEhlQHhjRwUI6UuC4htyIOoMQzZcKPf6sy3hdBsz/qS39WQ
FZpHEPuCXUlGL2Dfi1QAHDLQt2lNN1/QO6FLPnbgUldevHiUbtL3MdYkp+OK/R+s
89slvXnsIWIR04kBZFZYkzDJ6CvoBMTf6ypLIcAD4IhRFXSQcwoIegfpucpDU17Z
mP6stf43FDzGxQ+NTrDqQkk0LWl5/AF6Q0zkxwku2NcoZ7N7fmJo5Fxuhj8zAx7q
Sxrto0dzR9nsupCT2UQP96bxkSByuNoeyXyoLJdCXF/8g509cJkcdMOvWrF5Ca0a
r4CzzGleqS1UEwJEziZg3PVbf2COsoqTLZTLai3ueUDrMmiezESl1QxcTHPfboW/
+G3FX9DLoZ7SxcjP0l6wmKTTfUM33JIezbcry3KvJJEkApxU8QpXHQfH7ELuS+lP
LTF9Bco26dRc3Jb8kAANN7XMYVfh1qi0pk3sWTzcuoKmddNfM+WAPYcCqxxSbIEm
g5y9PGIuGcgkrVtaqVi6T8EcpSL6iJ7aKZ5uX2G5UWxn0ZOxQd9A0eYRX5N3NiQC
oZAZzE++BT2GgT32yHJxSv3Q0LmyAfn65y1zChHlqFsxXrbsk20=
=G7++
-----END PGP SIGNATURE-----