lp:debian/alt-ergo

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

17. By Ralf Treinen <email address hidden> on 2015-05-26

* debian/patches/series: add missing newline
* debian/control: XS-Testsuite => Testsuite
* debian/control: drop duplicated Section
* debian/control: canonical URI in VCS fields
* debian/copyright: Makefile.in => Makefile.configurable.in

16. By Ralf Treinen <email address hidden> on 2015-05-26

* debian/control: fix domain name in Vcs fields
* explicitly set the build date to the date of the last changelog entry
  (closes: #786846):
  - add patch 0003-allow-set-build-date to set the build date in the
    Makefile in a variable
  - debian/rules: pass the correct value of the build date to the Makefile
  Thanks to Juan Picca <email address hidden> and Jakub Wilk <email address hidden>
  for the patch!
* rename patch 0001-dont-activate-debug-flag to be consistent with other
  patches

15. By Ralf Treinen <email address hidden> on 2015-05-04

upload to unstable.

14. By Mehdi on 2014-04-27

* Remove previously introduced patch since relevant API change
  has been reverted in OCamlgraph 1.8.5.
  - Remove 0002-Port-to-OCamlgraph-1.8.4.patch
  - Build-Depend on OCamlgraph >= 1.8.5~.

13. By Mehdi on 2014-03-30

* Port to OCamlgraph 1.8.4 (Closes: #743072)
  - add 0002-Port-to-OCamlgraph-1.8.4.patch

12. By Ralf Treinen <email address hidden> on 2013-11-17

* New upstream release.
* Update debian/watch, now points to ocamlpro site.
* Refresh patch 0001-No-need-to-activate-debug-flag.patch
* Drop patch 0002-Do-not-run-the-test-if-test.mlw-is-absent-and-use-be.patch:
  the file test.mlw is no longer relevant.
* drop patches that have been applied by upstream:
  - 0003-Fix-a-typo.patch
  - 0004-Add-rules-and-targets-for-gui.byte.patch
  - 0005-Look-for-cma-instead-of-cmxa-for-lablgtksourceview2.patch
  - 0007-Fix-all-target.patch
  - 0008-Split-install-pack-into-two-separate-targets-opt-and.patch
  - 0009-clean-remove-META.patch
* Add build-dependency on libzarith-ocaml-dev
* debian/rules:
  - drop backup of .depend which is no longer needed
  - drop overwrite for dh_auto_configure
  - in dh_auto_build target, drop touching of configure
* debian/copyright:
  - update Download field to ocamlpro
  - Upstream Contact : add alt-ergo-bugs mailing list
  - Update copyright holder and year for files *
  - Put paragraphs into the right order
* install examples/ into /usr/share/doc/alt-ergo
* Standards-version 3.9.5 (no change)

11. By Ralf Treinen <email address hidden> on 2013-08-24

make libalt-ergo-ocaml-dev conflict and replace with alt-ergo (<<
0.95.1-1) to resolve file conflict with versions of the package before
the split into two binary packages (closes: #718010).

10. By Ralf Treinen <email address hidden> on 2013-05-10

upload to unstable

9. By Mehdi on 2012-05-14

* Add autoconf to Build-Depends to resolve an FTBFS (Closes: #669539).
* Setting urgency to "high" to fix the RC bug.

8. By Mehdi on 2011-12-08

* New upstream release.
* Rebase patches