The following commit has been merged in the experimental/master branch:
commit 676cc7a1dcf1634005c67f76f17390cc8fe44f00
Merge: ff61c7f8b0cbe6f0173720e08a63142a3146cc53
86535d84cc3cffeee1dcd8545343f234e7285530
Author: Stephane Glondu st...@glondu.net
Date: Mon Jun 4 12:29:12 2012 +0200
The following commit has been merged in the experimental/master branch:
commit 3a10a27a477f3df2f3f51a1011fef318ff4f5f58
Author: Stephane Glondu st...@glondu.net
Date: Mon Jun 4 12:26:25 2012 +0200
New upstream beta release
diff --git a/debian/changelog b/debian/changelog
index
The following commit has been merged in the experimental/master branch:
commit 4c3793181d62c1e4c883cea7547ee04ea423fbe4
Author: Stephane Glondu st...@glondu.net
Date: Mon Jun 4 12:28:06 2012 +0200
Refresh patches
diff --git
The following commit has been merged in the experimental/master branch:
commit c467035933a683a7b7ac214fc511604735f15e7f
Author: Stephane Glondu st...@glondu.net
Date: Mon Jun 4 14:18:02 2012 +0200
Update ABI
diff --git a/debian/rules b/debian/rules
index 4ed4e3a..d885ece 100755
---
The following commit has been merged in the experimental/master branch:
commit 9ba360bc40800295fd8f706a4d561805c2e4c8db
Author: Stephane Glondu st...@glondu.net
Date: Mon Jun 4 15:03:22 2012 +0200
Dp plugin has been dropped
diff --git a/debian/libcoq-ocaml.install.in
The following commit has been merged in the experimental/master branch:
commit 509d6d4b58f50b86ca482d49fb6b2fee7fc3dfe9
Author: Stephane Glondu st...@glondu.net
Date: Tue Jun 5 07:38:34 2012 +0200
Prepare upload to experimental
diff --git a/debian/changelog b/debian/changelog
index
6 matches
Mail list logo