Name Status Last Modified Last Commit
lp:debian/stretch/alt-ergo 1 Development 2015-05-27 11:52:26 UTC
17. * debian/patches/series: add missing ...

Author: Ralf Treinen
Revision Date: 2015-05-26 21:56:56 UTC

* 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

lp:debian/alt-ergo 1 Development 2015-05-26 21:56:56 UTC
17. * debian/patches/series: add missing ...

Author: Ralf Treinen
Revision Date: 2015-05-26 21:56:56 UTC

* 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

lp:debian/experimental/alt-ergo 1 Development 2014-12-31 13:02:03 UTC
11. * New upstream version. * debian/copy...

Author: Ralf Treinen
Revision Date: 2014-12-31 13:02:03 UTC

* New upstream version.
* debian/copyright: add Files-Excluded: non-free
* debian/watch: mangle suffix +dfsg\d*
* debian/rules:
  - override for dh_auto_clean target: call "make clean" only
    when config.status present
  - override for dh_auto_install: drop install-pack target
* update debian patch 0001-No-need-to-activate-debug-flag which now applies
  to the file Makefile.users
* new patch 0002-non-free-dropped: adapt Makefile.users to the removal of
  the non-free directory.
* Drop the libalt-ergo-ocaml-dev binary package since upstream does no
  longer support installation of development libraries.
* Standards-Version 3.9.6 (no change)
* Added DEP8-style package tests:
  - debian/control: add XS-Testsuite field
  - added debian/tests, with two test scripts on the examples installed with
    the package.

lp:debian/jessie/alt-ergo 1 Development 2014-04-27 21:42:15 UTC
14. * Remove previously introduced patch ...

Author: Mehdi
Revision Date: 2014-04-27 21:42:15 UTC

* 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~.

lp:debian/wheezy/alt-ergo 1 Development 2012-05-14 14:11:48 UTC
9. * Add autoconf to Build-Depends to re...

Author: Mehdi
Revision Date: 2012-05-14 14:11:48 UTC

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

lp:debian/squeeze/alt-ergo 1 Development 2010-06-01 22:25:38 UTC
5. Fix build on bytecode architecures: "...

Author: Mehdi
Revision Date: 2010-06-01 22:25:38 UTC

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

16 of 6 results