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

Format: 3.0 (quilt)
Source: alt-ergo
Binary: alt-ergo
Architecture: any
Version: 2.0.0-4
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.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, 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
 32f081c9008bab8961bfb8a212e1b84cd7f83c2f 6972 alt-ergo_2.0.0-4.debian.tar.xz
Checksums-Sha256:
 bb90bd62a971340c1854d24a8a650403722b4f71d2afcce797bc53e76417cd4b 353488 alt-ergo_2.0.0.orig.tar.gz
 a44a2e5fb4f99711da5de54e5b1d4f589c362d283acfca53aec1748702724aa9 6972 alt-ergo_2.0.0-4.debian.tar.xz
Files:
 e390c96bcac7c54a5949ad36611412ef 353488 alt-ergo_2.0.0.orig.tar.gz
 bad73ee5fa53958312084756938b2d49 6972 alt-ergo_2.0.0-4.debian.tar.xz
Dgit: 9f4388131d1247d9ced9d81f608ca238c3e6d945 debian archive/debian/2.0.0-4 https://git.dgit.debian.org/alt-ergo

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

iQEzBAEBCgAdFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAl1BYYUACgkQIbju8bGJ
MIEsuQf/alqpLR+rtU6hv4BqC85mC8PG1NitJo6EvN0lPu5fwmPwSjaxs69flaWB
b03GjxWd/GtfwcdNsRQgZErA1hFCxOOYhy3ZHvltdo4Mw7mKjOYrKaglMcXOeqpu
3WpJ0gKXxi+4Q241S3thdkaubpRdMxmvFxo968g76v7kyJRE53Oo7SBHB/w0iOaw
j1e4QF5lnRc/zyDsMohtEduWqMOjA/BBhZ/9ETVIDYDRnxnuz1PJR0sAYdSKH1/0
P7JPUtlL+++P+YXBFJA4Z+/yoC4cbnRn9LpzaoHTr3W6CmVgZYlUzaNZzAo92vMy
wNO9G/4L94h8hT/9xMpd4Tu7W3vidw==
=2r+A
-----END PGP SIGNATURE-----