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 annotated tag rm
in repository ssreflect.
at 09f2426 (tag)
tagging 1bd6c7612a33213ca473dd0cfabe7407a77a3415 (commit)
replaces upstream/1.5
tagged by Enrico Tassi
on Th
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
Date: Fri Dec 30 11:49:37 2016 +0100
fix build-arch target
---
debian/changelog
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 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 commit to branch master
in repository ssreflect.
commit 9c66906d6dfaa9af6be6f1440ef14edea987c9c1
Author: Enrico Tassi
Date: Wed Dec 28 14:54:47 2016 +
bdepends on Coq 8.6 (the *install.in files
8 matches
Mail list logo