The following commit has been merged in the master branch:
commit 7bd6a2978cf581eb3e06212e425071539dc0514b
Author: Pierre Chambart chamb...@crans.org
Date: Sat Nov 19 14:26:54 2011 +0100
Fix version number in changelog
diff --git a/debian/changelog b/debian/changelog
index 5e672f7..cbe57e1
The following commit has been merged in the master branch:
commit e2af2953fb5fb53b8a8ffc76a52ef9cd08697a25
Author: Pierre Chambart chamb...@crans.org
Date: Sat Nov 19 14:26:40 2011 +0100
Update copyright file
diff --git a/debian/copyright b/debian/copyright
index a621e87..10abff6 100644
The following commit has been merged in the master branch:
commit 6573decce3a8b606699acb2dce914ec5642036ee
Author: Pierre Chambart chamb...@crans.org
Date: Sat Nov 19 14:22:01 2011 +0100
Remove old patches
diff --git a/debian/patches/0001-Do-not-force-.opt-compilers.patch
The following commit has been merged in the master branch:
commit b744d4d854865ddecbc038bf7b2ec20bfcd7f4ff
Author: Pierre Chambart chamb...@crans.org
Date: Sat Nov 19 14:26:26 2011 +0100
The deriving binary is no longer provided
It was a camlp4 with pre-linked deriving, and has
The following commit has been merged in the master branch:
commit 7b15d590957693075dcfc671d083907686acd96a
Author: Pierre Chambart chamb...@crans.org
Date: Sat Nov 19 14:28:00 2011 +0100
Update build-dependencies
diff --git a/debian/control b/debian/control
index f8714dc..f83c893 100644
5 matches
Mail list logo
