This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository coq.
commit 58545b00a1c1825d9e51b16c2986976dd45dd3b2
Merge: bdb99a4 d2c5c5e
Author: Stephane Glondu st...@glondu.net
Date: Sun Jan 19 15:09:26 2014 +0100
Merge tag
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository coq.
commit e3ef7f22f8ca1549633371e1f6fa14ae2e27546d
Author: Stephane Glondu st...@glondu.net
Date: Sun Jan 19 15:12:15 2014 +0100
Update README.Debian (Closes:
This is an automated email from the git hooks/post-receive script.
glondu pushed a change to branch upstream
in repository coq.
from db38bb4 Merge branch 'experimental/upstream' into upstream
new d2c5c5e Imported Upstream version 8.4pl3dfsg
The 1 revisions listed above as new
This is an automated email from the git hooks/post-receive script.
glondu pushed a change to annotated tag upstream/8.4pl3dfsg
in repository coq.
at 6980791 (tag)
tagging d2c5c5e616a6e118291fe1ce9965c731adac03a8 (commit)
replaces upstream/8.4pl2dfsg
tagged by Stephane Glondu
This is an automated email from the git hooks/post-receive script.
glondu pushed a change to branch master
in repository coq.
from bdb99a4 Prepare upload to unstable
new d2c5c5e Imported Upstream version 8.4pl3dfsg
new 58545b0 Merge tag 'upstream/8.4pl3dfsg'
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch pristine-tar
in repository coq.
commit bf00afb369c7e411c853a58a4ce315591f0f
Author: Stephane Glondu st...@glondu.net
Date: Sun Jan 19 15:09:25 2014 +0100
pristine-tar data for
This is an automated email from the git hooks/post-receive script.
glondu pushed a change to branch pristine-tar
in repository coq.
from 14c75b1 pristine-tar data for coq_8.4pl2dfsg.orig.tar.gz
new bf00ccc pristine-tar data for coq_8.4pl3dfsg.orig.tar.gz
The 1 revisions
This is an automated email from the git hooks/post-receive script.
glondu pushed a change to branch master
in repository coq.
from e3ef7f2 Update README.Debian (Closes: #680248)
new 100dfc2 Update changelog and prepare upload to unstable
The 1 revisions listed above as new
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository coq.
commit 100dfc287ad57a3245eea312f7aa95c49f8e2a34
Author: Stephane Glondu st...@glondu.net
Date: Sun Jan 19 15:12:59 2014 +0100
Update changelog and prepare upload
This is an automated email from the git hooks/post-receive script.
glondu pushed a change to annotated tag debian/8.4pl3dfsg-1
in repository coq.
at 2b3c523 (tag)
tagging 100dfc287ad57a3245eea312f7aa95c49f8e2a34 (commit)
replaces debian/8.4pl2dfsg-4
tagged by Stephane Glondu
This is an automated email from the git hooks/post-receive script.
treinen pushed a commit to branch master
in repository why.
commit b50d5aa0a0f77abce9798be7d801634719de392b
Author: Ralf Treinen trei...@free.fr
Date: Sun Jan 19 20:08:10 2014 +0100
package tests with alt-ergo, cvc3
---
This is an automated email from the git hooks/post-receive script.
treinen pushed a commit to branch master
in repository why.
commit 38c7821b307fe832b02f699dbbd99acaa9e7173d
Author: Ralf Treinen trei...@free.fr
Date: Sun Jan 19 18:10:58 2014 +0100
accept coq 8.4pl3
---
This is an automated email from the git hooks/post-receive script.
treinen pushed a commit to branch master
in repository why.
commit 8698f7bc248e270f99d6755ae51e93117f7bdd41
Author: Ralf Treinen trei...@free.fr
Date: Sun Jan 19 18:23:41 2014 +0100
close bug #707585 (FTBFS)
---
This is an automated email from the git hooks/post-receive script.
treinen pushed a change to branch master
in repository why.
from 740a5af accept alt-ergo 0.95.2, coq 8.4pl2
new 38c7821 accept coq 8.4pl3
new 8698f7b close bug #707585 (FTBFS)
new b50d5aa
This is an automated email from the git hooks/post-receive script.
glondu pushed a change to annotated tag debian/0.4-2
in repository aac-tactics.
at 541008d (tag)
tagging 09c08cc6fe8bd98780f64d4931305dc670d454fd (commit)
replaces debian/0.4-1
tagged by Stephane Glondu
This is an automated email from the git hooks/post-receive script.
glondu pushed a change to branch master
in repository aac-tactics.
from b150377 Prepare upload to unstable
new 912dbce Bump Standards-Version to 3.9.5 (no changes)
new 50c6d2f Update Vcs-*
new
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository aac-tactics.
commit 912dbce4c453004cbc22bc1c319077fd39a0756a
Author: Stephane Glondu st...@glondu.net
Date: Mon Jan 20 07:38:26 2014 +0100
Bump Standards-Version to
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository aac-tactics.
commit 09c08cc6fe8bd98780f64d4931305dc670d454fd
Author: Stephane Glondu st...@glondu.net
Date: Mon Jan 20 07:38:40 2014 +0100
Update changelog and prepare
18 matches
Mail list logo