Accepted eprover 1.0.004-1 (source all i386)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Tue, 03 Mar 2009 15:03:06 +0100
Source: eprover
Binary: eprover eprover-examples eprover-doc-html
Architecture: source all i386
Version: 1.0.004-1
Distribution: unstable
Urgency: low
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Petr Pudlak <deb@pudlak.name>
Description:
eprover - Theorem prover for first-order logic with equality
eprover-doc-html - Theorem prover for first-order logic with equality - HTML doc
eprover-examples - Theorem prover for first-order logic with equality - examples
Closes: 516545
Changes:
eprover (1.0.004-1) unstable; urgency=low
.
* Initial Debian release.
Closes: #516545
* Created man pages using help2man.
* Adjusted the Makefiles to
- install into $(DESTDIR) directory;
- to handle dependencies between source files in a more transparent and
efficient way - instead of generating Makefile.dependencies by the build
scripts, let 'make' generate .d file for each .c file as needed;
- not to modify source files in place - instead of modifying Makefile.vars,
put configuration into a new file Makefile.cfg;
- not to build development tools - the build scripts modify them in place
and they are not needed anyway for the package.
* Added 'test' target to Makefile to test that eprover binary was sucessfully
compiled and works on a sample problem.
* Added 'html' target to DOC/Makefile that builds HTML documentation using
tex4ht.
* Adjusted for the DebianScience GIT repository.
* Refined dependencies in debian/control, checked with pbuilder.
* Update 'clear' target in DOC/Makefile to clean some files left after
tex4ht.
Checksums-Sha1:
84541d18fdf9c4829b34b638bda3a76a401e781d 1420 eprover_1.0.004-1.dsc
b8974ea523f4d580d81ed2127471758c17e4d10b 1367348 eprover_1.0.004.orig.tar.gz
0373c7a0f1a09ba37cf8f26e87edd18764a44fb8 21597 eprover_1.0.004-1.diff.gz
30b7313cceefde709e04cb2bb1f06bea53c22098 191558 eprover-examples_1.0.004-1_all.deb
8b7ac61b0f3159755f33532b087402671c802710 61294 eprover-doc-html_1.0.004-1_all.deb
4f748fa5bde9a6d9163ceda9891f0e5e632e15df 931706 eprover_1.0.004-1_i386.deb
Checksums-Sha256:
18503dbb7c3d7b20998cb8e4c7b2842c98001b81fb00f24d98a92f826539cf83 1420 eprover_1.0.004-1.dsc
786398d799ca919b728898b53bdfdfaab7853c39d4ab9427c12890ba6d244445 1367348 eprover_1.0.004.orig.tar.gz
f750cb20d8eccb497c46580e768d8902a5459ddc6b16c5c470cd472f16919815 21597 eprover_1.0.004-1.diff.gz
1b3c28eaa40b7493c784e79d1e362b56217786c05dc2092ebba23f4e43d5e2bc 191558 eprover-examples_1.0.004-1_all.deb
0c6ed806e9eb368209c700f3ac76795ff1d38396b3e925c64bb9b497f539864a 61294 eprover-doc-html_1.0.004-1_all.deb
0ac5864092d9b97c5b204b80e2ff028601ba730a94167d093f5ead3a68f313c2 931706 eprover_1.0.004-1_i386.deb
Files:
d774c639ce522f53747f6fd376d37c0f 1420 science extra eprover_1.0.004-1.dsc
ed52b352fc0c2efe2f62c7f0d14cb5a1 1367348 science extra eprover_1.0.004.orig.tar.gz
deac4ce1990ead6c34ae30b5381b29c7 21597 science extra eprover_1.0.004-1.diff.gz
303ffc20980cc53ea6b8b8a5c6852998 191558 science extra eprover-examples_1.0.004-1_all.deb
48bc9738f7fe3b3a3dc74720a9876b20 61294 science extra eprover-doc-html_1.0.004-1_all.deb
589de4893b9b9b94db08aa26597a4ccb 931706 science extra eprover_1.0.004-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iD8DBQFJtNdQYDBbMcCf01oRAgirAJ9aNY3ot8zzrB8s++k2p579yRNHGACfXcpT
4qiq5XVSPmyOdINjxTtU3eY=
=MWGH
-----END PGP SIGNATURE-----
Accepted:
eprover-doc-html_1.0.004-1_all.deb
to pool/main/e/eprover/eprover-doc-html_1.0.004-1_all.deb
eprover-examples_1.0.004-1_all.deb
to pool/main/e/eprover/eprover-examples_1.0.004-1_all.deb
eprover_1.0.004-1.diff.gz
to pool/main/e/eprover/eprover_1.0.004-1.diff.gz
eprover_1.0.004-1.dsc
to pool/main/e/eprover/eprover_1.0.004-1.dsc
eprover_1.0.004-1_i386.deb
to pool/main/e/eprover/eprover_1.0.004-1_i386.deb
eprover_1.0.004.orig.tar.gz
to pool/main/e/eprover/eprover_1.0.004.orig.tar.gz