projects / gentoo.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
dev-python/pip: arm64 keyworded (bug #719700)
[gentoo.git] / dev-lang / maude /
2017-12-09 Michał Górnydev-lang/*: Update Manifest hashes tree | commitdiff
2017-11-26 David Seifertdev-lang/maude: [QA] Consistent whitespace in metadata.xml tree | commitdiff
2017-08-13 Michael Mair-Keimb... dev-lang/maude: remove unused patch tree | commitdiff
2017-02-28 Robin H. JohnsonDrop $Id$ per council decision in bug #611234. tree | commitdiff
2016-10-08 David Seifertdev-lang/maude: Remove old ebuild tree | commitdiff
2016-10-07 David Seifertdev-lang/maude: Add USE="cxx" dep for dev-lang/maude-2.7 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-13 Ian DelaneyMerge remote-tracking branch 'remotes/tomboy-64/qcheck' tree | commitdiff
2016-02-13 Ian DelaneyMerge remote-tracking branch 'remotes/tomboy-64/sigil' tree | commitdiff
2016-02-11 David Seifertdev-lang/maude: Version bump to 2.7 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-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 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.