lp:debian/jessie/alt-ergo

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

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

7. By Mehdi on 2011-04-16

* Fix lablgtksourceview2 detection on bytecode architectures.
  - 0005-Look-for-cma-instead-of-cmxa-for-lablgtksourceview2.patch

6. By Mehdi on 2011-04-16

* Add patch to fix FTBFS on bytecode architectures.
  - 0004-Add-rules-and-targets-for-gui.byte.patch

5. By Mehdi on 2010-06-01

Fix build on bytecode architecures: "test" target should depend on
"best" alternative, and not "opt".