Change log for eprover package in Ubuntu

eprover (3.2.0+ds-1) unstable; urgency=medium

  * New upstream release.

 -- Julien Puydt <email address hidden>  Mon, 17 Jun 2024 08:01:15 +0200

Available diffs

• diff from 3.1.0+ds-2 to 3.2.0+ds-1 (4.2 KiB)

eprover (3.1.0+ds-2) unstable; urgency=medium

  * Move executables to /usr

 -- Julien Puydt <email address hidden>  Tue, 11 Jun 2024 09:51:19 +0200

Available diffs

• diff from 3.1.0+ds-1 to 3.1.0+ds-2 (354 bytes)

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)

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-1ubuntu2) oneiric; urgency=low

  * EXTERNAL/Makefile:
    PROVER/Makefile:
    - Make sure to link against libm properly. Fixes FTBFS. (LP: #770977)
 -- Daniel T Chen <email address hidden>   Fri, 16 Sep 2011 17:49:10 -0400

Available diffs

• diff from 1.0.004-1ubuntu1 to 1.0.004-1ubuntu2 (796 bytes)

eprover (1.0.004-1ubuntu1) karmic; urgency=low

  * debian/rules: fix FTBFS in all archs except i386.  (LP: #381092)
    changed "build:" target as it makes build documentation for all archs.

 -- Andrea Gasparini <email address hidden>   Wed, 27 May 2009 22:48:37 +0200

Available diffs

• diff from 1.0.004-1 to 1.0.004-1ubuntu1 (727 bytes)

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.

 -- Ubuntu Archive Auto-Sync <email address hidden>   Wed,  29 Apr 2009 16:14:28 +0100