projects / gentoo.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
dev-ml/llvm-ocaml: Include 11.* ebuilds for master
[gentoo.git] / dev-ml / ppx_driver /
2019-12-13 Michał Górny*/*: Remove ml@ from packages maintainers tree | commitdiff
2018-02-14 Thomas Deutschmanndev-ml/ppx_driver: x86 keyworded (bug #627836) tree | commitdiff
2017-12-09 Michał Górnydev-ml/*: Update Manifest hashes tree | commitdiff
2017-11-10 Alexis Ballierdev-ml/ppx_driver: unfold transitive := dep on stdio... tree | commitdiff
2017-09-22 Alexis Ballierdev-ml/ppx_driver: update to opam.eclass tree | commitdiff
2017-09-22 Alexis Ballierdev-ml/ppx_driver: Remove old tree | commitdiff
2017-09-10 Sergei Trofimovichdev-ml/ppx_driver: keyworded 0.9.1 for ppc, bug #627836 tree | commitdiff
2017-04-29 Justin LecherGlobally add missing remote ID references to metadata.xml tree | commitdiff
2017-04-18 Alexis Ballierdev-ml/ppx_driver: bump to 0.9.1 tree | commitdiff
2017-04-02 Alexis Ballierdev-ml/ppx_driver: Bump to 0.9.0 tree | commitdiff
2017-02-28 Robin H. JohnsonDrop $Id$ per council decision in bug #611234. tree | commitdiff
2017-02-05 Alexis Ballierdev-ml/ppx_driver: add missing build dep on dev-ml... tree | commitdiff
2017-01-30 Alexis Ballierdev-ml/ppx_driver: bump to 113.33.04 tree | commitdiff
2017-01-26 T. Malfattimedia-libs/portaudio: Version bump tree | commitdiff
2017-01-25 Amadeusz ŻołnowskiMerge remote-tracking branch 'github/pr/3411' tree | commitdiff
2017-01-24 Alexis Ballierdev-ml/ppx_driver: remove old tree | commitdiff
2016-05-03 Alexis Ballierdev-ml/ppx_driver: fix build with ocaml 4.03 tree | commitdiff
2016-03-24 Sven WegenerMerge remote-tracking branch 'github/pr/1091' tree | commitdiff
2016-03-22 Alexis Ballierdev-ml/ppx_driver: bump to 113.33.00 tree | commitdiff
2016-03-08 Patrice ClementMerge github#785: net-libs/nodejs: removal tree | commitdiff
2016-03-08 Patrice ClementMerge github#363: sys-process/atop: add systemd support tree | commitdiff
2016-03-07 Patrice ClementMerge github#758: media-sound/mpd: fix the systemd... tree | commitdiff
2016-03-07 Patrice ClementMerge github#920: app-arch/zopfli: Version bump 1.0.1. tree | commitdiff
2016-03-07 Ian DelaneyMerge remote-tracking branch 'remotes/sbraz/pysrt' tree | commitdiff
2016-03-04 Ian DelaneyMerge remote-tracking branch 'remotes/PPed72/net-p2p... tree | commitdiff
2016-03-01 Patrice ClementMerge github#955: app-editors/gummi: minor fixes tree | commitdiff
2016-03-01 Alexis Ballierdev-ml/ppx_driver: add ocamlbuild rdep tree | commitdiff
2016-02-21 Michał Górnymedia-gfx/splash-themes-livecd: Merge gentoo-functions... tree | commitdiff
2016-02-08 Patrice ClementMerge remote-tracking branch 'github/pr/372'. tree | commitdiff
2016-02-06 Ian DelaneyMerge remote-tracking branch 'remotes/sbraz/pymediainfo' tree | commitdiff
2016-02-06 Patrice ClementMerge remote-tracking branch 'github/pr/301'. tree | commitdiff
2016-02-06 Patrice ClementMerge remote-tracking branch 'github/pr/790'. tree | commitdiff
2016-02-06 Patrice ClementMerge remote-tracking branch 'github/pr/783'. tree | commitdiff
2016-02-06 Patrice ClementMerge remote-tracking branch 'github/pr/795'. tree | commitdiff
2016-02-05 Alexis Ballierdev-ml/ppx_driver: Use proper install method. tree | commitdiff
2016-02-05 Alexis Ballierdev-ml/ppx_driver: initial import; ebuild by me tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.