projects / gentoo.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
sys-process/glances: 3.1.4.1-r1 amd64 stable, bug #720368
[gentoo.git] / dev-lang / polyml /
2019-12-13 Michał Górny*/*: Remove ml@ from packages maintainers tree | commitdiff
2019-12-11 David Seifert*/*: [QA] Remove redundant `|| die` guards tree | commitdiff
2019-12-10 Michał Górny*/*: [QA] Fix trivial cases of MissingTestRestrict tree | commitdiff
2019-10-21 Tupone Alfredodev-lang/polyml: removing me from maintainer tree | commitdiff
2019-04-06 Tupone Alfredodev-lang/polyml: bump to 5.8 tree | commitdiff
2019-04-05 Tupone Alfredodev-lang/polyml: Fix build with libffi3 tree | commitdiff
2019-04-05 Tupone Alfredodev-lang/polyml: Adding me as a maintainer tree | commitdiff
2019-04-05 Tupone Alfredodev-lang/polyml: Fix build, sem_wait found on libpthread tree | commitdiff
2018-06-07 Michael Mair-Keimb... dev-lang/polyml: use HTTPs tree | commitdiff
2017-12-09 Michał Górnydev-lang/*: Update Manifest hashes tree | commitdiff
2017-11-26 David Seifertdev-lang/polyml: [QA] Consistent whitespace in metadata.xml 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
2016-12-28 Mark Wrightdev-lang/polyml: Bump to 5.6 tree | commitdiff
2016-10-10 Michael Mair-Keimb... dev-lang/polyml: remove unused patch. tree | commitdiff
2016-10-01 Robin H. Johnsonsys-block/btrace: Merge GitHub PR #1716 tree | commitdiff
2016-07-27 Mike Frysingersourceforge: switch to https:// URIs 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-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.