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

Format: 3.0 (quilt)
Source: alt-ergo
Binary: alt-ergo
Architecture: any
Version: 2.4.1-4
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Mehdi Dogguy <mehdi@debian.org>, Ralf Treinen <treinen@debian.org>
Homepage: https://alt-ergo.ocamlpro.com
Standards-Version: 4.6.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 (= 13), dh-ocaml, libcmdliner-ocaml-dev (>= 1.1.0), libdune-ocaml-dev, liblablgtk2-ocaml-dev, libnum-ocaml-dev, libocamlgraph-ocaml-dev (>= 1.8.5~), libpsmt2-frontend-ocaml-dev, libzarith-ocaml-dev, libzip-ocaml-dev, menhir, ocaml-dune, ocaml-findlib, ocaml-nox (>= 4.04), ocplib-simplex-ocaml-dev (>= 0.4)
Package-List:
 alt-ergo deb math optional arch=any
Checksums-Sha1:
 0c2430c40fcb5acdda9c8cd5ad56705e7e3b0005 2883046 alt-ergo_2.4.1.orig.tar.gz
 bf110ad335b00ee9e78ac1958dd6b3c06369bb6e 8112 alt-ergo_2.4.1-4.debian.tar.xz
Checksums-Sha256:
 ea107a30d563c969b7aa73ea556710cae9e5be9b05d12100a2665f14803eb45a 2883046 alt-ergo_2.4.1.orig.tar.gz
 ef711d0e7ce3452433b7cb5c49bddeb902e4a483d2ade2246c608830761f78a8 8112 alt-ergo_2.4.1-4.debian.tar.xz
Files:
 35d6c6f3fa43bcd10fe7f524b1eb59ca 2883046 alt-ergo_2.4.1.orig.tar.gz
 e8bc150888341f45e2923f47984b26ba 8112 alt-ergo_2.4.1-4.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLClykSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRtZsP/3LYYF8xwHx4jiJuQbRbswOf7qGcX4NC
56qZ+Jre6bEotFX2JW2jor3lAjhtssqU6HoELLW6MHTingxOlY3AaHw0qEwRuyWp
7bw16+dXHCEUbCPYiMFFQr+mdeW+ehriBMqrKNtjyBnDmo7zOeoO9obXPeQN08Fv
LjnQG+vpOyTO6nkiuJTTSTU4Rke1ViuIibmsQG6YJGuJxO6gPBhzv/8NzCt4xtzP
xCzX7GZBgY+B4rBCpiW+LOYx806pPIFSC+ICiG3BXhBwoY3spOXTyx/NJewipQIT
wLOOOw4ihDbweNFg5NVt7T8dG7Hw6cUgsXgGclEcHa/vM/Aq9hNwlw4H3d2IIXZk
xtTfTcIzLoQrBE9cK9g4IVlVw/YkSBpLBXW9a+gqDNk6oRTrC9IeWwtmJFXeBH33
lunEtOiU5Ta7prn5OIb/8W3r3psMH5Mc+NxVdlh9i6aBvl/Ng93ya4z4bOe3RErB
DAy0aiFjLm8hme5Qazdvq7JDyAdOYBJ+qgrJnVx/nONznynQGCmFBeFlJV4nEbJc
a7crFrysUZvYOJ6jegPZHIBY02iCPcNLRyqinxYYPprDbEjEnK1l4m3a4coO8585
BetC042xhkKMVl05lr2bCxkcTTvTKNPevxMzs4kNaLWj26CQJU/yeYHCiVBubHdq
4X2uMC8z/jvt
=tx4M
-----END PGP SIGNATURE-----