projects / gentoo.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
dev-ml/num: add for newer ocaml + coq
[gentoo.git] / dev-ml / uuidm /
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-08-02 Alexis Ballierdev-ml/uuidm: update to opam.eclass tree | commitdiff
2017-02-28 Robin H. JohnsonDrop $Id$ per council decision in bug #611234. 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/uuidm: remove old tree | commitdiff
2016-11-29 Alexis Ballierdev-ml/uuidm: bump to 0.9.6 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 Ian DelaneyMerge remote-tracking branch 'remotes/sbraz/pysrt' tree | commitdiff
2016-02-21 Michał Górnymedia-gfx/splash-themes-livecd: Merge gentoo-functions... tree | commitdiff
2016-02-09 Patrice ClementMerge remote-tracking branch 'github/pr/813'. tree | commitdiff
2016-02-09 Patrice ClementMerge remote-tracking branch 'github/pr/707'. tree | commitdiff
2016-02-09 Patrice ClementMerge remote-tracking branch 'github/pr/718'. tree | commitdiff
2016-02-09 Patrice ClementMerge remote-tracking branch 'github/pr/755'. tree | commitdiff
2016-02-09 Patrice ClementMerge remote-tracking branch 'github/pr/805'. tree | commitdiff
2016-02-09 Alexis Ballierdev-ml/uuidm: initial import; ebuild by me tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.