This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to annotated tag debian/8.6-2
in repository coq.
at 2d00820 (tag)
tagging 4409e85b91fa86750f83042c329ec8cf6320d7c7 (commit)
replaces debian/8.6-1
tagged by Enrico Tassi
on
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to branch master
in repository coq.
from bfe45db Coq 8.6
new 4409e85 fix FTBFS disabling some tests
The 1 revisions listed above as "new" are entirely new to this
repository and w
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository aac-tactics.
commit 15d7275f16efbd0f6ef9c07a6102f2893dc726c0
Author: Enrico Tassi
Date: Wed Dec 28 13:46:13 2016 +
8.6.1
---
debian/changelog | 2 +-
1 fil
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository aac-tactics.
commit fb74782e08217e4f1069ed99de6f6f30005bfe13
Merge: 017a43a 1117d2e
Author: Enrico Tassi
Date: Tue Dec 27 16:06:42 2016 +
Merge tag 'upstrea
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository aac-tactics.
commit 76f9b4cdc5693a6313961e2f91b39ba311857e72
Author: Enrico Tassi
Date: Wed Dec 28 13:43:01 2016 +
New upstream version 8.6.1
---
Make
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository aac-tactics.
commit a8c0742d53ca8802a3032d801e4a5e169851078e
Author: Enrico Tassi
Date: Tue Dec 27 16:07:18 2016 +
aac for Coq 8.6
---
debian/changelog
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch pristine-tar
in repository aac-tactics.
commit 7cb80573da87e62c9a669e7bffdffbabb1102a40
Author: Enrico Tassi
Date: Tue Dec 27 16:06:42 2016 +
pristine-tar data for aac-tactics_8
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to branch upstream
in repository aac-tactics.
from 17564e4 Imported Upstream version 8.5.1
new 1117d2e New upstream version 8.6
new 76f9b4c New upstream version 8.6.1
Th
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to branch pristine-tar
in repository aac-tactics.
from b04b84c pristine-tar data for aac-tactics_8.5.1.orig.tar.gz
new 7cb8057 pristine-tar data for aac-tactics_8.6.orig.tar.gz
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository aac-tactics.
commit 1117d2e4a00debfbfa0157cc3e780916df72c26b
Author: Enrico Tassi
Date: Tue Dec 27 16:06:42 2016 +
New upstream version 8.6
---
AAC.v
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository aac-tactics.
commit f6c35088fc20b534aac0b92df7cb9750d2b68b46
Merge: a8c0742 76f9b4c
Author: Enrico Tassi
Date: Wed Dec 28 13:45:46 2016 +
Merge tag 'upstrea
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch pristine-tar
in repository aac-tactics.
commit 2062a6bb526785953c46d48a690d1eefe4e2deca
Author: Enrico Tassi
Date: Wed Dec 28 13:43:01 2016 +
pristine-tar data for aac-tactics_8
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to branch master
in repository aac-tactics.
from 017a43a Upload to unstable
new 1117d2e New upstream version 8.6
new fb74782 Merge tag 'upstream/8.6'
new a8c0742
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch pristine-tar
in repository ssreflect.
commit 9d7d7af852352d2203f9df6c1c9b4992de566c22
Author: Enrico Tassi
Date: Tue Dec 27 16:10:50 2016 +
pristine-tar data for ssreflect_1.6.1
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to branch upstream
in repository ssreflect.
from 0dfc136 Imported Upstream version 1.6
new bdffa48 New upstream version 1.6.1
The 1 revisions listed above as "new" are entirely ne
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository ssreflect.
commit 582fd9f4b4a3a766b7038ba39e4134ce7843b69a
Merge: 18f7769 bdffa48
Author: Enrico Tassi
Date: Tue Dec 27 16:10:50 2016 +
Merge tag 'upstream/
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository ssreflect.
commit 0ab0d73a07d4889c30245d5e8b786e9445dc964c
Author: Enrico Tassi
Date: Tue Dec 27 16:11:11 2016 +
ssr/mathcomp 1.6
---
debian/changelog
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to branch master
in repository ssreflect.
from 18f7769 Fix README/ChangeLog installation
new bdffa48 New upstream version 1.6.1
new 582fd9f Merge tag 'upstream/1.6.1'
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to branch pristine-tar
in repository ssreflect.
from bb09259 pristine-tar data for ssreflect_1.6.orig.tar.gz
new 9d7d7af pristine-tar data for ssreflect_1.6.1.orig.tar.gz
The 1 re
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to branch pristine-tar
in repository coq.
from 1dd2832 pristine-tar data for coq_8.5.orig.tar.gz
new 4f8c678 pristine-tar data for coq_8.6.orig.tar.gz
The 1 revisions listed above
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to annotated tag upstream/8.6
in repository coq.
at bec2376 (tag)
tagging a4c7f8bd98be2a200489325ff7c5061cf80ab4f3 (commit)
replaces upstream/8.5
tagged by Enrico Tassi
on
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository coq.
commit bfe45dbaed933cca5081a9e2524e0ef099a83efb
Author: Enrico Tassi
Date: Wed Dec 28 09:28:26 2016 +0100
Coq 8.6
---
debian/changelog |
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch pristine-tar
in repository coq.
commit 4f8c678ec9a09be1f71aa7ea3df9b3d9547ff934
Author: Enrico Tassi
Date: Tue Dec 27 16:53:32 2016 +0100
pristine-tar data for coq_8.6.orig.tar.gz
-
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to annotated tag debian/8.6-1
in repository coq.
at edf9daf (tag)
tagging bfe45dbaed933cca5081a9e2524e0ef099a83efb (commit)
replaces debian/8.5-2
tagged by Enrico Tassi
on
24 matches
Mail list logo