[Pkg-ocaml-maint-commits] [SCM] hol-light packaging branch, master, updated. upstream/20120322-17-gacba4c3

2012-04-24 Thread Hendrik Tews
The following commit has been merged in the master branch: commit acba4c3a41c04c0067e1616b92d6a3c82c698843 Author: Hendrik Tews Date: Tue Apr 24 23:20:48 2012 +0200 fix copyright file - also add a patch to fix the broken Makefile diff --git a/.pc/applied-patches b/.pc/applied-patches i

[Pkg-ocaml-maint-commits] [SCM] hol-light packaging branch, master, updated. upstream/20120322-17-gacba4c3

2012-04-24 Thread Hendrik Tews
The following commit has been merged in the master branch: commit 0d5f967a75489585fe3254b0ed120ecf95972748 Merge: 18c4c605fbc2aa1f1a9093c42802d4bcd7b7dbc2 041bf445b8003f49d0701aed137dc90b77929836 Author: Hendrik Tews Date: Tue Apr 24 20:12:55 2012 +0200 Merge tag 'upstream/20120423'