projects
/
gentoo.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
sci-chemistry/psi: Chop DESCRIPTION to 80 chars
[gentoo.git]
/
sci-mathematics
/
agda-stdlib
/
2016-02-08
Patrice Clement
Merge remote-tracking branch 'github/pr/372'.
tree
|
commitdiff
2016-02-05
Patrice Clement
Merge remote-tracking branch 'github/pr/608'.
tree
|
commitdiff
2016-02-04
Patrice Clement
Merge remote-tracking branch 'github/pr/708'.
tree
|
commitdiff
2016-02-01
Patrice Clement
Merge remote-tracking branch 'github/pr/760'.
tree
|
commitdiff
2016-01-30
Patrice Clement
Merge remote-tracking branch 'github/pr/674'.
tree
|
commitdiff
2016-01-29
Mark Wright
sci-mathematics/rstudio: Thanks to tomboy-64 for fixing...
tree
|
commitdiff
2016-01-25
Patrice Clement
Merge remote-tracking branch 'github/pr/703'. Fixes...
tree
|
commitdiff
2016-01-24
Michał Górny
Merge the GLEP 67 transition changes
tree
|
commitdiff
2016-01-24
Michał Górny
Set appropriate maintainer types in metadata.xml (GLEP 67)
tree
|
commitdiff
2016-01-24
Michał Górny
Replace all herds with appropriate projects (GLEP 67)
tree
|
commitdiff
2016-01-22
Patrice Clement
net-p2p/amule: Resolve merge conflicts.
tree
|
commitdiff
2016-01-19
Patrice Clement
Merge remote-tracking branch 'github/pr/656'.
tree
|
commitdiff
2016-01-18
Patrice Clement
Merge remote-tracking branch 'github/pr/654'.
tree
|
commitdiff
2016-01-18
Patrice Clement
Merge remote-tracking branch 'github/pr/536'.
tree
|
commitdiff
2016-01-14
Ian Delaney
Merge remote-tracking branch 'remotes/sbraz/jaraco'
tree
|
commitdiff
2016-01-13
Jauhien Piatlicki
sci-mathematics/{agda,agda-stdlib}: version bump
tree
|
commitdiff
2015-11-28
Justin Lecher
Merge branch 'xfim-master'
tree
|
commitdiff
2015-11-25
Patrice Clement
Merge remote-tracking branch 'github/pr/367'.
tree
|
commitdiff
2015-11-23
Patrice Clement
Merge remote-tracking branch 'github/pr/382'. Fixes...
tree
|
commitdiff
2015-11-23
Patrice Clement
Merge remote-tracking branch 'github/pr/371'.
tree
|
commitdiff
2015-11-23
Patrice Clement
Merge remote-tracking branch 'github/pr/377'.
tree
|
commitdiff
2015-11-23
Patrice Clement
Merge remote-tracking branch 'github/pr/379'.
tree
|
commitdiff
2015-11-23
Justin Lecher
sci-mathematics/agda-stdlib: Replace INSOPTIONS by...
tree
|
commitdiff
2015-08-25
Michał Górny
Merge media-sound/spotify: Fix homepage URL
tree
|
commitdiff
2015-08-24
Mike Gilbert
Revert DOCTYPE SYSTEM https changes in metadata.xml
tree
|
commitdiff
2015-08-24
Justin Lecher
Use https by default
tree
|
commitdiff
2015-08-09
Robin H. Johnson
proj/gentoo: Initial commit
tree
|
commitdiff