This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository coq.
commit c2f1eda504659079238313826fc9c60e981af531
Author: Enrico Tassi <gareuselesi...@debian.org>
Date: Fri Dec 30 00:36:07 2016 +0100
fix ocamlfind p
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to branch master
in repository coq.
from 32d5263 depend on ocamlfind
new c2f1eda fix ocamlfind package name
The 1 revisions listed above as "new" are entirely new to this
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to annotated tag debian/8.6-4
in repository coq.
at 00767f0 (tag)
tagging c2f1eda504659079238313826fc9c60e981af531 (commit)
replaces debian/8.6-3
tagged by Enrico Tassi
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository ssreflect.
commit 9c66906d6dfaa9af6be6f1440ef14edea987c9c1
Author: Enrico Tassi <gareuselesi...@debian.org>
Date: Wed Dec 28 14:54:47 2016 +
bdepends
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to branch master
in repository ssreflect.
from 0ab0d73 ssr/mathcomp 1.6
new 9c66906 bdepends on Coq 8.6 (the *install.in files depend on it)
The 1 revisions listed above as "new"
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to annotated tag debian/1.6.1-1
in repository ssreflect.
at a24c729 (tag)
tagging 9c66906d6dfaa9af6be6f1440ef14edea987c9c1 (commit)
replaces debian/1.6-1
tagged by Enrico Tassi
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to annotated tag upstream/1.6.1
in repository ssreflect.
at f8188c2 (tag)
tagging bdffa485b79efcde80ef42d8a29126022ecaf88d (commit)
replaces upstream/1.6
tagged by Enrico Tassi
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to annotated tag rm
in repository ssreflect.
at 09f2426 (tag)
tagging 1bd6c7612a33213ca473dd0cfabe7407a77a3415 (commit)
replaces upstream/1.5
tagged by Enrico Tassi
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to annotated tag debian/1.6.1-2
in repository ssreflect.
at 8326256 (tag)
tagging 430b3d822d2d73734d67b87ab590b517da9870b9 (commit)
replaces debian/1.6.1-1
tagged by Enrico Tassi
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to branch master
in repository ssreflect.
from 9c66906 bdepends on Coq 8.6 (the *install.in files depend on it)
new 430b3d8 fix build-arch target
The 1 revisions listed above as
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository ssreflect.
commit 430b3d822d2d73734d67b87ab590b517da9870b9
Author: Enrico Tassi <gareuselesi...@debian.org>
Date: Fri Dec 30 11:49:37 2016 +0100
fix buil
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 <gareuselesi...@debian.org>
Date: Tue Dec 27 16:10:50 2016 +
pr
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
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 <gareuselesi...@debian.org>
Date: Tue Dec 27 16:10:5
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 <gareuselesi...@debian.org>
Date: Tue Dec 27 16:11:11 2016 +
ssr/ma
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
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 <gareuselesi...@debian.org>
Date: Tue Dec 27 16:06:42 2016 +
New up
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 <gareuselesi...@debian.org>
Date: Wed Dec 28 13:45:4
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
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 pristine-tar
in repository aac-tactics.
commit 2062a6bb526785953c46d48a690d1eefe4e2deca
Author: Enrico Tassi <gareuselesi...@debian.org>
Date: Wed Dec 28 13:43:01 2016
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 <gareuselesi...@debian.org>
Date: Wed Dec 28 13:46:13 2016 +
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 <gareuselesi...@debian.org>
Date: Tue Dec 27 16:06:4
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 <gareuselesi...@debian.org>
Date: Wed Dec 28 13:43:01 2016 +
New up
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 <gareuselesi...@debian.org>
Date: Wed Dec 28 09:28:26 2016 +0100
Coq 8.6
---
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 <gareuselesi...@debian.org>
Date: Tue Dec 27 16:53:32 2016 +0100
pristi
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
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
101 - 128 of 128 matches
Mail list logo