-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: alt-ergo
Binary: alt-ergo
Architecture: any
Version: 2.0.0-5build1
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: 4.3.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), liblablgtk2-gnome-ocaml-dev (>= 2.14.0+dfsg-2~), liblablgtksourceview2-ocaml-dev (>= 2.14.0+dfsg-2~)
Package-List:
 alt-ergo deb math optional arch=any
Checksums-Sha1:
 594a9fd98182c47155206f3e358ef27b7f30b059 353488 alt-ergo_2.0.0.orig.tar.gz
 0034b01374b5ed43ab9cdb78de1138395e3ade26 7140 alt-ergo_2.0.0-5build1.debian.tar.xz
Checksums-Sha256:
 bb90bd62a971340c1854d24a8a650403722b4f71d2afcce797bc53e76417cd4b 353488 alt-ergo_2.0.0.orig.tar.gz
 eef6ae032d23f5150ca85579ec0ec7be5bd5399c38810f62937883e9b3ae55ca 7140 alt-ergo_2.0.0-5build1.debian.tar.xz
Files:
 e390c96bcac7c54a5949ad36611412ef 353488 alt-ergo_2.0.0.orig.tar.gz
 cab0aed52ccbec3219aec5c40e95b782 7140 alt-ergo_2.0.0-5build1.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAl5P+58aHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz06TxAAuyPrGq6cXlH3n97ICir3
ahY4xhrit8HRZ0qk28w8pL1PHehTdD87JOH8RiEyxw083y6O7qKMwwM59C/bdzIU
wLkPQzm5qOA2PGg5zoCw93H/HJ87Qh53/UUuT2MdnnIcEzIFg9/6UFJ51dUmxZ7v
QBDra2u8mG61GVbv2g7VSVbGgLideGJ6EPXLcSV8/J6Rn6TzKx0/SZ6pikoBE0Eu
YW13OLuFaHKf3ge7M3zawVa7TFP+Ese7Wo5SrTk9sio535ht/+ace80mztQ4AEJm
FfK9/JS3az3px6DXAS2no3dKVMgLZ/XiUQO39dy7NvRnWf7Kltgsw6FXhtsGFOLc
xt971ieDDOH1Tioava8vgZyhYwWDAhnhYTbYucOzrE2MXtHPj9J5RR48eDzh4ozF
ZSdlmTd9T3v9+kygirVMXQN8BtHXPuRVHDeVJ7sz9hdPV9KOnPn3SzBWCDOVSHgG
mv6uTfYvrKUgUqgqIxYN7qUrxpsVrZmjbhD9Tw+tAM4702LAuId+hNl1QwTh5LiS
SqRj/TTbxsv2F2RgCi15NQVebEfke2zY/jrh+F2DCShtYruIS3wx69Jab7DQf2Rb
f6aMiK3IURYonOnsG12ONlCKhb5QMXrjLDtUPHFUwINWYwHE3Jkhm0G4HPJX2SYG
z73Z9OYvcBkSUfqn+cuhonI=
=kAyy
-----END PGP SIGNATURE-----