Change log for eprover package in Debian
1 → 5 of 5 results | First • Previous • Next • Last |
Published in sid-release |
eprover (3.1.0+ds-1) unstable; urgency=medium * Drop unused patch to simplify the Makefile. * New upstream release. * Bump standards-version to 4.7.0. * Refresh patches. -- Julien Puydt <email address hidden> Thu, 02 May 2024 15:58:03 +0200
Available diffs
- diff from 3.0.03+ds-1 to 3.1.0+ds-1 (20.4 KiB)
Superseded in sid-release |
eprover (3.0.03+ds-1) unstable; urgency=medium * New upstream release. * Refresh patches. * Fix clean target (Closes: #1044847). -- Julien Puydt <email address hidden> Tue, 12 Dec 2023 15:15:05 +0100
Available diffs
- diff from 2.6+ds-3 to 3.0.03+ds-1 (742.0 KiB)
eprover (2.6+ds-3) unstable; urgency=medium * Complete d/copyright again. -- Julien Puydt <email address hidden> Wed, 13 Jul 2022 23:52:46 +0200
Available diffs
- diff from 2.6+ds-2 to 2.6+ds-3 (540 bytes)
eprover (2.6+ds-2) unstable; urgency=medium * Complete d/copyright. -- Julien Puydt <email address hidden> Sun, 10 Jul 2022 23:07:35 +0200
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. -- Petr Pudlak <email address hidden> Tue, 03 Mar 2009 15:03:06 +0100
1 → 5 of 5 results | First • Previous • Next • Last |