-----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
