The following commit has been merged in the master branch:
commit 4a1335ac502ef0b55e063e24589d0a28b3fa9c5c
Author: Stephane Glondu st...@glondu.net
Date: Sat Sep 22 09:30:09 2012 +
Fix FTBFS without natdynlink
diff --git a/debian/rules b/debian/rules
index 792a1d2..cf66ba3 100755
---
The following commit has been merged in the master branch:
commit e1355f4a0c3a7b6a0e962910a4eb16e7d5367108
Author: Stephane Glondu st...@glondu.net
Date: Sat Sep 22 09:33:12 2012 +
Update changelog and prepare upload to experimental
diff --git a/debian/changelog b/debian/changelog
The following commit has been merged in the master branch:
commit 9baf61b5bda83f3f270c4053b4a88de828cbeb7f
Author: Stephane Glondu st...@glondu.net
Date: Sat Sep 22 16:07:09 2012 +0200
This version requires a bugfix in Coq
diff --git a/debian/control b/debian/control
index ceea267..70fd50d
3 matches
Mail list logo
