<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: alt-ergo
Binary: alt-ergo
Architecture: any
Version: 1.30-1
Maintainer: Debian OCaml Maintainers &lt;debian-ocaml-maint@lists.debian.org&gt;
Uploaders:  Mehdi Dogguy &lt;mehdi@debian.org&gt;, Ralf Treinen &lt;treinen@debian.org&gt;
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 (&gt;= 10), ocaml-nox (&gt;= 3.12.1), ocaml-findlib, libocamlgraph-ocaml-dev (&gt;= 1.8.5~), liblablgtk2-gnome-ocaml-dev (&gt;= 2.14.0+dfsg-2~), liblablgtksourceview2-ocaml-dev (&gt;= 2.14.0+dfsg-2~), libzarith-ocaml-dev, libzip-ocaml-dev, ocplib-simplex-ocaml-dev, dh-ocaml (&gt;= 0.9.0~)
Package-List:
 alt-ergo deb math optional arch=any

</pre></body></html>
