-----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 <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
 ecea01f4a7ab42e7fae84f4062a711b148997a99 21852 eprover_1.0.004-1ubuntu1.diff.gz
Checksums-Sha256: 
 786398d799ca919b728898b53bdfdfaab7853c39d4ab9427c12890ba6d244445 1367348 eprover_1.0.004.orig.tar.gz
 34cf4f10345a73a7a02edffd1773a7d379bcbe1f2d582d078275fb9e1b6c46ec 21852 eprover_1.0.004-1ubuntu1.diff.gz
Files: 
 ed52b352fc0c2efe2f62c7f0d14cb5a1 1367348 eprover_1.0.004.orig.tar.gz
 e62ed0e67b04345911ce5721eb7b8251 21852 eprover_1.0.004-1ubuntu1.diff.gz
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>

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

iQIcBAEBCAAGBQJKHbx7AAoJEIUYeTDXKFvzy3YP/2nRj6Y4XwynsZ1qgA3ptLiw
x0hCCRvGxYiy/x/ga8At5elTOutpSyedTuyoPNmgOaYLWnCpqjZbkjeV4ZLN2PH/
PjgtpI3Hfg0h4mVpR/GH8rJML0TrE/vC9ywnNSRUMXNgSkakKkJmCosjjIp75xgy
iI5zVP22umvmagBUD9A99e9zWrDJ1gu5Z636l2eRV65vFHSQXdUF/227M6/LQSBx
Qjb1p08WjtVxyFSsVoly1Ks+qxGrrpe/NUrbMv6RGY0PqamEbGhZIZLKWUXk62Ok
ruVaCg4suSdGdWJnRjF6QJgb/PTdZeRlk0wPhkOaUGM3xORwAtEVEj70TRaX7xgc
4U/UXT1Jm7hF8dOi/Ajj+s7qy240Mh1o3/h7izfalDgKJWTpqXbq7jOr/xeQKhj3
FE+3LiAiKvNoJdah056UFMJN/a1qECWS6aQAT5UgN/8Vc2KgWw+EhRpWI/zPDHWo
DBHjQWsBvwD9HRjNVBksl2PWnvuLgZhdrE++pAzWJkqvM/JRJlMfhBWniW0/OoFt
OWNPD5g8ULH0iiCNNsWpsF9hwBg1BaQonvyyU8cBd8k9dhMO2rFxb4UMWMcrVRCu
wB59zCWobJMqdPh13FwguqpSD6ARCLpBHeQ07QdscYWdhvdPt7f9mNIIScmlCWJm
2t08b1/nEEihUCASGlX2
=AL4+
-----END PGP SIGNATURE-----