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

Format: 3.0 (quilt)
Source: alt-ergo
Binary: alt-ergo
Architecture: any
Version: 1.30+dfsg1-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: 4.1.2
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:
 6e9cc2b5cd31933fc4e40090b79bf714af4f4cf3 264224 alt-ergo_1.30+dfsg1.orig.tar.gz
 195f099664252ed356283d1c0db34df7e0d913e1 14672 alt-ergo_1.30+dfsg1-1.debian.tar.xz
Checksums-Sha256:
 a9846a2dc56bfc89bea99105c277d2f80cfee1ad861df2e92728ec6379465b51 264224 alt-ergo_1.30+dfsg1.orig.tar.gz
 cebdd6f6e159c4e68e4363de0cc1c72c842b61a8accf76ff1956b6d1a31982b4 14672 alt-ergo_1.30+dfsg1-1.debian.tar.xz
Files:
 bec46dfaddd266dfe4d7b8534221afef 264224 alt-ergo_1.30+dfsg1.orig.tar.gz
 fb1a6ab2c7969218ad7b9de11c547297 14672 alt-ergo_1.30+dfsg1-1.debian.tar.xz

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

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlo8CDQACgkQdFxHZtTK
zf+QHw/+PM7zIK6k0uNg4qNlhHnPL84MLxeQDP8LGWroYraBmi+i0PXfpOF0cenV
r6zLFxMUwyBVcpuAxhD9ZV3StSfv8uFPUoQNIXV+n/7wVY+NxQqPGLqduVLSMd5Y
2Hxk/1Du37SEsdbEoSsm86nR/IcbH1PCCgL/TbuCqpzEKjohWuhlTRV/VERBLq56
eEykvOxIZSrlifVtwg4WcgQSgmE3vO8yNNNi3CvPtuTmvjp4jZNL770iGF1px5YP
2QdaOIMTAfjM6Pa5oac+FwsXDqtcZW5IzUkBcPoUvzZwcA9nDP0fvK/2oV5BJjuA
7lNEe7VFPl8jwm1uk2hmqCfj9yC3SbuYzGIx3Sh51NJ00/GkU54mo8WaASr5X1a2
51xcR1ktYHdw43HCP18rjsHnv1WJH5saS+i5RE+Qk+PE8Ukx7dMKrP7LHlO/Ot87
B+oRgdDVZpCZ/TZ7Y5JHm8twN9FFx+AxkPqqbxVj2BuOUlRgW8zxGZnVba3hWM9J
1trCeOly++T6WJONCRY5exCqWxCWRK+EWNFWWcDQ0h3cTL6yKrf4DLVE9o/5Br8h
sUjL6IqU13gTLYkg3sn8CIIYMaxR+CDZxRVQ4l+g4IMVOp9XrnD+Nr7mHf9Ax2qo
uR4tEkMrp4OCBfIlRI6zlmUx5KnlMcQJPtWoFu+JOzr6xUiR5WY=
=Ff5V
-----END PGP SIGNATURE-----