projects / gentoo.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
dev-ml/seq: fix dependency
[gentoo.git] / dev-ml / lambda-term /
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-09-22 Alexis Ballierdev-ml/lambda-term: udpate to opam.eclass tree | commitdiff
2017-04-20 Alexis Ballierdev-ml/lambda-term: remove old tree | commitdiff
2017-04-12 Alexis Ballierdev-ml/lambda-term: bump to 1.11 tree | commitdiff
2017-02-28 Robin H. JohnsonDrop $Id$ per council decision in bug #611234. tree | commitdiff
2016-10-10 Alexis Ballierdev-ml/lambda-term: bump dev-ml/react dep, bug #582970 tree | commitdiff
2016-10-10 Alexis Ballierdev-ml/lambda-term: remove old tree | commitdiff
2016-10-01 Robin H. Johnsonsys-block/btrace: Merge GitHub PR #1716 tree | commitdiff
2016-08-17 Sebastian PippingMerge remote-tracking branch 'github/pr/2098' tree | commitdiff
2016-08-16 Alexis Ballierdev-ml/lambda-term: bump to 1.10.1 tree | commitdiff
2016-04-09 Alexis Ballierdev-ml/lambda-term: bump to 1.10 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/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-08 Patrice ClementMerge remote-tracking branch 'github/pr/372'. tree | commitdiff
2016-02-08 Ian DelaneyMerge remote-tracking branch 'remotes/zpuskas/youtube... tree | commitdiff
2016-02-07 Alexis Ballierdev-ml/lambda-term: remove old 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-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 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.