The following commit has been merged in the master branch:
commit b61f7ff7375729984cf1f78cec929981d8b22f80
Author: Hendrik Tews hend...@askra.de
Date: Tue Jan 31 13:05:01 2012 +0100
* hints from Stephane 2012-01-30
diff --git a/debian/compat b/debian/compat
index 7f8f011..45a4fb7 100644
The following commit has been merged in the master branch:
commit e5f48dc21472dc03d47e80bf06d195a39c4a9165
Author: Hendrik Tews hend...@askra.de
Date: Tue Jan 31 13:19:31 2012 +0100
fixes to get dit-buildpackge going
diff --git a/debian/compat b/debian/compat
index 45a4fb7..7f8f011 100644
The following commit has been merged in the master branch:
commit 1ae6b7bdc17abc409f5c1c71ed5539089487adae
Author: Hendrik Tews hend...@askra.de
Date: Tue Jan 31 13:28:00 2012 +0100
write changelog
diff --git a/debian/changelog b/debian/changelog
index 321f92d..830575f 100644
--- a/debian
The following commit has been merged in the master branch:
commit e4eb9a789d9b0bce3d9af2d6aeb14dd11a756c42
Author: Hendrik Tews hend...@askra.de
Date: Tue Jan 31 14:53:59 2012 +0100
get pbuilder working
diff --git a/debian/rules b/debian/rules
index 519ee8d..a708a7b 100755
--- a/debian
The following commit has been merged in the master branch:
commit 554405a1356cd03b6a7930d2833c6b33fbce0e72
Author: Hendrik Tews hend...@askra.de
Date: Tue Jan 31 15:16:11 2012 +0100
adjust debhelper dependency
diff --git a/debian/control b/debian/control
index 855ad0f..baccf0f 100644
The following commit has been merged in the master branch:
commit bf5b936d40c32c4642d42fc8ed877c5c7b43451c
Author: Hendrik Tews hend...@askra.de
Date: Wed Feb 1 13:21:27 2012 +0100
debhelper compat level 8
use OCAML_ABI from ocamlvars.mk
diff --git a/debian/compat b/debian/compat
index
The following commit has been merged in the master branch:
commit a2d9dc5760545f2840ca024c8b367b5332b5bc75
Author: Hendrik Tews hend...@askra.de
Date: Tue Jan 31 16:29:04 2012 +0100
fix UNRELEASED
diff --git a/debian/changelog b/debian/changelog
index 830575f..1da5c47 100644
--- a/debian
The following commit has been merged in the master branch:
commit c8d5522848887cfd005b2f63b04abf9489e1ccb7
Author: Hendrik Tews hend...@askra.de
Date: Wed Feb 1 13:30:52 2012 +0100
write changelog
diff --git a/debian/changelog b/debian/changelog
index 1da5c47..8f8a229 100644
--- a/debian
The annotated tag, debian/3.12.1.99-1 has been created
at 08ad3ef5fb365a61fb541a3be4eee3ca614d1a5c (tag)
tagging a2d9dc5760545f2840ca024c8b367b5332b5bc75 (commit)
replaces debian/3.09.3.3-1
tagged by Hendrik Tews
on Tue Jan 31 16:31:47 2012 +0100
- Shortlog
The annotated tag, debian/3.12.1.99-2 has been created
at 96a0c55985f40c808adbd489d0ee524a18581375 (tag)
tagging c8d5522848887cfd005b2f63b04abf9489e1ccb7 (commit)
replaces debian/3.12.1.99-1
tagged by Hendrik Tews
on Wed Feb 1 13:33:48 2012 +0100
- Shortlog
The following commit has been merged in the master branch:
commit e36f1a6f35bd62ab30b9e0d023a30509f60306b8
Author: Hendrik Tews hend...@askra.de
Date: Mon Feb 6 15:25:12 2012 +0100
adapt watch file
diff --git a/debian/watch b/debian/watch
index 973bb50..bc37d5e 100644
--- a/debian/watch
The following commit has been merged in the master branch:
commit a27c29fca0ad8775decfa10f85bb49df7c5ab47a
Merge: e36f1a6f35bd62ab30b9e0d023a30509f60306b8
3cfaf76ffad96e4cdf1a53e03830a9ddba2bdbf2
Author: Hendrik Tews hend...@askra.de
Date: Mon Feb 6 15:25:28 2012 +0100
Merge commit
The annotated tag, upstream/3.12.2 has been created
at 0ecf5a913f8d3c03f86dbf93e19532cf173b1b88 (tag)
tagging 3cfaf76ffad96e4cdf1a53e03830a9ddba2bdbf2 (commit)
replaces upstream/3.12.1.99
tagged by Hendrik Tews
on Mon Feb 6 15:25:28 2012 +0100
- Shortlog
The annotated tag, debian/3.12.2-1 has been created
at 44a9f513fade58e833fd308709f92c33fb384083 (tag)
tagging d3c0a748b12abedd1bd1bd9af042056225be5038 (commit)
replaces debian/3.12.1.99-2
tagged by Hendrik Tews
on Mon Feb 6 16:24:12 2012 +0100
- Shortlog
The following commit has been merged in the master branch:
commit d3c0a748b12abedd1bd1bd9af042056225be5038
Author: Hendrik Tews hend...@askra.de
Date: Mon Feb 6 16:20:53 2012 +0100
merge debian changelog entries
diff --git a/.gitignore b/.gitignore
index 1be94dc..b25c15b 100644
The following commit has been merged in the pristine-tar branch:
commit a23ef82bfb530d2727a5940a670f00b0074e251a
Author: Hendrik Tews hend...@askra.de
Date: Mon Feb 6 15:25:28 2012 +0100
pristine-tar data for otags_3.12.2.orig.tar.gz
diff --git a/otags_3.12.2.orig.tar.gz.delta b
The branch, pristine-tar has been created
at 62ca5035e28f934d30058459cd6205c08e972278 (commit)
- Shortlog
commit 62ca5035e28f934d30058459cd6205c08e972278
Author: Hendrik Tews hend...@askra.de
Date: Wed Mar 14 11:52:15 2012
The branch, upstream has been created
at 79ecdcf9e21b2585f8aeee5233c3edd4863946a4 (commit)
- Shortlog
commit 79ecdcf9e21b2585f8aeee5233c3edd4863946a4
Author: Hendrik Tews hend...@askra.de
Date: Wed Mar 14 11:52:12 2012 +0100
The annotated tag, upstream/20120312 has been created
at 73d643ba36743b8c92d506a4fcb02fee2c1e772c (tag)
tagging 79ecdcf9e21b2585f8aeee5233c3edd4863946a4 (commit)
tagged by Hendrik Tews
on Wed Mar 14 11:52:15 2012 +0100
- Shortlog
The branch, master has been created
at 79ecdcf9e21b2585f8aeee5233c3edd4863946a4 (commit)
- Shortlog
commit 79ecdcf9e21b2585f8aeee5233c3edd4863946a4
Author: Hendrik Tews hend...@askra.de
Date: Wed Mar 14 11:52:12 2012 +0100
The following commit has been merged in the master branch:
commit 3f1cf9c3ac487d1bf39a8612e1bac997594651b1
Author: Hendrik Tews hend...@askra.de
Date: Fri Mar 16 10:34:17 2012 +0100
initial packaging
diff --git a/.gitignore b/.gitignore
new file mode 100644
index 000..337c126
--- /dev
The following commit has been merged in the master branch:
commit 5daba9cd5298c72851a5809ac0033f0ca0e2ecd5
Author: Hendrik Tews hend...@askra.de
Date: Fri Mar 16 21:44:37 2012 +0100
dh --with ocaml
diff --git a/debian/rules b/debian/rules
index 6e81989..d05b1fd 100755
--- a/debian/rules
The following commit has been merged in the master branch:
commit 54edc1206a675c53c40f59f5dff2ccc1cbe1a0b0
Author: Hendrik Tews hend...@askra.de
Date: Mon Mar 19 11:40:06 2012 +0100
fix camlp5 dependencies and other small changes
diff --git a/debian/README.Debian b/debian/README.Debian
The following commit has been merged in the master branch:
commit 24df54c10566f082ce7c4dd30035d96aaf8a1947
Author: Hendrik Tews hend...@askra.de
Date: Wed Mar 21 22:28:38 2012 +0100
linitan override and hint on command
diff --git a/debian/README.Debian b/debian/README.Debian
index f9ea4d4
The following commit has been merged in the master branch:
commit 2e9954744c4e1a49eb9d156750eb72b771f3a7ec
Author: Hendrik Tews hend...@askra.de
Date: Thu Mar 22 14:42:08 2012 +0100
tests and other changes
- invoke some of the holtest tests in debian/test-hol-light
- build
The following commit has been merged in the master branch:
commit 4245d307f655eb73463e31d952752d0d4b74a7f9
Author: Hendrik Tews hend...@askra.de
Date: Sat Mar 24 21:07:55 2012 +0100
add quilt .pc directory
diff --git a/.gitignore b/.gitignore
index 337c126..b25c15b 100644
--- a/.gitignore
The following commit has been merged in the master branch:
commit 35baa7ab5aebe7fcc77f371112ddf949e0d6f886
Author: Hendrik Tews hend...@askra.de
Date: Sat Mar 24 21:10:12 2012 +0100
one test only
diff --git a/debian/test-hol-light b/debian/test-hol-light
index e300beb..958682c 100755
The following commit has been merged in the master branch:
commit 17cad3ebc2c302af8d10c0e293564d3ab533cc10
Merge: c82df05722dfeebff899ae1d4b0a6f5bdc15054b
92ab62bede778dd0c4109e8ebb69f49436af325e
Author: Hendrik Tews hend...@askra.de
Date: Mon Mar 26 09:37:39 2012 +0200
Merge commit
The following commit has been merged in the master branch:
commit 581ef954ad1b23547a2b3d8bd70ae489bb3e7d28
Author: Hendrik Tews hend...@askra.de
Date: Mon Mar 26 10:00:32 2012 +0200
adapt to new upstream version
- changes license
- removed unnecessary chmod
diff --git a/debian
The following commit has been merged in the master branch:
commit f05c0c6a54253ff91946c169edd991fb288b5700
Author: Hendrik Tews hend...@askra.de
Date: Mon Mar 26 10:04:01 2012 +0200
reenable test
diff --git a/debian/test-hol-light b/debian/test-hol-light
index a586668..958682c 100755
The following commit has been merged in the pristine-tar branch:
commit 4823a0155c505bc0adf56059a2b40f5ae268d5ab
Author: Hendrik Tews hend...@askra.de
Date: Mon Mar 26 09:37:39 2012 +0200
pristine-tar data for hol-light_20120322.orig.tar.gz
diff --git a/hol-light_20120322.orig.tar.gz.delta
The annotated tag, upstream/20120322 has been created
at 091c24098328f17c7a109d9b6700c7c5c62b46c1 (tag)
tagging 92ab62bede778dd0c4109e8ebb69f49436af325e (commit)
replaces upstream/20120312
tagged by Hendrik Tews
on Mon Mar 26 09:37:39 2012 +0200
- Shortlog
The following commit has been merged in the master branch:
commit 18c4c605fbc2aa1f1a9093c42802d4bcd7b7dbc2
Author: Hendrik Tews hend...@askra.de
Date: Tue Apr 10 13:06:38 2012 +0200
copyright refinement
- checked copyright statements of various files and added them to
debian
The following commit has been merged in the master branch:
commit 0d5f967a75489585fe3254b0ed120ecf95972748
Merge: 18c4c605fbc2aa1f1a9093c42802d4bcd7b7dbc2
041bf445b8003f49d0701aed137dc90b77929836
Author: Hendrik Tews hend...@askra.de
Date: Tue Apr 24 20:12:55 2012 +0200
Merge tag 'upstream
The following commit has been merged in the master branch:
commit acba4c3a41c04c0067e1616b92d6a3c82c698843
Author: Hendrik Tews hend...@askra.de
Date: Tue Apr 24 23:20:48 2012 +0200
fix copyright file
- also add a patch to fix the broken Makefile
diff --git a/.pc/applied-patches b/.pc
The following commit has been merged in the pristine-tar branch:
commit 5bb44edc0d43e4c08bac8ef0aa2a3fd4b3c803e1
Author: Hendrik Tews hend...@askra.de
Date: Tue Apr 24 20:12:55 2012 +0200
pristine-tar data for hol-light_20120423.orig.tar.gz
diff --git a/hol-light_20120423.orig.tar.gz.delta
The annotated tag, upstream/20120423 has been created
at 3f24693526e2df1da8012ee8b07ae8fcc2d2470e (tag)
tagging 041bf445b8003f49d0701aed137dc90b77929836 (commit)
replaces upstream/20120322
tagged by Hendrik Tews
on Tue Apr 24 20:12:55 2012 +0200
- Shortlog
The annotated tag, debian/20120423-1 has been created
at 35958b8d1bcbdd7a5f623a8c67f01dba24a6cd09 (tag)
tagging acba4c3a41c04c0067e1616b92d6a3c82c698843 (commit)
replaces upstream/20120423
tagged by Hendrik Tews
on Fri Apr 27 09:51:05 2012 +0200
- Shortlog
The following commit has been merged in the master branch:
commit 24e1bbba8ac22ee469137a7036884f78d5463225
Author: Hendrik Tews hend...@askra.de
Date: Fri May 11 13:41:03 2012 +0200
fixing startup and install scripts of ocaml-mode
diff --git a/debian/changelog b/debian/changelog
index
The following commit has been merged in the master branch:
commit d7c3b39d2d057c7bbd0fc8efb43c3bcba4b73a6e
Author: Hendrik Tews hend...@askra.de
Date: Fri May 11 17:43:56 2012 +0200
drop pre-depends, use (fboundp 'debian-pkg-add-load-path-item)
diff --git a/debian/control b/debian/control
The branch, master has been created
at 9151a834634039cc596a9a1054f7484f529e1835 (commit)
- Shortlog
commit 9151a834634039cc596a9a1054f7484f529e1835
Author: Hendrik Tews hend...@askra.de
Date: Mon May 14 23:32:44 2012 +0200
The branch, pristine-tar has been created
at 9ac53fac94784764f44d3e570f9f819fed5b3c64 (commit)
- Shortlog
commit 9ac53fac94784764f44d3e570f9f819fed5b3c64
Author: Hendrik Tews hend...@askra.de
Date: Mon May 14 23:32:45 2012
The branch, upstream has been created
at 9151a834634039cc596a9a1054f7484f529e1835 (commit)
- Shortlog
commit 9151a834634039cc596a9a1054f7484f529e1835
Author: Hendrik Tews hend...@askra.de
Date: Mon May 14 23:32:44 2012 +0200
The annotated tag, upstream/0.10 has been created
at f1f5a16c6b08c6284f8f19a3568899e2826b940c (tag)
tagging 9151a834634039cc596a9a1054f7484f529e1835 (commit)
tagged by Hendrik Tews
on Mon May 14 23:32:45 2012 +0200
- Shortlog
The following commit has been merged in the master branch:
commit 5b155cf67d112d22de5e4f03c4cebc0427ca6317
Author: Hendrik Tews hend...@askra.de
Date: Mon May 14 23:50:23 2012 +0200
initial packaging
diff --git a/debian/changelog b/debian/changelog
new file mode 100644
index 000
The following commit has been merged in the master branch:
commit 71b6c241a5b56a8245efbcc6fca83530e2df36c4
Author: Hendrik Tews hend...@askra.de
Date: Tue May 15 11:04:23 2012 +0200
README.Debian
diff --git a/.gitignore b/.gitignore
new file mode 100644
index 000..b25c15b
--- /dev/null
The following commit has been merged in the master branch:
commit 52c083f113012b4d3899b7bf1b340360fb498e81
Merge: d3c0a748b12abedd1bd1bd9af042056225be5038
ba68b147a7adfa283b8ba5caca229b338c52d15d
Author: Hendrik Tews hend...@askra.de
Date: Thu May 17 13:16:57 2012 +0200
Merge tag 'upstream
The following commit has been merged in the master branch:
commit 0b9b5305870a2f47b5d58f1d25fe4e05115ccb49
Author: Hendrik Tews hend...@askra.de
Date: Thu May 17 13:26:20 2012 +0200
update packaging
- debhelper compat
- standards version
- enable tests
- changelog
diff
The following commit has been merged in the master branch:
commit 36db5341f647dae0a3add66a71a4e365793f1ad3
Author: Hendrik Tews hend...@askra.de
Date: Thu May 17 14:20:17 2012 +0200
fix dependencies
diff --git a/debian/changelog b/debian/changelog
index 44a52f1..51bb19f 100644
--- a/debian
The following commit has been merged in the pristine-tar branch:
commit 26e68e146a0577e4804f734b28011f78cbdf84a0
Author: Hendrik Tews hend...@askra.de
Date: Thu May 17 13:16:57 2012 +0200
pristine-tar data for otags_3.12.3.orig.tar.gz
diff --git a/otags_3.12.3.orig.tar.gz.delta b
The annotated tag, debian/3.12.3-1 has been created
at e0e18dad0808651344778f37b6153f92d5217ce0 (tag)
tagging 36db5341f647dae0a3add66a71a4e365793f1ad3 (commit)
replaces debian/3.12.2-1
tagged by Hendrik Tews
on Thu May 17 14:25:35 2012 +0200
- Shortlog
The following commit has been merged in the master branch:
commit c671b9fa6195616f7154591e3493b6b451b5c340
Author: Hendrik Tews hend...@askra.de
Date: Wed May 23 16:43:55 2012 +0200
dh_gencontrol override section
diff --git a/debian/control b/debian/control
index 40fe4d5..a6ff5aa 100644
The following commit has been merged in the master branch:
commit 8a677e4d7ad07b7feeb64435e1349f2423bc73ba
Merge: 36db5341f647dae0a3add66a71a4e365793f1ad3
a577362b2a8bcfd5b21d5f825cb603221e1df406
Author: Hendrik Tews hend...@askra.de
Date: Tue May 22 21:35:07 2012 +0200
Merge tag 'upstream
The following commit has been merged in the master branch:
commit 7fb9ce234eab0782989307a4b65176245e25c32f
Author: Hendrik Tews hend...@askra.de
Date: Wed May 23 22:23:07 2012 +0200
add README.hints
diff --git a/debian/README.hints b/debian/README.hints
new file mode 100644
index 000
The following commit has been merged in the master branch:
commit c1ba134e68140bce01dc9cb4134677b57baa790e
Merge: 7fb9ce234eab0782989307a4b65176245e25c32f
12f9bf66a102bc5e53d79deee6640d4b161f30e1
Author: Hendrik Tews hend...@askra.de
Date: Wed May 23 22:24:28 2012 +0200
Merge tag 'upstream
The following commit has been merged in the master branch:
commit 482133d74f4b8771ffeafe484cb6b4205e441dd6
Author: Hendrik Tews hend...@askra.de
Date: Wed May 23 22:31:34 2012 +0200
adapt changelog
diff --git a/debian/changelog b/debian/changelog
index c324770..7a68785 100644
--- a/debian
The following commit has been merged in the pristine-tar branch:
commit b42d2574a3e5c2c09934494c9e4b8440520ba929
Author: Hendrik Tews hend...@askra.de
Date: Tue May 22 21:35:07 2012 +0200
pristine-tar data for otags_3.12.4.orig.tar.gz
diff --git a/otags_3.12.4.orig.tar.gz.delta b
The following commit has been merged in the pristine-tar branch:
commit f0f5f9527a49389997114f37b9819ee59006347b
Author: Hendrik Tews hend...@askra.de
Date: Wed May 23 22:24:28 2012 +0200
pristine-tar data for otags_3.12.5.orig.tar.gz
diff --git a/otags_3.12.5.orig.tar.gz.delta b
The annotated tag, upstream/3.12.4 has been created
at 0c515331f6591024db2085f580b210e7f4422875 (tag)
tagging a577362b2a8bcfd5b21d5f825cb603221e1df406 (commit)
replaces upstream/3.12.3
tagged by Hendrik Tews
on Tue May 22 21:35:07 2012 +0200
- Shortlog
The annotated tag, upstream/3.12.5 has been created
at e709ed6c1dc40bbe59c8ae7b3f07913dc1ed79be (tag)
tagging 12f9bf66a102bc5e53d79deee6640d4b161f30e1 (commit)
replaces upstream/3.12.4
tagged by Hendrik Tews
on Wed May 23 22:24:28 2012 +0200
- Shortlog
The following commit has been merged in the master branch:
commit aa63fee6f172acf3f4327e21f895b498fb1367f8
Merge: 5d8b12913f8137d8f87f6a33b00b75bc702a973d
d12928450baf070abf2ef01d9c90ee1d2b11b6ea
Author: Hendrik Tews hend...@askra.de
Date: Wed May 30 09:15:47 2012 +0200
Merge commit
The following commit has been merged in the master branch:
commit 35c9e74ffcb5c0d7bf8db90ad59806fd79ff6d55
Author: Hendrik Tews hend...@askra.de
Date: Wed May 30 13:36:09 2012 +0200
adapt debian/copyright
diff --git a/debian/changelog b/debian/changelog
index d4e1f9c..29f1d31 100644
The following commit has been merged in the master branch:
commit 29d6ce1128b8b3bdf5cad8e88719c90d1d5f4b1c
Author: Hendrik Tews hend...@askra.de
Date: Wed May 30 09:35:04 2012 +0200
reapply, adapt patches
delete patches adapt-holtest-for-debian, pa-j-makefile-fix
diff --git a/.pc
The following commit has been merged in the pristine-tar branch:
commit 7bd88f26b1fd461b07e31e349c62cd2bcd119b37
Author: Hendrik Tews hend...@askra.de
Date: Wed May 30 09:15:46 2012 +0200
pristine-tar data for hol-light_20120530.orig.tar.gz
diff --git a/hol-light_20120530.orig.tar.gz.delta
The following commit has been merged in the master branch:
commit 074b903e7ec3efeb67abfa298a29dfdfd7fa7038
Author: Hendrik Tews hend...@askra.de
Date: Wed May 30 16:54:37 2012 +0200
don't override dh_gencontrol
diff --git a/debian/changelog b/debian/changelog
index 29f1d31..34ccd6d 100644
The following commit has been merged in the master branch:
commit 452b483ad50ec27ab0ed4602e8c2dfbee3a9d24a
Author: Hendrik Tews hend...@askra.de
Date: Thu May 31 10:12:37 2012 +0200
add patch holtest-dependency-hint
diff --git a/.pc/applied-patches b/.pc/applied-patches
index 0c7a73b
The annotated tag, upstream/20120530 has been created
at 842a5f9da9262b09084946430c478b22217b6f10 (tag)
tagging d12928450baf070abf2ef01d9c90ee1d2b11b6ea (commit)
replaces upstream/20120423
tagged by Hendrik Tews
on Wed May 30 09:15:47 2012 +0200
- Shortlog
SIGNATURE-
Hendrik Tews (7):
unapply debian patches
Imported Upstream version 20120530
Merge commit 'upstream/20120530'
reapply, adapt patches
adapt debian/copyright
don't override dh_gencontrol
add patch holtest-dependency-hint
The annotated tag, debian/3.12.5-1 has been created
at 0488f0dbb9a9515b52da305518ac95e6ce780fc6 (tag)
tagging 482133d74f4b8771ffeafe484cb6b4205e441dd6 (commit)
replaces debian/3.12.3-1
tagged by Hendrik Tews
on Mon Jun 4 13:40:45 2012 +0200
- Shortlog
The following commit has been merged in the master branch:
commit c07a1731356133df273679ee375c3f9679a87413
Merge: 06491d805f34c353f5b5d03d415b8df64e3deb0e
91b9649a74715d563d525b311b754324852c0794
Author: Hendrik Tews hend...@askra.de
Date: Sun Jun 10 21:57:02 2012 +0200
Merge tag 'upstream
The following commit has been merged in the master branch:
commit 06491d805f34c353f5b5d03d415b8df64e3deb0e
Author: Hendrik Tews hend...@askra.de
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
The following commit has been merged in the master branch:
commit 1b178e5e97d09de4a500ccf103454e315a067ddc
Author: Hendrik Tews hend...@askra.de
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
The following commit has been merged in the pristine-tar branch:
commit a1c6e9507e79bacfba46372366cbbca44967f6ff
Author: Hendrik Tews hend...@askra.de
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
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
SIGNATURE-
Hendrik Tews (5):
unapply debian patches, remove holtest-dependency-hint patch
Imported Upstream version 20120602
Merge tag 'upstream/20120602'
update changelog
refresh patch holtest-no-proof-recording
The following commit has been merged in the pristine-tar branch:
commit cbf5bcd89e4016ff6aa15ca9b5528a5d8a43dd82
Author: Hendrik Tews hend...@askra.de
Date: Thu May 16 14:21:44 2013 +0200
pristine-tar data for hol-light_20130511.orig.tar.gz
diff --git a/hol-light_20130511.orig.tar.gz.delta
The following commit has been merged in the master branch:
commit 2fa332419db16e74ef0a8103be5dfec9b6e3d019
Author: Hendrik Tews hend...@askra.de
Date: Thu May 16 16:34:02 2013 +0200
several fixes and OCaml 4 compatibility
diff --git a/debian/README.Debian b/debian/README.Debian
index
The annotated tag, upstream/20130511 has been created
at d9d533298940a0f433b67fbf093bd6e5fa184233 (tag)
tagging b78aeefbf86577c2049733d6c414f21cb4ded69d (commit)
replaces upstream/20120602
tagged by Hendrik Tews
on Thu May 16 14:21:44 2013 +0200
- Shortlog
The following commit has been merged in the pristine-tar branch:
commit 98bf81fdb9e5691adcc3287db87331ba3033ca9a
Author: Hendrik Tews hend...@askra.de
Date: Fri May 17 16:52:22 2013 +0200
pristine-tar data for prooftree_0.12.orig.tar.gz
diff --git a/prooftree_0.12.orig.tar.gz.delta b
The following commit has been merged in the master branch:
commit 25fcb0fd34f818d28a803b8a1f75e71f9165df0b
Author: Hendrik Tews hend...@askra.de
Date: Fri May 17 16:53:59 2013 +0200
refresh packaging and dependencies
diff --git a/debian/README.Debian b/debian/README.Debian
deleted file
The annotated tag, debian/0.12-1 has been created
at 15268ad370b3f44b3c55edc65f19b508ed7df3ef (tag)
tagging 25fcb0fd34f818d28a803b8a1f75e71f9165df0b (commit)
replaces upstream/0.12
tagged by Hendrik Tews
on Fri May 17 17:24:50 2013 +0200
- Shortlog
The annotated tag, upstream/0.12 has been created
at 2bc1760ec0ab913db094dc9955cd207b10b807a7 (tag)
tagging 2dd789608d1f7eef3f668bc227cdd977458927f7 (commit)
replaces upstream/0.10
tagged by Hendrik Tews
on Fri May 17 16:52:22 2013 +0200
- Shortlog
The following commit has been merged in the master branch:
commit 4ab69a09115d530f46aea739e52b6b6d1b2b9078
Merge: 0c09ee153aeb45ce9935cc9ff70e2bce0021f3ba
255824c7cdaf7ce5acea73a16d6c45bd09867f54
Author: Hendrik Tews hend...@askra.de
Date: Tue May 21 22:28:57 2013 +0200
Merge commit
The following commit has been merged in the pristine-tar branch:
commit d62322ae416408e61c62dc74f07bfb96c0e3e6e5
Author: Hendrik Tews hend...@askra.de
Date: Tue May 21 22:09:36 2013 +0200
pristine-tar data for ounit_1.1.2.orig.tar.gz
diff --git a/ounit_1.1.2.orig.tar.gz.delta b/ounit_1.1.2
The following commit has been merged in the master branch:
commit bdae9ad56542bb765e8c694b3b82dd1d9330506f
Author: Hendrik Tews hend...@askra.de
Date: Tue May 21 22:45:40 2013 +0200
new upstream release and small packaging changes
diff --git a/debian/changelog b/debian/changelog
index
The annotated tag, debian/1.1.2-1 has been created
at 29a6057d2b9820aa4c61328def8f13061d3c1567 (tag)
tagging bdae9ad56542bb765e8c694b3b82dd1d9330506f (commit)
replaces debian/1.1.1-1
tagged by Hendrik Tews
on Wed May 22 12:25:20 2013 +0200
- Shortlog
The annotated tag, upstream/1.1.2 has been created
at efa574b6eaac3c379868f872b7a477e64c6daf28 (tag)
tagging 255824c7cdaf7ce5acea73a16d6c45bd09867f54 (commit)
replaces upstream/1.1.1
tagged by Hendrik Tews
on Tue May 21 22:09:36 2013 +0200
- Shortlog
The following commit has been merged in the master branch:
commit 5cdf75b0deaee4fce6a07835e6cc6b95771c4210
Author: Hendrik Tews hend...@askra.de
Date: Sat May 25 23:23:15 2013 +0200
fix watchfile
diff --git a/debian/changelog b/debian/changelog
index b1c81cb..7e36eae 100644
--- a/debian
The following commit has been merged in the master branch:
commit fb12684acd431a7a7c6d2408fa7c985057f37329
Author: Hendrik Tews hend...@askra.de
Date: Sun May 26 23:37:02 2013 +0200
fix watch file
diff --git a/debian/changelog b/debian/changelog
index 7463a52..aeb981c 100644
--- a/debian
The following commit has been merged in the master branch:
commit 3ea191e8b163b7a4188b22eb33a0d49000693fb8
Author: Hendrik Tews hend...@askra.de
Date: Sun May 26 23:45:51 2013 +0200
fix watch file
diff --git a/debian/changelog b/debian/changelog
index fe9486c..6c2c86b 100644
--- a/debian
The following commit has been merged in the master branch:
commit 4572ec9fab83dbacb9f84aa523c746b833022fe8
Author: Hendrik Tews hend...@askra.de
Date: Mon May 27 00:04:06 2013 +0200
fix watch file and homepage
diff --git a/debian/changelog b/debian/changelog
index b87dbd7..bed5756 100644
The following commit has been merged in the master branch:
commit 353c710e3417ebbf6aea7e87afc245b35a89887b
Author: Hendrik Tews hend...@askra.de
Date: Mon May 27 00:23:55 2013 +0200
fix watch file and homepage
diff --git a/debian/changelog b/debian/changelog
index 8ba0d3f..8e83761 100644
The following commit has been merged in the master branch:
commit a68d5aa1cd9bc7f8a61321d7e6baa0a3a2f0b5f9
Author: Hendrik Tews hend...@askra.de
Date: Mon May 27 00:35:03 2013 +0200
fix watch file
diff --git a/debian/changelog b/debian/changelog
index be6d228..8b2f28f 100644
--- a/debian
The following commit has been merged in the master branch:
commit b56e9c1871665e36476cdb2b7c0a19829111869a
Author: Hendrik Tews hend...@askra.de
Date: Mon May 27 11:11:44 2013 +0200
update packaging and add man page
diff --git a/debian/changelog b/debian/changelog
index 262b614..e33c21b
The following commit has been merged in the pristine-tar branch:
commit 070579bf2dc73a290c797ae76b49bd70de6b15e9
Author: Hendrik Tews hend...@askra.de
Date: Mon May 27 09:32:23 2013 +0200
pristine-tar data for uuidm_0.9.5.orig.tar.bz2
diff --git a/uuidm_0.9.5.orig.tar.bz2.delta b
The following commit has been merged in the master branch:
commit a6320c45386e4df15a4ac5018f62f53bdf0a5712
Merge: f1ea010db3d6e8822b37be26685db42d1b2f430a
a76c7cc5e82645d2aac11d8d6d9c333d9831c435
Author: Hendrik Tews hend...@askra.de
Date: Mon May 27 09:32:23 2013 +0200
Merge tag 'upstream
The annotated tag, debian/0.9.5-1 has been created
at 0b9cd2f558fb5742e517323f7aed94f9d08a93d3 (tag)
tagging b56e9c1871665e36476cdb2b7c0a19829111869a (commit)
replaces debian/0.9.4-1
tagged by Hendrik Tews
on Mon May 27 11:25:58 2013 +0200
- Shortlog
The annotated tag, upstream/0.9.5 has been created
at 3bb4cc3cf82e78869eb7e372e717895482b6a1bd (tag)
tagging a76c7cc5e82645d2aac11d8d6d9c333d9831c435 (commit)
replaces upstream/0.9.4
tagged by Hendrik Tews
on Mon May 27 09:32:23 2013 +0200
- Shortlog
The following commit has been merged in the master branch:
commit 63534700a9e6a7a1f56c8e439dd694660a3fae72
Author: Hendrik Tews hend...@askra.de
Date: Mon May 27 16:20:30 2013 +0200
update watch and copyright
diff --git a/debian/changelog b/debian/changelog
index 44b1b95..6588a16 100644
The following commit has been merged in the master branch:
commit 35149623af50315a2975876f6fcfea3e4690f0c1
Merge: 63534700a9e6a7a1f56c8e439dd694660a3fae72
5ff4d0a478618b3578c440b53ddd72048b339aa1
Author: Hendrik Tews hend...@askra.de
Date: Mon May 27 16:24:16 2013 +0200
Merge tag 'upstream
1 - 100 of 312 matches
Mail list logo
