dev-ml/dune: version bump
[gentoo.git] / dev-ml / opam / files /
2017-08-02 Alexis Ballierdev-ml/opam: Remove old
2017-04-12 Alexis Ballierdev-ml/opam: Patch default stublibs to match manpage.
2017-03-02 Alexis Ballierdev-ml/opam: Fix build with cmdliner 1.0.0
2017-01-26 T. Malfattimedia-libs/portaudio: Version bump
2017-01-25 Amadeusz ŻołnowskiMerge remote-tracking branch 'github/pr/3411'
2017-01-24 Alexis Ballierdev-ml/opam: remove old
2016-04-30 Alexis Ballierdev-ml/opam: apply debian patch, backported from upstre...
2016-03-08 Patrice ClementMerge github#363: sys-process/atop: add systemd support
2016-02-21 Michał Górnymedia-gfx/splash-themes-livecd: Merge gentoo-functions...
2016-02-08 Patrice ClementMerge remote-tracking branch 'github/pr/372'.
2016-02-05 Patrice ClementMerge remote-tracking branch 'github/pr/608'.
2016-02-01 Patrice ClementMerge remote-tracking branch 'github/pr/760'.
2016-01-29 Mark Wrightsci-mathematics/rstudio: Thanks to tomboy-64 for fixing...
2016-01-22 Patrice Clementnet-p2p/amule: Resolve merge conflicts.
2016-01-21 Alexis BallierMerge remote-tracking branch 'remotes/github/pr/662'
2016-01-20 Ian DelaneyMerge remote-tracking branch 'remotes/hydrapolic/vagrant'
2016-01-19 Patrice ClementMerge remote-tracking branch 'github/pr/682'.
2016-01-19 Alexis Ballierdev-ml/opam: import debian patch to fix build with...