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

Format: 1.0
Source: eprover
Binary: eprover, eprover-examples, eprover-doc-html
Architecture: any
Version: 1.0.004-1
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
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
 0373c7a0f1a09ba37cf8f26e87edd18764a44fb8 21597 eprover_1.0.004-1.diff.gz
Checksums-Sha256: 
 786398d799ca919b728898b53bdfdfaab7853c39d4ab9427c12890ba6d244445 1367348 eprover_1.0.004.orig.tar.gz
 f750cb20d8eccb497c46580e768d8902a5459ddc6b16c5c470cd472f16919815 21597 eprover_1.0.004-1.diff.gz
Files: 
 ed52b352fc0c2efe2f62c7f0d14cb5a1 1367348 eprover_1.0.004.orig.tar.gz
 deac4ce1990ead6c34ae30b5381b29c7 21597 eprover_1.0.004-1.diff.gz

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

iD8DBQFJtNZhYDBbMcCf01oRAj7tAKCSkgAQQoh3//Cb7Mewn9QNvEtGQgCgvu36
v2v5u6HERNOcFcpy7s/E/+c=
=KSMY
-----END PGP SIGNATURE-----