The following commit has been merged in the master branch:
commit bd9137bfbe4c573f5780e6957248157a9a08dcbe
Merge: c1151c393a3f31303e2611388c99ca2ea66352dc
2204ea29520b9d51efcd7ce9b9bcdac525b8b79d
Author: Stephane Glondu
Date: Tue Apr 19 23:12:52 2011 +0200
Merge branch 'sid/master'
diff -
The following commit has been merged in the master branch:
commit c1151c393a3f31303e2611388c99ca2ea66352dc
Author: Stephane Glondu
Date: Tue Apr 19 22:30:24 2011 +0200
Update changelog and prepare upload to unstable
diff --git a/debian/changelog b/debian/changelog
index ed24107..7728e9f 10
The following commit has been merged in the master branch:
commit 2204ea29520b9d51efcd7ce9b9bcdac525b8b79d
Author: Stephane Glondu
Date: Thu Mar 10 22:17:56 2011 +0100
Rebuild with new coq (no changes)
diff --git a/debian/changelog b/debian/changelog
index 6b46f95..87778c3 100644
--- a/deb
The following commit has been merged in the master branch:
commit 42003df9297f97d119bb98b11052192adebf5fed
Author: Stephane Glondu
Date: Fri Feb 11 18:25:09 2011 +0100
Ignore .pc when scanning for .v files...
diff --git a/debian/rules b/debian/rules
index ea9f1e8..debe960 100755
--- a/debi
4 matches
Mail list logo