dev-ml/ocaml-containers: fix build with sequence 0.9
[gentoo.git] / dev-ml / lwt /
2016-12-07 Alexis Ballierdev-ml/lwt: bump to 2.6.0
2016-10-01 Robin H. Johnsonsys-block/btrace: Merge GitHub PR #1716
2016-07-26 Pacho RamosMerge remote-tracking branch 'github/pr/1633', bug...
2016-06-29 Michał Górnydev-ml/lwt: Drop interim version w/ same kw, #586918
2016-06-23 Alexis Ballierdev-ml/lwt: drop backward compat dep on camlp4
2016-06-23 Alexis Ballierdev-ml/lwt: drop Pierre & proxy maints from metadata...
2016-06-23 Alexis BallierRevert "dev-ml/*: Remove := slot ops from || deps,...
2016-06-21 Michał Górnydev-ml/*: Remove := slot ops from || deps, #586304
2016-05-03 Alexis Ballierdev-ml/lwt: bump to 2.5.2
2016-03-08 Patrice ClementMerge github#785: net-libs/nodejs: removal
2016-03-08 Patrice ClementMerge github#363: sys-process/atop: add systemd support
2016-03-07 Patrice ClementMerge github#758: media-sound/mpd: fix the systemd...
2016-03-07 Ian DelaneyMerge remote-tracking branch 'remotes/sbraz/pysrt'
2016-02-21 Michał Górnymedia-gfx/splash-themes-livecd: Merge gentoo-functions...
2016-02-09 Patrice ClementMerge remote-tracking branch 'github/pr/707'.
2016-02-09 Patrice ClementMerge remote-tracking branch 'github/pr/718'.
2016-02-09 Patrice ClementMerge remote-tracking branch 'github/pr/755'.
2016-02-09 Patrice ClementMerge remote-tracking branch 'github/pr/805'.
2016-02-08 Patrice ClementMerge remote-tracking branch 'github/pr/372'.
2016-02-08 Ian DelaneyMerge remote-tracking branch 'remotes/zpuskas/youtube...
2016-02-07 Alexis Ballierdev-ml/lwt: remove old
2016-02-06 Alexis Ballierdev-ml/lwt: add ppx useflag and enable it by default...
2016-02-05 Patrice ClementMerge remote-tracking branch 'github/pr/608'.
2016-02-04 Patrice ClementMerge remote-tracking branch 'github/pr/708'.
2016-02-01 Patrice ClementMerge remote-tracking branch 'github/pr/760'.
2016-01-30 Patrice ClementMerge remote-tracking branch 'github/pr/674'.
2016-01-29 Mark Wrightsci-mathematics/rstudio: Thanks to tomboy-64 for fixing...
2016-01-25 Patrice ClementMerge remote-tracking branch 'github/pr/703'. Fixes...
2016-01-24 Michał GórnyMerge the GLEP 67 transition changes
2016-01-24 Michał GórnySet appropriate maintainer types in metadata.xml (GLEP 67)
2016-01-24 Michał GórnyReplace all herds with appropriate projects (GLEP 67)
2016-01-22 Patrice Clementnet-p2p/amule: Resolve merge conflicts.
2015-12-19 Patrice ClementMerge remote-tracking branch 'github/pr/449'.
2015-12-11 Patrice ClementMerge remote-tracking branch 'github/pr/425'.
2015-12-09 Patrice ClementMerge remote-tracking branch 'github/pr/431'.
2015-12-09 Ian DelaneyMerge remote-tracking branch 'remotes/arcriley/master'
2015-12-09 Alexis Ballierdev-ml/lwt: bump to 2.5.1
2015-08-25 Michał GórnyMerge media-sound/spotify: Fix homepage URL
2015-08-24 Mike GilbertRevert DOCTYPE SYSTEM https changes in metadata.xml
2015-08-24 Justin LecherUse https by default
2015-08-09 Robin H. Johnsonproj/gentoo: Initial commit