The following commit has been merged in the master branch:
commit fff3a45d9a05aa50ae542c417baef0cbbc75dc27
Author: Stephane Glondu
Date: Tue Jun 12 08:10:20 2012 +0200
Update changelog and prepare upload to unstable
diff --git a/debian/changelog b/debian/changelog
index f4f4361..cd1f6b6 10
The following commit has been merged in the master branch:
commit 58fb3cf329fdb1bf8f3314eee3d9578c5eaa904b
Author: Stephane Glondu
Date: Tue Jun 12 08:08:27 2012 +0200
Bump Standards-Version to 3.9.3
diff --git a/debian/control b/debian/control
index f15660f..5802abb 100644
--- a/debian/co
The following commit has been merged in the master branch:
commit 71d05be681489bd0352b77226bdab23c8958838b
Author: Stephane Glondu
Date: Tue Jun 12 08:05:51 2012 +0200
Update version in META files (Closes: #673835)
diff --git a/debian/META b/debian/META
index 539254a..e8b46a6 100644
--- a/
The annotated tag, debian/2.14.2+dfsg-3 has been created
at a51292a7dc3dd769278c44cd2306ed473bb0ca4d (tag)
tagging fff3a45d9a05aa50ae542c417baef0cbbc75dc27 (commit)
replaces debian/2.14.2+dfsg-2
tagged by Stephane Glondu
on Tue Jun 12 08:57:34 2012 +0200
- Shortlog -
The annotated tag, debian/2.2.2-1 has been created
at 2a3c746cc252ef00b0970bc23c26b79ad732afe0 (tag)
tagging 2a7a63322eff3a43d83e5843aa37f772a00e1e5f (commit)
replaces debian/2.1.1b-3
tagged by Stephane Glondu
on Tue Jun 12 08:17:27 2012 +0200
- Shortlog
The annotated tag, debian/20120602-1 has been created
at 40c4ed43ed4fbf1f9966024f0b958b26fb857200 (tag)
tagging 1b178e5e97d09de4a500ccf103454e315a067ddc (commit)
replaces debian/20120530-1
tagged by Stephane Glondu
on Tue Jun 12 08:09:11 2012 +0200
- Shortlog ---
The following commit has been merged in the pristine-tar branch:
commit a1c6e9507e79bacfba46372366cbbca44967f6ff
Author: Hendrik Tews
Date: Sun Jun 10 21:57:02 2012 +0200
pristine-tar data for hol-light_20120602.orig.tar.gz
diff --git a/hol-light_20120602.orig.tar.gz.delta
b/hol-light_201
The annotated tag, upstream/20120602 has been created
at de149e400d55467a302a9a2128503f975e5c5a1c (tag)
tagging 91b9649a74715d563d525b311b754324852c0794 (commit)
replaces upstream/20120530
tagged by Hendrik Tews
on Sun Jun 10 21:57:02 2012 +0200
- Shortlog --
The following commit has been merged in the master branch:
commit 7de856ad5917aa0112c237d8252fd5a4318f4802
Author: Hendrik Tews
Date: Sun Jun 10 22:13:13 2012 +0200
update changelog
diff --git a/debian/changelog b/debian/changelog
index 8141026..6294e5f 100644
--- a/debian/changelog
+++ b/
The following commit has been merged in the master branch:
commit 1b178e5e97d09de4a500ccf103454e315a067ddc
Author: Hendrik Tews
Date: Sun Jun 10 22:16:54 2012 +0200
refresh patch holtest-no-proof-recording
diff --git a/debian/patches/holtest-no-proof-recording.patch
b/debian/patches/holte
The following commit has been merged in the master branch:
commit 06491d805f34c353f5b5d03d415b8df64e3deb0e
Author: Hendrik Tews
Date: Sun Jun 10 21:54:04 2012 +0200
unapply debian patches, remove holtest-dependency-hint patch
diff --git a/.pc/.quilt_patches b/.pc/.quilt_patches
deleted fil
The following commit has been merged in the master branch:
commit c07a1731356133df273679ee375c3f9679a87413
Merge: 06491d805f34c353f5b5d03d415b8df64e3deb0e
91b9649a74715d563d525b311b754324852c0794
Author: Hendrik Tews
Date: Sun Jun 10 21:57:02 2012 +0200
Merge tag 'upstream/20120602'
The annotated tag, upstream/2.2.2 has been created
at dc3fac9301bf43601048466ca5c161cb4dde1515 (tag)
tagging c242081f9c088c14fd1108778822888460d9dffc (commit)
replaces upstream/2.2.1
tagged by Stephane Glondu
on Mon Jun 11 15:02:47 2012 +0200
- Shortlog -
The annotated tag, upstream/2.2.1 has been created
at 2c2e527fb3496524f3ea9d377e5818ca41ab385a (tag)
tagging c5022a54d5f5e441c7781733724fc1d0ebb98bcf (commit)
replaces upstream/2.2
tagged by Stephane Glondu
on Sat Jun 9 18:04:28 2012 +0200
- Shortlog
The annotated tag, upstream/2.2 has been created
at 4445c541c9111fc60f181b770783e616b37121d3 (tag)
tagging 8758a4a0fc9ed7024599a0a9e8fce337d1e5d171 (commit)
replaces upstream/2.1.1b
tagged by Stephane Glondu
on Sat Jun 9 18:04:18 2012 +0200
- Shortlog ---
The following commit has been merged in the pristine-tar branch:
commit 35df69061f17ca490014ab8e3b9ad53dd94fbc5c
Author: Stephane Glondu
Date: Mon Jun 11 15:02:47 2012 +0200
pristine-tar data for eliom_2.2.2.orig.tar.gz
diff --git a/eliom_2.2.2.orig.tar.gz.delta b/eliom_2.2.2.orig.tar.gz.d
The following commit has been merged in the pristine-tar branch:
commit ebdc9332b310a5bd6ab0177cc81c0eb1954c68d9
Author: Stephane Glondu
Date: Sat Jun 9 18:04:28 2012 +0200
pristine-tar data for eliom_2.2.1.orig.tar.gz
diff --git a/eliom_2.2.1.orig.tar.gz.delta b/eliom_2.2.1.orig.tar.gz.de
The following commit has been merged in the pristine-tar branch:
commit 21f360916fa11b9ea316524a9e4c8dc02469cc63
Author: Stephane Glondu
Date: Sat Jun 9 18:04:18 2012 +0200
pristine-tar data for eliom_2.2.orig.tar.gz
diff --git a/eliom_2.2.orig.tar.gz.delta b/eliom_2.2.orig.tar.gz.delta
ne
The following commit has been merged in the master branch:
commit 2a7a63322eff3a43d83e5843aa37f772a00e1e5f
Author: Stephane Glondu
Date: Sat Jun 9 18:13:52 2012 +0200
Prepare upload to unstable
diff --git a/debian/changelog b/debian/changelog
index 9682bf7..4725a8c 100644
--- a/debian/chan
The following commit has been merged in the master branch:
commit 0e46737fab23c08d4ab2a688469dfa0163d82568
Author: Stephane Glondu
Date: Sun Jun 10 20:31:34 2012 +0200
chmod +x configure
diff --git a/configure b/configure
old mode 100644
new mode 100755
--
eliom packaging
__
The following commit has been merged in the master branch:
commit 793d377bd4a3c02ccc590e5ef53941ad3e6bb393
Author: Stephane Glondu
Date: Sat Jun 9 18:13:33 2012 +0200
Bump build-dependencies
diff --git a/debian/control b/debian/control
index 72366d7..a7294b7 100644
--- a/debian/control
+++
The following commit has been merged in the master branch:
commit 4b758a93c8acceecc2ac84884b103878c7ce254e
Author: Stephane Glondu
Date: Sat Jun 9 18:05:35 2012 +0200
All patches have been applied upstream
diff --git
a/debian/patches/0001-Fix-manpages-installation-when-installing-only-byt
The following commit has been merged in the master branch:
commit 7ff9827cae4931ed12248353c5951e6aba05afad
Merge: b11822ccb541ffc87627cbfa57a15109e7a6809f
c242081f9c088c14fd1108778822888460d9dffc
Author: Stephane Glondu
Date: Mon Jun 11 15:02:47 2012 +0200
Merge tag 'upstream/2.2.2'
The following commit has been merged in the master branch:
commit 776e7ff9b52c064439d59fef9547b69254297d2a
Author: Stephane Glondu
Date: Mon Jun 11 15:04:02 2012 +0200
New upstream release
diff --git a/debian/changelog b/debian/changelog
index 8247917..9682bf7 100644
--- a/debian/changelog
The annotated tag, debian/3.12.1-3 has been created
at 847370837f75ebb3059f752534b579f806eda7ab (tag)
tagging f62103f2965826ad22548af4bc1c3af48a1d144e (commit)
replaces debian/3.12.1-2
tagged by Stephane Glondu
on Mon Jun 11 13:51:47 2012 +0200
- Shortlog ---
25 matches
Mail list logo