<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: 1.0
Source: eprover
Binary: eprover, eprover-examples, eprover-doc-html
Architecture: any
Version: 1.0.004-1ubuntu1
Maintainer: Ubuntu MOTU Developers &lt;ubuntu-motu@lists.ubuntu.com&gt;
Uploaders: Petr Pudlak &lt;deb@pudlak.name&gt;
Dm-Upload-Allowed: yes
Homepage: http://www.eprover.org/
Standards-Version: 3.8.0
Vcs-Browser: http://git.debian.org/?p=debian-science/packages/eprover.git
Vcs-Git: git://git.debian.org/git/debian-science/packages/eprover.git
Build-Depends: debhelper (&gt;= 7), autotools-dev, sed (&gt;= 4.1), mawk (&gt;= 1.3) | gawk (&gt;= 3.1) | awk
Build-Depends-Indep: tex4ht, texlive-latex-base, texlive-latex-extra, dvipng
Original-Maintainer: Debian Science Maintainers &lt;debian-science-maintainers@lists.alioth.debian.org&gt;

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