The following commit has been merged in the master branch:
commit ad988252cac876f0b9998b5223f565d0a22aebb8
Merge: 11b04078a227fd8849972d05417487520177fb04
6e34b272d789455a9be589e27ad3a998cf25496b
Author: Stephane Glondu st...@glondu.net
Date: Tue Mar 27 07:48:23 2012 +0200
Merge tag
The following commit has been merged in the master branch:
commit 4482ea1edb5570f0beca73183c1d32756970c317
Author: Stephane Glondu st...@glondu.net
Date: Sat Jan 14 11:13:29 2012 +0100
Call dh_install with --fail-missing
diff --git a/debian/rules b/debian/rules
index f35e0de..3e9a883
The following commit has been merged in the master branch:
commit d06daee9d257c470bba9c29c283b506201db86fa
Author: Stephane Glondu st...@glondu.net
Date: Tue Mar 27 07:50:59 2012 +0200
New upstream release
diff --git a/debian/changelog b/debian/changelog
index 6367865..05e3385 100644
---
The following commit has been merged in the master branch:
commit b2e7bf847ea2669ec3231cfd62e8d77c901df363
Author: Stephane Glondu st...@glondu.net
Date: Sat Jan 14 15:11:23 2012 +0100
proofgeneral-coq has been dropped in favour of proofgeneral
diff --git a/debian/control b/debian/control
The following commit has been merged in the master branch:
commit 62d9cc7bb328a0a3a803f9b638a398fc4fec1ad9
Author: Stephane Glondu st...@glondu.net
Date: Tue Mar 27 07:54:24 2012 +0200
Bump Standards-Version to 3.9.3
diff --git a/debian/control b/debian/control
index f2a5e66..2e104f0
The following commit has been merged in the master branch:
commit 7ea6f0085c0c5ba14e846bad255923e505e7b168
Author: Stephane Glondu st...@glondu.net
Date: Tue Mar 27 07:57:05 2012 +0200
Update changelog and prepare upload to unstable
diff --git a/debian/changelog b/debian/changelog
index
The following commit has been merged in the pristine-tar branch:
commit 1cf0d81a7185a4735594fd317159642c91d20256
Author: Stephane Glondu st...@glondu.net
Date: Tue Mar 27 07:41:23 2012 +0200
pristine-tar data for coq_8.3.pl4.orig.tar.gz
diff --git a/coq_8.3.pl4.orig.tar.gz.delta
The following commit has been merged in the pristine-tar branch:
commit 5c94a92e462fabb3896bd1dc256f6b62a8e4b984
Author: Stephane Glondu st...@glondu.net
Date: Tue Mar 27 08:13:20 2012 +0200
pristine-tar data for coq_8.3.pl4+dfsg.orig.tar.gz
diff --git a/coq_8.3.pl4+dfsg.orig.tar.gz.delta
The annotated tag, debian/8.3.pl4+dfsg-1 has been created
at df2ab8069ff6712b8a7ba2256a107556d1d38599 (tag)
tagging 7ea6f0085c0c5ba14e846bad255923e505e7b168 (commit)
replaces debian/8.3.pl3+dfsg-2
tagged by Stephane Glondu
on Tue Mar 27 08:38:10 2012 +0200
- Shortlog
The annotated tag, upstream/8.3.pl4 has been created
at 9aa5c8b1cbab01aba11098f888b5bc7341842c88 (tag)
tagging 2bdcd093b357adb2185518dabbafd1a0b9279044 (commit)
replaces upstream/8.3.pl3
tagged by Stephane Glondu
on Tue Mar 27 07:41:23 2012 +0200
- Shortlog
The annotated tag, upstream/8.3.pl4+dfsg has been created
at bf82e017a12e8640a7bf099e9a5d3e88a1147ecc (tag)
tagging 6e34b272d789455a9be589e27ad3a998cf25496b (commit)
replaces upstream/8.3.pl3+dfsg
tagged by Stephane Glondu
on Tue Mar 27 07:47:04 2012 +0200
- Shortlog
The following commit has been merged in the master branch:
commit 7e18ce9f9188a163ba4418c1f9af036eae3b10bd
Merge: 7af931dfaf054a3e23d8d1696029ad40e61c2e61
4c71a795326f1f67c98be979179717d26ccc25f8
Author: Pierre Chambart chamb...@crans.org
Date: Tue Mar 27 10:37:36 2012 +0200
Merge tag
The following commit has been merged in the master branch:
commit 379162ffaf9922c6acc7e04958f6886bfbea45e5
Author: Pierre Chambart chamb...@crans.org
Date: Tue Mar 27 14:52:54 2012 +0200
Update control and changelog for the new upstream version
diff --git a/debian/changelog
The following commit has been merged in the master branch:
commit 53a0b723ec708d1019a5d4e56fdb445b167380b0
Author: Pierre Chambart chamb...@crans.org
Date: Tue Mar 27 15:12:30 2012 +0200
change my email address in debian/control to the one of my gpg key
diff --git a/debian/control
The following commit has been merged in the master branch:
commit 8a52b24c25147b62634a218f1ebc6b42feb60005
Author: Pierre Chambart chamb...@crans.org
Date: Tue Mar 27 15:16:21 2012 +0200
install ocamldoc generated manpages
diff --git a/debian/libeliom-doc.install
The following commit has been merged in the master branch:
commit 0e2af70486a3317ac5c0b697847081311d097d93
Author: Pierre Chambart chamb...@crans.org
Date: Tue Mar 27 15:29:07 2012 +0200
build ocamldoc manpages with the 3o section
diff --git
The following commit has been merged in the master branch:
commit 40f2ac123704e74ecfe23ffc7fa9b4057330a94b
Author: Pierre Chambart chamb...@crans.org
Date: Tue Mar 27 17:59:58 2012 +0200
Imported Upstream version 2.1.1b
diff --git a/CHANGES b/CHANGES
index 7031f5d..3543f17 100644
---
The following commit has been merged in the master branch:
commit dc449a0c152f35d3e0831fdac079e998c6d752d7
Merge: 0e2af70486a3317ac5c0b697847081311d097d93
40f2ac123704e74ecfe23ffc7fa9b4057330a94b
Author: Pierre Chambart chamb...@crans.org
Date: Tue Mar 27 17:59:59 2012 +0200
Merge tag
The following commit has been merged in the master branch:
commit 8845f0b5f92e6eaa1f409a5fe745c7ff92919cf1
Author: Pierre Chambart chamb...@crans.org
Date: Tue Mar 27 18:00:25 2012 +0200
drop patches included upstream
diff --git a/debian/changelog b/debian/changelog
index c959e5b..3c26128
The following commit has been merged in the upstream branch:
commit 2fa37f8eaaa2d8920f577f238d632d7994424eb0
Author: Pierre Chambart chamb...@crans.org
Date: Tue Mar 27 17:59:58 2012 +0200
Imported Upstream version 2.1.1b
diff --git a/CHANGES b/CHANGES
index 7031f5d..3543f17 100644
---
The following commit has been merged in the pristine-tar branch:
commit 9a543947cad1331d82b15c699dca07d3f5432230
Author: Pierre Chambart chamb...@crans.org
Date: Tue Mar 27 18:46:28 2012 +0200
pristine-tar data for eliom_2.1.1a.orig.tar.gz
diff --git a/eliom_2.1.1a.orig.tar.gz.delta
The following commit has been merged in the pristine-tar branch:
commit cd01d766fe7b12b4e30c138e6933a8a38be8a7a4
Author: Pierre Chambart chamb...@crans.org
Date: Tue Mar 27 18:46:35 2012 +0200
pristine-tar data for eliom_2.1.1b.orig.tar.gz
diff --git a/eliom_2.1.1b.orig.tar.gz.delta
The following commit has been merged in the master branch:
commit 6f7fd979493e4d025e7925a1f97687cca8b6c992
Merge: 8845f0b5f92e6eaa1f409a5fe745c7ff92919cf1
2fa37f8eaaa2d8920f577f238d632d7994424eb0
Author: Pierre Chambart chamb...@crans.org
Date: Tue Mar 27 19:05:42 2012 +0200
Merge branch
The following commit has been merged in the master branch:
commit f48bb186ecbcb629302eedc8a901ad67289709bb
Author: Pierre Chambart chamb...@crans.org
Date: Tue Mar 27 19:08:12 2012 +0200
rename package libeliom-doc - libeliom-ocaml-doc
diff --git a/debian/changelog b/debian/changelog
index
24 matches
Mail list logo
