The following commit has been merged in the master branch:
commit 6230bce32244285ec4172f535afa195de35f9821
Author: Mehdi Dogguy
Date: Tue Jun 25 21:43:08 2013 +0200
Release to unstable
diff --git a/debian/changelog b/debian/changelog
index b8e0968..0961e91 100644
--- a/debian/changelog
+++
The following commit has been merged in the master branch:
commit 3af4ac55a6b29f4e50fe305ebc73f9d0d00113c6
Author: Mehdi Dogguy
Date: Tue Jun 25 21:15:31 2013 +0200
Fix outdated-autotools-helper-file config.guess
diff --git a/debian/changelog b/debian/changelog
index 2d2dffd..f066342 10064
The following commit has been merged in the master branch:
commit 8d13c809a5c9a0df14b955b0748223be3e8c62bf
Author: Mehdi Dogguy
Date: Tue Jun 25 21:34:29 2013 +0200
Bump Standards-Version to 3.9.4
diff --git a/debian/changelog b/debian/changelog
index f066342..b8e0968 100644
--- a/debian/c
The following commit has been merged in the master branch:
commit a5cf1651878afd2d0fc5b6e0e78e9cc464b1d5ce
Author: Mehdi Dogguy
Date: Tue Jun 25 20:58:39 2013 +0200
New upstream release
diff --git a/debian/changelog b/debian/changelog
index 0ea67a6..2d2dffd 100644
--- a/debian/changelog
++
The following commit has been merged in the master branch:
commit 70da565edbf7f2922defa95c38603dc66bba881c
Merge: fc6b52ccd87d3a3f1462b6521dc6d5cc3c25c657
2148bce8d5984951b80842e49b9d81d92982aa26
Author: Mehdi Dogguy
Date: Tue Jun 25 20:56:31 2013 +0200
Merge tag 'upstream/1.2.1'
The following commit has been merged in the master branch:
commit cb0e4159e06b27beb5a55d1c5948ea1499ce0b31
Author: Mehdi Dogguy
Date: Tue Jun 25 20:41:57 2013 +0200
Make libzarith-ocaml-dev depend on libgmp3-dev. (Closes: #714088)
diff --git a/debian/changelog b/debian/changelog
index 2f9e
The following commit has been merged in the master branch:
commit fc6b52ccd87d3a3f1462b6521dc6d5cc3c25c657
Merge: cb0e4159e06b27beb5a55d1c5948ea1499ce0b31
256b7df3f1e6a6a9a89ba389722dd5f6cbc040c5
Author: Mehdi Dogguy
Date: Tue Jun 25 20:56:25 2013 +0200
Merge tag 'upstream/1.2'
Up
The following commit has been merged in the master branch:
commit 922481e5c49b6d4515116872fa76cffd3d5f3ec8
Author: Mehdi Dogguy
Date: Tue May 15 13:58:12 2012 +0200
Fix "make test" call: it should be "test" on native architectures and
"test.b" on bytecode architectures.
diff --git a/debia
The following commit has been merged in the master branch:
commit 3b97afff522219844315cdad7976e781bb1db8ac
Author: Mehdi Dogguy
Date: Tue May 15 13:47:13 2012 +0200
Call "make test" before executing the test file.
diff --git a/debian/changelog b/debian/changelog
index 4e4b470..c9c719f 1006
The following commit has been merged in the master branch:
commit d4f9e7317bcd575cf8c665cfadd8b9525926ff98
Author: Mehdi Dogguy
Date: Tue May 15 13:44:08 2012 +0200
Bump Standards-Version to 3.9.3 (no changes needed).
diff --git a/debian/changelog b/debian/changelog
index 8487f83..4e4b470
The following commit has been merged in the master branch:
commit 05e64fd362045c08fa99d9f8ba2100538632c1c5
Author: Mehdi Dogguy
Date: Tue May 15 13:40:31 2012 +0200
New upstream release
diff --git a/debian/changelog b/debian/changelog
index 5fc087f..8487f83 100644
--- a/debian/changelog
++
The following commit has been merged in the master branch:
commit aa78572377404121cc333853dc534b90fd9a5ca7
Merge: f76ff59b408cc02d92a089805707f74c18c0af1a
3212e3ced60e409c6c251686ab211800bc70f44b
Author: Mehdi Dogguy
Date: Tue May 15 13:39:43 2012 +0200
Merge tag 'upstream/1.1'
Up
12 matches
Mail list logo