This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository coq-doc.
commit 043d010327f4e439c36c162b5cf035a0514ddede
Author: Stephane Glondu st...@glondu.net
Date: Thu Dec 12 08:15:45 2013 +0100
Debhelper compat level 9
---
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository coq-doc.
commit c4b71e0e51d5c921e32cf4db10b72bb081696b8d
Author: Stephane Glondu st...@glondu.net
Date: Thu Dec 12 08:17:36 2013 +0100
Update Vcs-*
---
debian/control
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository coq-doc.
commit 189e896f8fa7fe4bf9aaf87a51393249171dedc2
Author: Stephane Glondu st...@glondu.net
Date: Thu Dec 12 08:17:58 2013 +0100
Update changelog and prepare
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch pristine-tar
in repository coq-doc.
commit f27d7faa6d4b81c74b1d0edc98854c66e9dab7c7
Author: Stephane Glondu st...@glondu.net
Date: Thu Dec 12 08:12:49 2013 +0100
pristine-tar data for
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch pristine-tar
in repository coq-doc.
commit 3d6eece6bcc8e8fea790dede457a9ae31126a057
Author: Stephane Glondu st...@glondu.net
Date: Thu Dec 12 08:13:22 2013 +0100
pristine-tar data for
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository coq-doc.
commit c9b4d425f15915801169cd748e2a53a39203db52
Author: Stephane Glondu st...@glondu.net
Date: Thu Dec 12 08:13:43 2013 +0100
New upstream release
---
This is an automated email from the git hooks/post-receive script.
glondu pushed a change to branch pristine-tar
in repository coq-doc.
from 9795105 pristine-tar data for coq-doc_8.3pl4.orig.tar.gz
new f88c066 pristine-tar data for coq-doc_8.4.orig.tar.gz
new f27d7fa
This is an automated email from the git hooks/post-receive script.
glondu pushed a change to annotated tag upstream/8.4pl2
in repository coq-doc.
at 2e888ab (tag)
tagging 9c7efff002622338c736f36f0c6dd9a86715d552 (commit)
replaces upstream/8.4pl1
tagged by Stephane Glondu
This is an automated email from the git hooks/post-receive script.
glondu pushed a change to annotated tag debian/8.4pl2-1
in repository coq-doc.
at 0ebebfd (tag)
tagging 189e896f8fa7fe4bf9aaf87a51393249171dedc2 (commit)
replaces debian/8.3pl4-1
tagged by Stephane Glondu
This is an automated email from the git hooks/post-receive script.
glondu pushed a change to annotated tag upstream/8.4pl1
in repository coq-doc.
at 5d49064 (tag)
tagging 18d4bc4a87b72bcecb3545a4121b4178edc1c95b (commit)
replaces upstream/8.4
tagged by Stephane Glondu
This is an automated email from the git hooks/post-receive script.
glondu pushed a change to annotated tag upstream/8.4
in repository coq-doc.
at 4b8c5aa (tag)
tagging 06a1c808e64261a486829535e86701f1f1d998b6 (commit)
replaces upstream/8.3pl4
tagged by Stephane Glondu
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository lablgl.
commit 87e1fa2b4295c05426f93169573f839867a19e80
Author: Stephane Glondu st...@glondu.net
Date: Fri Dec 13 15:53:36 2013 +0100
New upstream release
---
This is an automated email from the git hooks/post-receive script.
glondu pushed a change to branch master
in repository lablgl.
from 2c2bad5 Upload to unstable
new 4cda21f Imported Upstream version 1.05
new 8393a12 Merge tag 'upstream/1.05'
new 87e1fa2 New
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository lablgl.
commit 8393a12e1000711d674b8e6ad21ae1fd8fb65ac4
Merge: 2c2bad5 4cda21f
Author: Stephane Glondu st...@glondu.net
Date: Fri Dec 13 15:53:20 2013 +0100
Merge tag
This is an automated email from the git hooks/post-receive script.
glondu pushed a change to branch pristine-tar
in repository lablgl.
from 1c7de9e pristine-tar data for lablgl_20120306.orig.tar.gz
new 3f29fa8 pristine-tar data for lablgl_1.05.orig.tar.gz
The 1 revisions
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch pristine-tar
in repository lablgl.
commit 3f29fa8152a1543d962227319f8adccb17522162
Author: Stephane Glondu st...@glondu.net
Date: Fri Dec 13 15:53:19 2013 +0100
pristine-tar data for
This is an automated email from the git hooks/post-receive script.
glondu pushed a change to branch upstream
in repository lablgl.
from f103ecf Imported Upstream version 20120306
new 4cda21f Imported Upstream version 1.05
The 1 revisions listed above as new are entirely new
This is an automated email from the git hooks/post-receive script.
glondu pushed a change to annotated tag upstream/1.05
in repository lablgl.
at 488796c (tag)
tagging 4cda21feb03acf91dc91b87f3ed602f3c4d4a618 (commit)
replaces upstream/20120306
tagged by Stephane Glondu
18 matches
Mail list logo