This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to branch master
in repository coq.
from 4409e85 fix FTBFS disabling some tests
new 56e5876 fix FTBFS on mips
The 1 revisions listed above as "new" are entirely new to this
reposi
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository coq.
commit 56e5876c2ad8909f5abccfba1ef8484908b70a30
Author: Enrico Tassi
Date: Thu Dec 29 08:59:12 2016 +0100
fix FTBFS on mips
---
debian/changelog
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a change to annotated tag debian/8.6-3
in repository coq.
at 9c85a0b (tag)
tagging 56e5876c2ad8909f5abccfba1ef8484908b70a30 (commit)
replaces debian/8.6-2
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 56e5876 fix FTBFS on mips
new 32d5263 depend on ocamlfind
The 1 revisions listed above as "new" are entirely new to this
repository and wi
This is an automated email from the git hooks/post-receive script.
gareuselesinge pushed a commit to branch master
in repository coq.
commit 32d5263520a5fe927afd5451c40154c14a8b051d
Author: Enrico Tassi
Date: Thu Dec 29 23:46:09 2016 +0100
depend on ocamlfind
---
debian/changelog | 6 +++
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
reposito
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
on
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
Date: Fri Dec 30 00:36:07 2016 +0100
fix ocamlfind package name
---
debian/control |
8 matches
Mail list logo