s4zbAXmlCOLmRVe7leJnQBWxDjErf4SA9YFBp1Wza3zSQ2i9gUqz7ojLkuDmeZLq
RZE6BP9m1Ti6/Hk+84dCe/R7MFS8RlHwvLvC/gOQSGRg1fbZVfRe4u6hXjcGCdVa
1XEulXvb/7A=
=Zazz
-END PGP SIGNATURE-
Hendrik Tews (6):
New upstream version 20170917
Merge tag 'upstream/20170917'
new upstream version 20170917 and related changes
New upstream version 20171023
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a commit to branch master
in repository hol-light.
commit c1db1aeb87dcd65331ec722c659ac1739834ca69
Author: Hendrik Tews <hend...@askra.de>
Date: Tue Oct 24 22:10:35 2017 +0200
new upstream v
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a commit to branch pristine-tar
in repository hol-light.
commit 0c98e8153da36c05607917a95a54fa78b661d310
Author: Hendrik Tews <hend...@askra.de>
Date: Tue Oct 24 22:16:17 2017 +0200
pristine-ta
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a change to branch pristine-tar
in repository hol-light.
from c2552f0 pristine-tar data for hol-light_20170109.orig.tar.gz
new 2817439 pristine-tar data for hol-light_20170917.orig.tar.gz
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a change to branch upstream
in repository hol-light.
from 991870c Imported Upstream version 20170109
new 64d942d New upstream version 20170917
new 5c800a2 New upstream version
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a commit to branch pristine-tar
in repository hol-light.
commit 2817439898e63be97bd8144d00512a3800409d0d
Author: Hendrik Tews <hend...@askra.de>
Date: Sun Sep 24 22:46:52 2017 +0200
pristine-ta
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a commit to branch master
in repository hol-light.
commit 1c4af310a9408011df6fcd3475d4f998e47d4196
Author: Hendrik Tews <hend...@askra.de>
Date: Fri Oct 27 22:15:41 2017 +0200
finish pac
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a change to branch master
in repository hol-light.
from e4242ac quick fix for building with camlp5 7.01
new 64d942d New upstream version 20170917
new 7b77dc8 Merge tag
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a change to branch upstream
in repository otags.
from 4a91b28 Imported Upstream version 4.02.2
new 39b18b3 New upstream version 4.05.1
The 1 revisions listed above as "new" are entirely
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a commit to branch pristine-tar
in repository otags.
commit 03cc0f34117ca0d56aa261556e18ebbae7555392
Author: Hendrik Tews <hend...@askra.de>
Date: Sat Aug 26 20:54:15 2017 +0200
pristine-ta
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a change to annotated tag debian/4.05.1-1
in repository otags.
at a618e13 (tag)
tagging adc0530fd16ccc14fd416655377d2be0c4cadb15 (commit)
replaces debian/4.02.2-2
tagged by Hendrik Tews
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a change to annotated tag upstream/4.05.1
in repository otags.
at 49b9cde (tag)
tagging 39b18b3f29b0716d523f860fe05279fbf990d69c (commit)
replaces upstream/4.02.2
tagged by Hendrik Tews
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a commit to branch master
in repository otags.
commit e037903f353cc4f12ab0f69660aa708737597449
Merge: 635f74b 39b18b3
Author: Hendrik Tews <hend...@askra.de>
Date: Sat Aug 26 20:54:15 2017
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a commit to branch master
in repository otags.
commit adc0530fd16ccc14fd416655377d2be0c4cadb15
Author: Hendrik Tews <hend...@askra.de>
Date: Sat Aug 26 21:20:46 2017 +0200
update packageing f
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a change to branch pristine-tar
in repository otags.
from 9a8688f pristine-tar data for otags_4.02.2.orig.tar.gz
new 03cc0f3 pristine-tar data for otags_4.05.1.orig.tar.gz
The 1 revisions
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a change to branch master
in repository ocaml-topkg.
from 3248af5 New upstream version 0.9.0
new b52ca52 initial packaging
The 1 revisions listed above as "new" are entirely new to this
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a change to annotated tag debian/0.9.0-1
in repository ocaml-topkg.
at eca2fc5 (tag)
tagging b52ca529cdc823260287d00eac7c9b0ee466995e (commit)
tagged by Hendrik Tews
on Fri Sep 8 22
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a commit to branch master
in repository ocaml-topkg.
commit b52ca529cdc823260287d00eac7c9b0ee466995e
Author: Hendrik Tews <hend...@askra.de>
Date: Fri Sep 8 21:51:12 2017 +0200
initial pac
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a change to branch master
in repository ocaml-topkg.
at 3248af5 New upstream version 0.9.0
This branch includes the following new commits:
new 3248af5 New upstream version 0.9.0
The 1
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a commit to branch pristine-tar
in repository ocaml-topkg.
commit 7be060f52b2e154a37fab284bfe449b2c7b89a40
Author: Hendrik Tews <hend...@askra.de>
Date: Sat Sep 2 21:27:48 2017 +0200
pristine-ta
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a change to branch upstream
in repository ocaml-topkg.
at 3248af5 New upstream version 0.9.0
This branch includes the following new commits:
new 3248af5 New upstream version 0.9.0
The
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a change to branch pristine-tar
in repository ocaml-topkg.
at 7be060f pristine-tar data for ocaml-topkg_0.9.0.orig.tar.bz2
This branch includes the following new commits:
new 7be060f
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a change to annotated tag debian/1.0.2-2
in repository cmdliner.
at c903278 (tag)
tagging 30051d3394cc2be4accba97bab0f9bebcecfa483 (commit)
replaces debian/1.0.2-1
tagged by Hendrik Tews
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a change to branch master
in repository cmdliner.
from 5edcd7d update packaging using the upstream Makefile
new 30051d3 add documentation, fix dh_missing dependency and
invocation
The 1
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a commit to branch master
in repository cmdliner.
commit 30051d3394cc2be4accba97bab0f9bebcecfa483
Author: Hendrik Tews <hend...@askra.de>
Date: Mon Aug 14 22:04:17 2017 +0200
add documentatio
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a change to annotated tag debian/1.0.2-1
in repository cmdliner.
at e787b8d (tag)
tagging 5edcd7db01614e511b6182745a4b60ab3f1a1948 (commit)
replaces debian/0.9.8-2
tagged by Hendrik Tews
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a change to branch master
in repository cmdliner.
from 17387d3 Update changelog and prepare upload to unstable
new 0f93bb0 New upstream version 1.0.2
new 12141d6 Merge tag
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a change to branch upstream
in repository cmdliner.
from 13ba3a3 Imported Upstream version 0.9.8
new 0f93bb0 New upstream version 1.0.2
The 1 revisions listed above as "new" are entirely
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a change to annotated tag upstream/1.0.2
in repository cmdliner.
at 58d4b5d (tag)
tagging 0f93bb0c2a60b8b0ace453a9f717f3654cdb133f (commit)
replaces upstream/0.9.8
tagged by Hendrik Tews
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a commit to branch master
in repository cmdliner.
commit 12141d64229fb7967a352e358c0698bd7a44e067
Merge: 17387d3 0f93bb0
Author: Hendrik Tews <hend...@askra.de>
Date: Mon Aug 7 20:54:46 2017
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a commit to branch master
in repository cmdliner.
commit 5edcd7db01614e511b6182745a4b60ab3f1a1948
Author: Hendrik Tews <hend...@askra.de>
Date: Fri Aug 11 23:07:55 2017 +0200
update packaging
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a change to branch pristine-tar
in repository cmdliner.
from a5c2bf2 pristine-tar data for cmdliner_0.9.8.orig.tar.bz2
new c8371d2 pristine-tar data for cmdliner_1.0.2.orig.tar.bz2
The 1
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a commit to branch pristine-tar
in repository cmdliner.
commit c8371d2cf47f796db075eaf4f6fa1ade0f281606
Author: Hendrik Tews <hend...@askra.de>
Date: Mon Aug 7 20:54:45 2017 +0200
pristine-ta
/Sfc7LbB1KLXhu2pxOjtG2tCiXjRSqkdszDvDZg
83iLSPvPJrqJLBT8LGEvptCbgCaC6CZgwqHY+4jucjFrtmr6/zc4FzvW+ocV+xeG
qAlmP/9Jx6g=
=fZKi
-END PGP SIGNATURE-
Hendrik Tews (1):
quick fix for building with camlp5 7.01
---
No new revisions were added by this update
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a change to branch master
in repository hol-light.
from db54cd8 update packaging for new upstream version
new e4242ac quick fix for building with camlp5 7.01
The 1 revisions listed above
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a commit to branch master
in repository hol-light.
commit e4242ac0a2f43c825cf9e3128de9faffd3051726
Author: Hendrik Tews <hend...@askra.de>
Date: Wed Aug 2 23:05:50 2017 +0200
quick fix for bu
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a change to annotated tag debian/8.6-1
in repository coq-doc.
at 910c326 (tag)
tagging 2dc0095a6bc2cd2b4c4916b19bbe1c55d7a87880 (commit)
replaces debian/8.4pl4-2
tagged by Hendrik Tews
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a commit to branch master
in repository coq-doc.
commit 2dc0095a6bc2cd2b4c4916b19bbe1c55d7a87880
Author: Hendrik Tews <hend...@askra.de>
Date: Wed Jul 5 22:21:24 2017 +0200
new upstream v
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a change to branch pristine-tar
in repository coq-doc.
from b3df77e pristine-tar data for coq-doc_8.4pl4.orig.tar.gz
new 3c30ad1 pristine-tar data for coq-doc_8.6.orig.tar.gz
The 1
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a commit to branch pristine-tar
in repository coq-doc.
commit 3c30ad1a331f881f5b6d0e1e8a37a9771cfe99a4
Author: Hendrik Tews <hend...@askra.de>
Date: Mon Jul 3 22:16:46 2017 +0200
pristine-ta
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a change to annotated tag upstream/8.6
in repository coq-doc.
at 244f964 (tag)
tagging e0c5d5d4aba56d942851beb77c8d61fd2ede8a98 (commit)
replaces upstream/8.4pl4
tagged by Hendrik Tews
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a commit to branch master
in repository cppo.
commit 6f3e817095968ce4731e85c6572360a188806ccb
Author: Hendrik Tews <hend...@askra.de>
Date: Thu Jan 19 15:02:04 2017 +0100
update changelog and ho
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a commit to branch master
in repository cppo.
commit 59a3d7aa6f6934f833a3f998047ec81578ec8311
Author: Hendrik Tews <hend...@askra.de>
Date: Thu Jan 19 14:24:36 2017 +0100
Imported Upstream v
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a change to branch pristine-tar
in repository cppo.
from 1bd30d4 pristine-tar data for cppo_1.3.2.orig.tar.gz
new 1a97c43 pristine-tar data for cppo_1.4.0.orig.tar.gz
new 08ae9bd
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a commit to branch pristine-tar
in repository cppo.
commit 08ae9bd21b1e10872326df3f2b8441da9d7bb6b2
Author: Hendrik Tews <hend...@askra.de>
Date: Thu Jan 19 14:24:37 2017 +0100
pristine-ta
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a commit to branch master
in repository cppo.
commit 0023c5f9104cb652ebbd2f0aed9924037322e554
Merge: 92dcc90 46f583e
Author: Hendrik Tews <hend...@askra.de>
Date: Thu Jan 19 14:23:03 2017 +0100
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a commit to branch master
in repository cppo.
commit 46f583e50935a4c2fc51ba8dfdb668ace4bc3b65
Author: Hendrik Tews <hend...@askra.de>
Date: Thu Jan 19 14:23:03 2017 +0100
Imported Upstream v
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a commit to branch pristine-tar
in repository cppo.
commit 1a97c43cfe632cd59c555401ad63963a4435004d
Author: Hendrik Tews <hend...@askra.de>
Date: Thu Jan 19 14:23:03 2017 +0100
pristine-ta
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a change to annotated tag debian/1.4.1-1
in repository cppo.
at 314731f (tag)
tagging 6f3e817095968ce4731e85c6572360a188806ccb (commit)
replaces debian/1.3.2-1
tagged by Hendrik Tews
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a commit to branch master
in repository cppo.
commit 7208d5affaa92f210c7d9788b283bf578a8554a6
Merge: 0023c5f 59a3d7a
Author: Hendrik Tews <hend...@askra.de>
Date: Thu Jan 19 14:24:37 2017 +0100
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a change to annotated tag upstream/1.4.1
in repository cppo.
at 477eebc (tag)
tagging 59a3d7aa6f6934f833a3f998047ec81578ec8311 (commit)
replaces upstream/1.4.0
tagged by Hendrik Tews
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a change to annotated tag upstream/1.4.0
in repository cppo.
at ce4003f (tag)
tagging 46f583e50935a4c2fc51ba8dfdb668ace4bc3b65 (commit)
replaces upstream/1.3.2
tagged by Hendrik Tews
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a change to branch upstream
in repository cppo.
from 4ece36e Imported Upstream version 1.3.2
new 46f583e Imported Upstream version 1.4.0
new 59a3d7a Imported Upstream version
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a change to branch master
in repository cppo.
from 92dcc90 Update changelog and prepare upload to unstable
new 46f583e Imported Upstream version 1.4.0
new 0023c5f Merge tag
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a change to branch master
in repository hol-light.
from a5735d4 Update watch file
new 991870c Imported Upstream version 20170109
new 0d4515f Merge tag 'upstream/20170109'
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a commit to branch master
in repository hol-light.
commit 0d4515f9ce415a6b6a904e64243abd3a462d
Merge: a5735d4 991870c
Author: Hendrik Tews <hend...@askra.de>
Date: Mon Jan 9 20:52:16 2017
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a commit to branch master
in repository hol-light.
commit db54cd89ee1b59337e9583b6a327a8d94bae2abc
Author: Hendrik Tews <hend...@askra.de>
Date: Mon Jan 9 23:32:00 2017 +0100
update packaging f
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a change to branch upstream
in repository hol-light.
from fc867d4 Imported Upstream version 20131026
new 991870c Imported Upstream version 20170109
The 1 revisions listed above as "new"
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a change to branch pristine-tar
in repository hol-light.
from 862c915 pristine-tar data for hol-light_20131026.orig.tar.bz2
new c2552f0 pristine-tar data for hol-light_20170109.orig.tar.gz
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a commit to branch pristine-tar
in repository hol-light.
commit c2552f005a9bea6fead729c4dce8473274267995
Author: Hendrik Tews <hend...@askra.de>
Date: Mon Jan 9 20:52:16 2017 +0100
pristine-ta
/ZZ48xL9MPf0BB086I0gFbCDcJnfkc7EbZByjF8k
r4QPZblLP6+5JXH3FbyZ
=VhLs
-END PGP SIGNATURE-
Hendrik Tews (3):
Imported Upstream version 20170109
Merge tag 'upstream/20170109'
update packaging for new upstream version
Mehdi Dogguy (1):
Update watch file
Tews
on Mon Jan 9 20:52:16 2017 +0100
- Log -
Upstream version 20170109
Hendrik Tews (1):
Imported Upstream version 20170109
---
No new revisions
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a change to annotated tag upstream/0.13
in repository prooftree.
at fac3cd0 (tag)
tagging e7a7642b1e46a3506fec54f35c1b2f61b8f76f7c (commit)
replaces upstream/0.12
tagged by Hendrik Tews
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a commit to branch master
in repository prooftree.
commit ece0febce920f08ec2b71e00bc2ed3104cd93f48
Author: Hendrik Tews <hend...@askra.de>
Date: Tue Jan 3 16:54:23 2017 +0100
update pac
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a commit to branch master
in repository prooftree.
commit 4c3ed43635c508b6ea4e99cf8b60f7df3293245d
Merge: db95154 e7a7642
Author: Hendrik Tews <hend...@askra.de>
Date: Tue Jan 3 15:50:50 2017
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a change to branch master
in repository prooftree.
from db95154 Update changelog and prepare upload to unstable
new e7a7642 Imported Upstream version 0.13
new 4c3ed43 Merge tag
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a commit to branch pristine-tar
in repository prooftree.
commit 8e178a351c1d0b6062ce05f160fbc2432f249ce0
Author: Hendrik Tews <hend...@askra.de>
Date: Tue Jan 3 15:36:30 2017 +0100
pristine-ta
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a change to annotated tag debian/0.13-1
in repository prooftree.
at cfb4b7d (tag)
tagging ece0febce920f08ec2b71e00bc2ed3104cd93f48 (commit)
replaces debian/0.12-2
tagged by Hendrik Tews
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a change to branch upstream
in repository prooftree.
from 2dd7896 Imported Upstream version 0.12
new e7a7642 Imported Upstream version 0.13
The 1 revisions listed above as "new" are
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a change to annotated tag debian/4.02.2-2
in repository otags.
at 5fd98d9 (tag)
tagging 635f74b61d29af04510750eade9f1adb3c6b3af5 (commit)
replaces debian/4.02.2-1
tagged by Hendrik Tews
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a commit to branch master
in repository otags.
commit 635f74b61d29af04510750eade9f1adb3c6b3af5
Author: Hendrik Tews <hend...@askra.de>
Date: Sun Jan 1 15:59:42 2017 +0100
fix 3 lintian wa
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a change to branch master
in repository otags.
from 475812b build and test without libsexplib-camlp4-dev
new 635f74b fix 3 lintian warnings
The 1 revisions listed above as "new" are
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a commit to branch master
in repository otags.
commit 475812baa95682d2541385b82126fefa62cf8d37
Author: Hendrik Tews <hend...@askra.de>
Date: Sun Jan 1 00:43:05 2017 +0100
build and test w
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a change to branch master
in repository otags.
from c27f42a Release to unstable
new 475812b build and test without libsexplib-camlp4-dev
The 1 revisions listed above as "new" are entirely
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a commit to branch master
in repository otags.
commit 64f522d3640ba4fd0094230d2d37953e07d87bde
Author: Hendrik Tews hend...@askra.de
Date: Fri Aug 30 23:09:15 2013 +0200
update changelog
---
debian
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a commit to branch master
in repository otags.
commit 59bd774085be0f6213bb1787eab520b07a56ca08
Author: Hendrik Tews hend...@askra.de
Date: Thu Aug 15 10:10:57 2013 +0200
update changelog
---
debian
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a commit to branch master
in repository otags.
commit acd1acaa1816a46ef620b9aefefca50fb047dd70
Author: Hendrik Tews hend...@askra.de
Date: Fri Aug 30 22:52:52 2013 +0200
Imported Upstream version
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a commit to branch master
in repository otags.
commit 99fe137678c1bd50b42b4d9c683f032283c6ef05
Author: Hendrik Tews hend...@askra.de
Date: Thu Aug 15 10:24:52 2013 +0200
update build dependencies
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a commit to branch master
in repository otags.
commit 9afaacee1c9c02508082d5b323646927e9c262e8
Author: Hendrik Tews hend...@askra.de
Date: Thu Aug 15 10:15:54 2013 +0200
delete type conf name patch
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a commit to branch master
in repository otags.
commit 806cb68ee3356dcbf5e98f0b7bb95e56c41a234e
Merge: 324cfaf 14c80b2
Author: Hendrik Tews hend...@askra.de
Date: Thu Aug 15 10:04:44 2013 +0200
Merge
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a change to branch master
in repository otags.
from 324cfaf apapt to type-conv renaming
new 14c80b2 Imported Upstream version 4.00.1
new 806cb68 Merge tag 'upstream/4.00.1'
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a change to annotated tag upstream/4.00.2
in repository otags.
at 3a02d78 (tag)
tagging acd1acaa1816a46ef620b9aefefca50fb047dd70 (commit)
replaces upstream/4.00.1
tagged by Hendrik Tews
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a change to branch upstream
in repository otags.
from 12f9bf6 Imported Upstream version 3.12.5
new 14c80b2 Imported Upstream version 4.00.1
new acd1aca Imported Upstream version
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a change to annotated tag debian/4.00.2-1
in repository otags.
at 36d6d38 (tag)
tagging 64f522d3640ba4fd0094230d2d37953e07d87bde (commit)
replaces debian/3.12.5-2
tagged by Hendrik Tews
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a change to branch pristine-tar
in repository otags.
from f0f5f95 pristine-tar data for otags_3.12.5.orig.tar.gz
new ee39666 pristine-tar data for otags_4.00.1.orig.tar.gz
new
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a change to annotated tag upstream/4.00.1
in repository otags.
at a7af1ef (tag)
tagging 14c80b2cea2281cfadc85d9494497154968d3efc (commit)
replaces upstream/3.12.5
tagged by Hendrik Tews
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a commit to branch pristine-tar
in repository otags.
commit 6173ad3463cf84a6624d826a125a72461a4e1542
Author: Hendrik Tews hend...@askra.de
Date: Fri Aug 30 22:52:52 2013 +0200
pristine-tar data
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a commit to branch master
in repository otags.
commit 501074d970b1427f75a097463e40c6ea8870d802
Merge: 99fe137 acd1aca
Author: Hendrik Tews hend...@askra.de
Date: Fri Aug 30 22:52:52 2013 +0200
Merge
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a commit to branch pristine-tar
in repository otags.
commit ee39666520d96c38391871e19c796fb634aa631f
Author: Hendrik Tews hend...@askra.de
Date: Thu Aug 15 10:04:44 2013 +0200
pristine-tar data
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a commit to branch master
in repository otags.
commit 14c80b2cea2281cfadc85d9494497154968d3efc
Author: Hendrik Tews hend...@askra.de
Date: Thu Aug 15 10:04:43 2013 +0200
Imported Upstream version
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a commit to branch master
in repository hol-light.
commit cc7ea96b10e6ecebf0fac1140583c0eccdb2
Merge: e00e75a 68b59a7
Author: Hendrik Tews hend...@askra.de
Date: Wed Aug 14 22:04:21 2013 +0200
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a commit to branch master
in repository hol-light.
commit 90f4d63880c0aa832b38b98eb187a602329acfaa
Author: Hendrik Tews hend...@askra.de
Date: Fri Aug 16 11:15:28 2013 +0200
update copyright
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a commit to branch master
in repository hol-light.
commit 129252ee0dc2e95ef4f8c26fef149f85c75147cf
Author: Hendrik Tews hend...@askra.de
Date: Fri Aug 16 11:13:09 2013 +0200
update elc path in hol
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a change to branch upstream
in repository hol-light.
from b78aeef Imported Upstream version 20130511
new 68b59a7 Imported Upstream version 20130811
The 1 revisions listed above as new are
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a change to branch master
in repository hol-light.
from e00e75a lintian canonical vcs
new 68b59a7 Imported Upstream version 20130811
new cc7ea96 Merge tag 'upstream/20130811'
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a commit to branch master
in repository hol-light.
commit 366cb237e587055a4dc7855d4e62f65c91d21b88
Author: Hendrik Tews hend...@askra.de
Date: Wed Aug 14 22:26:11 2013 +0200
update patches
---
debian
Tews
on Wed Aug 14 22:04:21 2013 +0200
- Log -
Upstream version 20130811
Hendrik Tews (1):
Imported Upstream version 20130811
---
No new revisions
/hhi6ULyxByrkfb7liRITI3LexS1m7DvaK/vvkXJ5X3rti4+rqc+3R5Il4j
SjUim6DCVkgHHM64OxNu
=OGG4
-END PGP SIGNATURE-
Hendrik Tews (7):
lintian canonical vcs
Imported Upstream version 20130811
Merge tag 'upstream/20130811'
fix debian/changelog
update patches
update elc path in hol-light
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a change to branch pristine-tar
in repository hol-light.
from cbf5bcd pristine-tar data for hol-light_20130511.orig.tar.gz
new a9eceb6 pristine-tar data for hol-light_20130811.orig.tar.gz
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a commit to branch master
in repository hol-light.
commit e9531a0d350d0d3f75553de15c798b93a2baddf3
Author: Hendrik Tews hend...@askra.de
Date: Wed Aug 14 22:10:34 2013 +0200
fix debian/changelog
1 - 100 of 312 matches
Mail list logo
