index
:
gentoo/gentoo.git
master
sakura-update
forked from gentoo/gentoo
kballou
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
sci-mathematics
/
coq
Commit message (
Expand
)
Author
Age
*
sci-mathematics/coq: bump to 8.6.1
Alexis Ballier
2017-07-18
*
sci-mathematics/coq: Remove old
Alexis Ballier
2017-07-14
*
sci-mathematics/coq: ppc stable wrt bug #619676
Agostino Sarubbo
2017-07-07
*
sci-mathematics/coq: x86 stable wrt bug #619676
Agostino Sarubbo
2017-07-07
*
sci-mathematics/coq: amd64 stable wrt bug #619676
Agostino Sarubbo
2017-07-07
*
Drop $Id$ per council decision in bug #611234.
Robin H. Johnson
2017-02-28
*
sci-mathematics/coq: adjust deps for TeX Live 2016.
Alexis Ballier
2017-01-23
*
sci-mathematics/coq: remove old
Alexis Ballier
2017-01-23
*
sci-mathematics/coq: add missing findlib build dep, bug #603126
Alexis Ballier
2016-12-19
*
sci-mathematics/coq: bump to 8.6
Alexis Ballier
2016-12-19
*
sci-mathematics/coq: bump to 8.5pl3
Alexis Ballier
2016-11-15
*
sci-mathematics/coq: drop ocaml 4.03 patch; it is not needed anymore.
Alexis Ballier
2016-08-12
*
sci-mathematics/coq: bump to 8.5pl2
Alexis Ballier
2016-07-13
*
sci-mathematics/coq: Clean up old.
Patrice Clement
2016-06-25
*
sci-mathematics/coq: Clean up old.
Patrice Clement
2016-06-25
*
sci-mathematics/coq: Stable for amd64. Retroactively mark stable for the rema...
Patrice Clement
2016-06-25
*
Revert "sci-mathematics/coq: Remove := from || dep, #586304"
Alexis Ballier
2016-06-23
*
sci-mathematics/coq: Remove := from || dep, #586304
Michał Górny
2016-06-21
*
sci-mathematics/coq: fix build with ocaml 4.03
Alexis Ballier
2016-05-03
*
sci-mathematics/coq: bump to 8.5pl1
Alexis Ballier
2016-04-11
*
Set appropriate maintainer types in metadata.xml (GLEP 67)
Michał Górny
2016-01-24
*
Replace all herds with appropriate projects (GLEP 67)
Michał Górny
2016-01-24
*
sci-mathematics/coq: bump to 8.5
Alexis Ballier
2016-01-23
*
sci-mathematics/coq: remove old
Alexis Ballier
2015-11-12
*
sci-mathematics/coq: ppc stable wrt bug #553322
Agostino Sarubbo
2015-11-12
*
sci-mathematics/coq: x86 stable wrt bug #553322
Agostino Sarubbo
2015-11-11
*
Update hashes in Manifest
Justin Lecher
2015-09-23
*
Revert DOCTYPE SYSTEM https changes in metadata.xml
Mike Gilbert
2015-08-24
*
Use https by default
Justin Lecher
2015-08-24
*
proj/gentoo: Initial commit
Robin H. Johnson
2015-08-08
