[Pkg-ocaml-maint-commits] [SCM] hol-light packaging branch, master, updated. upstream/20120312-14-gf05c0c6

2012-03-26 Thread Hendrik Tews
The following commit has been merged in the master branch: commit f05c0c6a54253ff91946c169edd991fb288b5700 Author: Hendrik Tews Date: Mon Mar 26 10:04:01 2012 +0200 reenable test diff --git a/debian/test-hol-light b/debian/test-hol-light index a586668..958682c 100755 --- a/debian/test-hol-

[Pkg-ocaml-maint-commits] [SCM] hol-light packaging branch, master, updated. upstream/20120312-14-gf05c0c6

2012-03-26 Thread Hendrik Tews
The following commit has been merged in the master branch: commit 581ef954ad1b23547a2b3d8bd70ae489bb3e7d28 Author: Hendrik Tews Date: Mon Mar 26 10:00:32 2012 +0200 adapt to new upstream version - changes license - removed unnecessary chmod diff --git a/debian/changelog b/debian/ch

[Pkg-ocaml-maint-commits] [SCM] hol-light packaging branch, master, updated. upstream/20120312-14-gf05c0c6

2012-03-26 Thread Hendrik Tews
The following commit has been merged in the master branch: commit 17cad3ebc2c302af8d10c0e293564d3ab533cc10 Merge: c82df05722dfeebff899ae1d4b0a6f5bdc15054b 92ab62bede778dd0c4109e8ebb69f49436af325e Author: Hendrik Tews Date: Mon Mar 26 09:37:39 2012 +0200 Merge commit 'upstream/20120322' -