projects
/
gentoo.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
dev-ml/ocaml-fileutils: bump to 0.5.1
[gentoo.git]
/
dev-ml
/
extlib
/
2016-10-01
Robin H. Johnson
sys-block/btrace: Merge GitHub PR #1716
tree
|
commitdiff
2016-07-26
Pacho Ramos
Merge remote-tracking branch 'github/pr/1633', bug...
tree
|
commitdiff
2016-06-29
Michał Górny
dev-ml/extlib: Drop non-camlp4 support, #586910
tree
|
commitdiff
2016-06-23
Alexis Ballier
Revert "dev-ml/*: Remove := slot ops from || deps,...
tree
|
commitdiff
2016-06-21
Michał Górny
dev-ml/*: Remove := slot ops from || deps, #586304
tree
|
commitdiff
2016-03-08
Patrice Clement
Merge github#363: sys-process/atop: add systemd support
tree
|
commitdiff
2016-02-21
Michał Górny
media-gfx/splash-themes-livecd: Merge gentoo-functions...
tree
|
commitdiff
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
2015-10-05
Markos Chandras
Merge remote-tracking branch 'jirutka/lxc-grsec'
tree
|
commitdiff
2015-10-03
Michał Górny
dev-db/postgresql: Merge "use /bin/sh (...) for postgre...
tree
|
commitdiff
2015-09-29
Patrice Clement
Merge remote-tracking branch 'remotes/github/pr/52'.
tree
|
commitdiff
2015-09-27
Andreas K. Huettel...
Merge remote-tracking branch 'github/pr/135'
tree
|
commitdiff
2015-09-23
Patrice Clement
Merge remote-tracking branch 'remotes/github/pr/120'.
tree
|
commitdiff
2015-09-23
Patrice Clement
Merge remote-tracking branch 'remotes/github/pr/121'.
tree
|
commitdiff
2015-09-20
Andreas K. Huettel...
Merge remote-tracking branch 'github/pr/107'
tree
|
commitdiff
2015-09-19
Alexis Ballier
dev-ml/extlib: Fix deps. Upstream switched from camlp4...
tree
|
commitdiff
2015-09-16
Justin Lecher
Merge branch 'marbre-glm'
tree
|
commitdiff
2015-09-16
Justin Lecher
Add remote-id
tree
|
commitdiff
2015-09-15
Julian Ospald
Merge branch 'gentoo-bug-542168' of git://github.com...
tree
|
commitdiff
2015-09-14
Alexis Ballier
dev-ml/extlib: bump to 1.7.0 and switch to github.
tree
|
commitdiff
2015-09-09
Michał Górny
Merge game-action/minetest: Version bump to 0.4.13
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
Convert URIs for googlecode.com to https
tree
|
commitdiff
2015-08-24
Justin Lecher
Enable https for all google URIs
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