projects
/
gentoo.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
dev-ml/labltk: ppc64 stable wrt bug #708672
[gentoo.git]
/
dev-ml
/
ppx_let
/
2019-12-13
Michał Górny
*/*: Remove ml@ from packages maintainers
tree
|
commitdiff
2017-12-09
Michał Górny
dev-ml/*: Update Manifest hashes
tree
|
commitdiff
2017-08-15
Alexis Ballier
dev-ml/ppx_let: convert to opam.eclass
tree
|
commitdiff
2017-04-29
Justin Lecher
Globally add missing remote ID references to metadata.xml
tree
|
commitdiff
2017-04-02
Alexis Ballier
dev-ml/ppx_let: Bump to 0.9.0
tree
|
commitdiff
2017-02-28
Robin H. Johnson
Drop $Id$ per council decision in bug #611234.
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/ppx_let: remove old
tree
|
commitdiff
2016-05-03
Alexis Ballier
dev-ml/ppx_let: fix build with ocaml 4.03
tree
|
commitdiff
2016-03-24
Sven Wegener
Merge remote-tracking branch 'github/pr/1091'
tree
|
commitdiff
2016-03-22
Alexis Ballier
dev-ml/ppx_let: bump to 113.33.00
tree
|
commitdiff
2016-03-08
Patrice Clement
Merge github#785: net-libs/nodejs: removal
tree
|
commitdiff
2016-03-08
Patrice Clement
Merge github#363: sys-process/atop: add systemd support
tree
|
commitdiff
2016-03-07
Patrice Clement
Merge github#758: media-sound/mpd: fix the systemd...
tree
|
commitdiff
2016-03-07
Ian Delaney
Merge remote-tracking branch 'remotes/sbraz/pysrt'
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-06
Ian Delaney
Merge remote-tracking branch 'remotes/sbraz/pymediainfo'
tree
|
commitdiff
2016-02-06
Patrice Clement
Merge remote-tracking branch 'github/pr/301'.
tree
|
commitdiff
2016-02-06
Patrice Clement
Merge remote-tracking branch 'github/pr/790'.
tree
|
commitdiff
2016-02-06
Patrice Clement
Merge remote-tracking branch 'github/pr/783'.
tree
|
commitdiff
2016-02-06
Patrice Clement
Merge remote-tracking branch 'github/pr/795'.
tree
|
commitdiff
2016-02-05
Alexis Ballier
dev-ml/ppx_let: initial import; ebuild by me
tree
|
commitdiff