-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.0
Source: eprover
Binary: eprover, eprover-examples, eprover-doc-html
Architecture: any
Version: 1.0.004-1ubuntu2
Maintainer: Ubuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com>
Uploaders: Petr Pudlak <deb@pudlak.name>
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 (>= 7), autotools-dev, sed (>= 4.1), mawk (>= 1.3) | gawk (>= 3.1) | awk
Build-Depends-Indep: tex4ht, texlive-latex-base, texlive-latex-extra, dvipng
Checksums-Sha1: 
 b8974ea523f4d580d81ed2127471758c17e4d10b 1367348 eprover_1.0.004.orig.tar.gz
 9818eb9d1c8b225c57f67e5b3ebbc8b04619ecbf 22489 eprover_1.0.004-1ubuntu2.diff.gz
Checksums-Sha256: 
 786398d799ca919b728898b53bdfdfaab7853c39d4ab9427c12890ba6d244445 1367348 eprover_1.0.004.orig.tar.gz
 2d33a16db1843af79e74a183c8d0457a20fc7279397443c7359a815e2cd95417 22489 eprover_1.0.004-1ubuntu2.diff.gz
Files: 
 ed52b352fc0c2efe2f62c7f0d14cb5a1 1367348 eprover_1.0.004.orig.tar.gz
 be0ea4cd16a524d30cbe9adbf6f7638e 22489 eprover_1.0.004-1ubuntu2.diff.gz
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)

iEYEARECAAYFAk5zx34ACgkQe9GwFciKvaPvOACbB0PqpdRRDuqti7jP/ruejkYs
xv4AnjKAU7kmEOyPyjLbsw5YsOf4jT0+
=7Q8T
-----END PGP SIGNATURE-----