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

Format: 3.0 (quilt)
Source: alt-ergo
Binary: alt-ergo
Architecture: any
Version: 1.30-1build1
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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
 48939134d9704dc0d4667f2e9f6bf27def340b5c 14324 alt-ergo_1.30-1build1.debian.tar.xz
Checksums-Sha256:
 2fd8428323efeafe1f0a92aeaf98242f4668784567a25eac230675451653b708 380329 alt-ergo_1.30.orig.tar.gz
 8ad3ccb68657b086abbb0ddd8dcdd60a650dbbeaee5d458d4ec5e570bc8a5f90 14324 alt-ergo_1.30-1build1.debian.tar.xz
Files:
 c7100ebd625fbd7d3e5247dbac689748 380329 alt-ergo_1.30.orig.tar.gz
 4be32234b428db22361c774dbaf83f9c 14324 alt-ergo_1.30-1build1.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQEcBAEBCAAGBQJZWZAoAAoJEMrC2LnNLKX5BwIH/Rc4E3qhRdoHgjuSLHP3EheG
/ooHR7ngJvVEQQ5WkoUMH7cwJWApc7khAtmjeTGNaaCTRQfmw58Iivqq/g1gVoEg
nKJzcq6OY9VdSylnW6wRjFpeczK96AOkWUPOv0NaY9ChW/w45JWt0EWKE++cJJsQ
hE0Jn6OqiN7AnyhURbdaEaR+n7viLBekkzDNJRb5zng5grFYRIzlfqILiz93CPpL
Fw362oYnMxJXMZCOLuq3wTt+YQ62EPr5YhJaCwsGs4iv/NmgK7vRMRbufcG2btUv
2EvDO2WCDHayKZKi1i9tNVJqGYk0SD0F1tf9bXccner1Fpq0oLXywR2NXiVPD3Q=
=rDuU
-----END PGP SIGNATURE-----