projects / gentoo.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
dev-ml/dune: remove old version
[gentoo.git] / dev-ml / extlib /
2019-12-29 Mikle Kolyadadev-ml/extlib: Version bump (v1.7.6) tree | commitdiff
2019-12-13 Michał Górny*/*: Remove ml@ from packages maintainers tree | commitdiff
2017-12-09 Michał Górnydev-ml/*: Update Manifest hashes tree | commitdiff
2017-06-22 Alexis Ballierdev-ml/extlib: keyword ~arm64 tree | commitdiff
2017-04-05 Markus Meierdev-ml/extlib: add ~arm, bug #611014 tree | commitdiff
2017-04-01 Alexis Ballierdev-ml/extlib: bump to 1.7.2 tree | commitdiff
2017-03-27 Alexis Ballierdev-ml/extlib: Fix build with ocaml 4.05 tree | commitdiff
2017-02-28 Robin H. JohnsonDrop $Id$ per council decision in bug #611234. tree | commitdiff
2017-02-23 Alexis Ballierdev-ml/extlib: remove old tree | commitdiff
2017-02-23 Michael Weberdev-ml/extlib: ppc stable (bug 586910). tree | commitdiff
2017-02-23 Michael Weberdev-ml/extlib: Add ~ppc keyword (bug 586910). tree | commitdiff
2017-02-16 Agostino Sarubbodev-ml/extlib: x86 stable wrt bug #586910 tree | commitdiff
2017-02-16 Agostino Sarubbodev-ml/extlib: amd64 stable wrt bug #586910 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/extlib: remove old tree | commitdiff
2016-11-19 Robin H. JohnsonMerge remote-tracking branch 'github/pr/2627' tree | commitdiff
2016-11-15 Alexis Ballierdev-ml/extlib: bump to 1.7.1 tree | commitdiff
2016-10-01 Robin H. Johnsonsys-block/btrace: Merge GitHub PR #1716 tree | commitdiff
2016-07-26 Pacho RamosMerge remote-tracking branch 'github/pr/1633', bug... tree | commitdiff
2016-06-29 Michał Górnydev-ml/extlib: Drop non-camlp4 support, #586910 tree | commitdiff
2016-06-23 Alexis BallierRevert "dev-ml/*: Remove := slot ops from || deps,... tree | commitdiff
2016-06-21 Michał Górnydev-ml/*: Remove := slot ops from || deps, #586304 tree | commitdiff
2016-03-08 Patrice ClementMerge github#363: sys-process/atop: add systemd support 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-05 Patrice ClementMerge remote-tracking branch 'github/pr/608'. tree | commitdiff
2016-02-04 Patrice ClementMerge remote-tracking branch 'github/pr/708'. tree | commitdiff
2016-02-01 Patrice ClementMerge remote-tracking branch 'github/pr/760'. tree | commitdiff
2016-01-30 Patrice ClementMerge remote-tracking branch 'github/pr/674'. tree | commitdiff
2016-01-29 Mark Wrightsci-mathematics/rstudio: Thanks to tomboy-64 for fixing... tree | commitdiff
2016-01-25 Patrice ClementMerge remote-tracking branch 'github/pr/703'. Fixes... tree | commitdiff
2016-01-24 Michał GórnyMerge the GLEP 67 transition changes tree | commitdiff
2016-01-24 Michał GórnySet appropriate maintainer types in metadata.xml (GLEP 67) tree | commitdiff
2016-01-24 Michał GórnyReplace all herds with appropriate projects (GLEP 67) tree | commitdiff
2015-10-05 Markos ChandrasMerge remote-tracking branch 'jirutka/lxc-grsec' tree | commitdiff
2015-10-03 Michał Górnydev-db/postgresql: Merge "use /bin/sh (...) for postgre... tree | commitdiff
2015-09-29 Patrice ClementMerge remote-tracking branch 'remotes/github/pr/52'. tree | commitdiff
2015-09-27 Andreas K. Huettel... Merge remote-tracking branch 'github/pr/135' tree | commitdiff
2015-09-23 Patrice ClementMerge remote-tracking branch 'remotes/github/pr/120'. tree | commitdiff
2015-09-23 Patrice ClementMerge remote-tracking branch 'remotes/github/pr/121'. tree | commitdiff
2015-09-20 Andreas K. Huettel... Merge remote-tracking branch 'github/pr/107' tree | commitdiff
2015-09-19 Alexis Ballierdev-ml/extlib: Fix deps. Upstream switched from camlp4... tree | commitdiff
2015-09-16 Justin LecherMerge branch 'marbre-glm' tree | commitdiff
2015-09-16 Justin LecherAdd remote-id tree | commitdiff
2015-09-15 Julian OspaldMerge branch 'gentoo-bug-542168' of git://github.com... tree | commitdiff
2015-09-14 Alexis Ballierdev-ml/extlib: bump to 1.7.0 and switch to github. tree | commitdiff
2015-09-09 Michał GórnyMerge game-action/minetest: Version bump to 0.4.13 tree | commitdiff
2015-08-25 Michał GórnyMerge media-sound/spotify: Fix homepage URL tree | commitdiff
2015-08-24 Mike GilbertRevert DOCTYPE SYSTEM https changes in metadata.xml tree | commitdiff
2015-08-24 Justin LecherConvert URIs for googlecode.com to https tree | commitdiff
2015-08-24 Justin LecherEnable https for all google URIs tree | commitdiff
2015-08-24 Justin LecherUse https by default tree | commitdiff
2015-08-09 Robin H. Johnsonproj/gentoo: Initial commit tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.