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
/
agda
Commit message (
Expand
)
Author
Age
*
sci-mathematics/agda: drop old
Sergei Trofimovich
2016-04-22
*
sci-mathematics/agda: allow transformers-compat-0.4
Sergei Trofimovich
2016-04-03
*
sci-mathematics/agda: drop unused local USE-description: 'epic'
Sergei Trofimovich
2016-04-03
*
sci-mathematics/agda: drop old
Sergei Trofimovich
2016-04-03
*
sci-mathematics/agda: fix hastables build failure, bu #574204
Sergei Trofimovich
2016-02-08
*
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
*
Unify quoting in metadata.xml files for machine processing
Michał Górny
2016-01-24
*
sci-mathematics/{agda,agda-stdlib}: version bump
Jauhien Piatlicki
2016-01-13
*
sci-mathematics/agda: fix dev-haskell/cpphs dependency
Jauhien Piatlicki
2016-01-13
*
sci-mathematics/agda: fix .agdai file generation on install, bug #559326
Sergei Trofimovich
2015-09-27
*
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
