The following commit has been merged in the master branch:
commit 48c05753a959be121af5c1712e8ad114b18874f6
Merge: 5f43edb15fbe34bf1f31a7155e40896baa067796
5fe4ac437bed43547b3695664974f492b55cb553
Author: Stephane Glondu
Date: Sun Dec 25 13:24:00 2011 +0100
Merge commit 'upstream/8.3.pl3+df
The following commit has been merged in the master branch:
commit a81d83b4c637fe89589042b755052677a9775822
Author: Stephane Glondu
Date: Sun Dec 25 13:25:12 2011 +0100
New upstream release
diff --git a/debian/changelog b/debian/changelog
index 8a6b157..4ddde5f 100644
--- a/debian/changelog
The following commit has been merged in the master branch:
commit d05285e249c459599094e911faf86710510d319e
Author: Stephane Glondu
Date: Sun Dec 25 13:25:28 2011 +0100
Remove patch applied upstream
diff --git a/debian/patches/0001-Fix-thumb2-related-build-error.patch
b/debian/patches/0001
The following commit has been merged in the master branch:
commit e655543207d470014e5173f41549e76cfa9fb6b9
Author: Stephane Glondu
Date: Sun Dec 25 13:42:53 2011 +0100
Bump COQ_VERSION
diff --git a/debian/rules b/debian/rules
index f34c0ae..a364ad7 100755
--- a/debian/rules
+++ b/debian/ru
The following commit has been merged in the master branch:
commit de109d8c0c68f569b907e6e24271f259ba2e
Author: Stephane Glondu
Date: Sun Dec 25 13:46:17 2011 +0100
Update changelog and prepare upload to unstable
diff --git a/debian/changelog b/debian/changelog
index 4ddde5f..4ff1a52 10
The following commit has been merged in the pristine-tar branch:
commit c83bcccb2d03c1eafe68522f740e418b389a9f05
Author: Stephane Glondu
Date: Sun Dec 25 13:19:49 2011 +0100
pristine-tar data for coq_8.3.pl3.orig.tar.gz
diff --git a/coq_8.3.pl3.orig.tar.gz.delta b/coq_8.3.pl3.orig.tar.gz.d
The following commit has been merged in the pristine-tar branch:
commit 9a2e4e45c1445bab6d6ff4658f9603e31538cc52
Author: Stephane Glondu
Date: Sun Dec 25 13:46:44 2011 +0100
pristine-tar data for coq_8.3.pl3+dfsg.orig.tar.gz
diff --git a/coq_8.3.pl3+dfsg.orig.tar.gz.delta
b/coq_8.3.pl3+df
The annotated tag, upstream/8.3.pl3 has been created
at a127f12ab809adade6f02fb5a8a83682d00cfad0 (tag)
tagging 300293c119981054c95182a90c829058530a6b6f (commit)
replaces upstream/8.3.pl2
tagged by Stephane Glondu
on Sun Dec 25 13:19:49 2011 +0100
- Shortlog -
The annotated tag, upstream/8.3.pl3+dfsg has been created
at 01a04d2b66685d2d620831ecb6c32cd3fce47112 (tag)
tagging 5fe4ac437bed43547b3695664974f492b55cb553 (commit)
replaces upstream/8.3.pl3
tagged by Stephane Glondu
on Sun Dec 25 13:23:25 2011 +0100
- Shortlog
The annotated tag, debian/8.3.pl3+dfsg-1 has been created
at 605e82e780055f9e58822e71043d9a36e0997d2c (tag)
tagging de109d8c0c68f569b907e6e24271f259ba2e (commit)
replaces debian/8.3.pl2+dfsg-2
tagged by Stephane Glondu
on Sun Dec 25 14:09:10 2011 +0100
- Shortlog ---
The following commit has been merged in the master branch:
commit 601212342647e60f98279c4e10084cee22965d1d
Author: Stephane Glondu
Date: Sun Dec 25 16:54:30 2011 +0100
Rebuild with Coq 8.3pl3 (no source changes)
diff --git a/debian/changelog b/debian/changelog
index 18c6a36..8829383 100644
The annotated tag, debian/0.2.pl2-4 has been created
at a2a576464a52395ac790075a45a53133cdd34c2c (tag)
tagging 601212342647e60f98279c4e10084cee22965d1d (commit)
replaces debian/0.2.pl2-3
tagged by Stephane Glondu
on Sun Dec 25 17:00:02 2011 +0100
- Shortlog -
The following commit has been merged in the master branch:
commit 8ea1fe3d6a4137c15724c479ae2df2e9ca676bf4
Author: Stephane Glondu
Date: Sun Dec 25 17:17:35 2011 +0100
Refresh patch
diff --git a/debian/patches/0001-Fix-tests-Make.patch
b/debian/patches/0001-Fix-tests-Make.patch
index fb4b
The following commit has been merged in the master branch:
commit 2ad45925a28300da516ac68ea99d5d585771b67c
Author: Stephane Glondu
Date: Sun Dec 25 17:18:01 2011 +0100
Cherry-pick patch from coq-contrib to fix FTBFS with Coq 8.3pl3
diff --git
a/debian/patches/0002-Activated-option-Automat
The following commit has been merged in the master branch:
commit 6940bc840a3569702a3442d528f927f0ed0e44af
Author: Stephane Glondu
Date: Sun Dec 25 16:58:19 2011 +0100
Update changelog and prepare upload to unstable
diff --git a/debian/changelog b/debian/changelog
index 3234afe..e8a94d3 10
The annotated tag, debian/1.3pl2-2 has been created
at 50bcf66e383c44b44b7f00a82da06dd68167e372 (tag)
tagging 6940bc840a3569702a3442d528f927f0ed0e44af (commit)
replaces debian/1.3pl2-1
tagged by Stephane Glondu
on Sun Dec 25 17:55:56 2011 +0100
- Shortlog ---
The annotated tag, debian/1%8.2-1.2-9 has been created
at 811505143ce7a6b3d8c9a70cdd85ae223271f2ef (tag)
tagging bc26d5e7e8d75611af911b71d4c0c3a49ac9aa0a (commit)
replaces debian/1%8.2-1.2-8
tagged by Stephane Glondu
on Sun Dec 25 18:17:35 2011 +0100
- Shortlog -
The following commit has been merged in the master branch:
commit bc26d5e7e8d75611af911b71d4c0c3a49ac9aa0a
Author: Stephane Glondu
Date: Sun Dec 25 17:51:26 2011 +0100
Rebuild with Coq 8.3pl3 (no source changes)
diff --git a/debian/changelog b/debian/changelog
index 8654f53..9d15441 100644
18 matches
Mail list logo