The following commit has been merged in the master branch:
commit 8bff9f4ffa4e63f7fdee872bccefbf82cca72e59
Author: Lifeng Sun
Date: Thu Jul 4 16:59:19 2013 +0800
debian/copyright: switch to dep5 format.
diff --git a/debian/changelog b/debian/changelog
index 707d3b2..9c8633b 100644
--- a/de
The following commit has been merged in the master branch:
commit 5a69c120a257109e54a8984f588506a5184626d7
Author: Lifeng Sun
Date: Tue Jun 11 20:34:16 2013 +0800
Add myself to Uploaders.
diff --git a/debian/control b/debian/control
index a323012..25a25a7 100644
--- a/debian/control
+++ b/
The following commit has been merged in the master branch:
commit 514bf0f4192dc58a2a57d94128eeb57af9ffbad6
Author: Lifeng Sun
Date: Wed Jul 24 19:27:11 2013 +0800
Compile with OCaml >= 4.00.1.
diff --git a/debian/control b/debian/control
index 8cb8cda..a0f1a42 100644
--- a/debian/control
+
The following commit has been merged in the master branch:
commit a8cc9a7acd19658b2973f22242bf4ac5ca58a7ca
Author: Lifeng Sun
Date: Thu Jul 4 16:40:07 2013 +0800
debian/control: canonical VCS-* fields.
diff --git a/debian/control b/debian/control
index 25a25a7..8cb8cda 100644
--- a/debian/
The following commit has been merged in the master branch:
commit 41c203975034e8191762b18c91cda793cded30cf
Author: Lifeng Sun
Date: Wed Jul 24 19:27:38 2013 +0800
Update changelog and prepare to upload to experimental.
diff --git a/debian/changelog b/debian/changelog
index 9c8633b..54f885b
5 matches
Mail list logo