projects
/
gentoo.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
dev-ml/dune: version bump
[gentoo.git]
/
dev-ml
/
opam
/
files
/
2017-08-02
Alexis Ballier
dev-ml/opam: Remove old
tree
|
commitdiff
2017-04-12
Alexis Ballier
dev-ml/opam: Patch default stublibs to match manpage.
tree
|
commitdiff
2017-03-02
Alexis Ballier
dev-ml/opam: Fix build with cmdliner 1.0.0
tree
|
commitdiff
2017-01-26
T. Malfatti
media-libs/portaudio: Version bump
tree
|
commitdiff
2017-01-25
Amadeusz Żołnowski
Merge remote-tracking branch 'github/pr/3411'
tree
|
commitdiff
2017-01-24
Alexis Ballier
dev-ml/opam: remove old
tree
|
commitdiff
2016-04-30
Alexis Ballier
dev-ml/opam: apply debian patch, backported from upstre...
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-01
Patrice Clement
Merge remote-tracking branch 'github/pr/760'.
tree
|
commitdiff
2016-01-29
Mark Wright
sci-mathematics/rstudio: Thanks to tomboy-64 for fixing...
tree
|
commitdiff
2016-01-22
Patrice Clement
net-p2p/amule: Resolve merge conflicts.
tree
|
commitdiff
2016-01-21
Alexis Ballier
Merge remote-tracking branch 'remotes/github/pr/662'
tree
|
commitdiff
2016-01-20
Ian Delaney
Merge remote-tracking branch 'remotes/hydrapolic/vagrant'
tree
|
commitdiff
2016-01-19
Patrice Clement
Merge remote-tracking branch 'github/pr/682'.
tree
|
commitdiff
2016-01-19
Alexis Ballier
dev-ml/opam: import debian patch to fix build with...
tree
|
commitdiff