dev-lang/swi-prolog: version bump
[gentoo.git] / dev-lang / mmix /
2020-05-02 Sergei Trofimovichdev-lang/mmix: drop old
2020-04-13 Agostino Sarubbodev-lang/mmix: x86 stable wrt bug #717238
2020-04-13 Agostino Sarubbodev-lang/mmix: amd64 stable wrt bug #717238
2020-03-12 Sergei Trofimovichdev-lang/mmix: tweak for gcc-10
2019-11-09 Sergei Trofimovichdev-lang/mmix: use shorter 'dodoc' form
2019-06-22 Sergei Trofimovichdev-lang/mmix: drop old
2019-06-22 Sergei Trofimovichdev-lang/mmix: block against media-sound/mmix, bug...
2019-06-21 Sergei Trofimovichdev-lang/mmix: add slyfox to co-maintainers
2018-07-21 Alexis Ballierdev-lang/mmix: simplify tl deps now that 2017 is stable
2018-06-29 Matthias Maierdev-lang/mmix: set VARTEXFONTS to prevent sandbox viola...
2018-06-11 Michael Mair-Keimb... dev-lang/mmix: use HTTPs
2017-12-29 Mikle Kolyadadev-lang/mmix: amd64 stable wrt bug #640400
2017-12-12 Thomas Deutschmanndev-lang/mmix: x86 stable (bug #640400)
2017-12-09 Michał Górnydev-lang/*: Update Manifest hashes
2017-12-09 Matthias Maierdev-lang/mmix: remove RESTRICT="MIRROR"
2017-06-11 Alexis Ballierdev-lang/mmix: adapt deps for texlive 2017
2017-02-28 Robin H. JohnsonDrop $Id$ per council decision in bug #611234.
2017-01-26 Alexis BallierMerge remote-tracking branch 'github/pr/3514'
2017-01-26 Matthias Maierdev-lang/mmix: version bump to 20160804
2016-03-08 Patrice ClementMerge github#363: sys-process/atop: add systemd support
2016-02-21 Michał Górnymedia-gfx/splash-themes-livecd: Merge gentoo-functions...
2016-02-08 Patrice ClementMerge remote-tracking branch 'github/pr/372'.
2016-02-05 Patrice ClementMerge remote-tracking branch 'github/pr/608'.
2016-02-04 Patrice ClementMerge remote-tracking branch 'github/pr/708'.
2016-02-01 Patrice ClementMerge remote-tracking branch 'github/pr/760'.
2016-01-30 Patrice ClementMerge remote-tracking branch 'github/pr/674'.
2016-01-29 Mark Wrightsci-mathematics/rstudio: Thanks to tomboy-64 for fixing...
2016-01-25 Patrice ClementMerge remote-tracking branch 'github/pr/703'. Fixes...
2016-01-24 Michał GórnyMerge the GLEP 67 transition changes
2016-01-24 Michał GórnySet appropriate maintainer types in metadata.xml (GLEP 67)
2015-10-05 Markos ChandrasMerge remote-tracking branch 'jirutka/lxc-grsec'
2015-10-03 Michał Górnydev-db/postgresql: Merge "use /bin/sh (...) for postgre...
2015-09-29 Patrice ClementMerge remote-tracking branch 'remotes/github/pr/52'.
2015-09-27 Andreas K. Huettel... Merge remote-tracking branch 'github/pr/135'
2015-09-23 Patrice ClementMerge remote-tracking branch 'remotes/github/pr/120'.
2015-09-23 Patrice ClementMerge remote-tracking branch 'remotes/github/pr/121'.
2015-09-20 Andreas K. Huettel... Merge remote-tracking branch 'github/pr/108'
2015-09-20 Andreas K. Huettel... Merge remote-tracking branch 'github/pr/107'
2015-09-20 Matthias Maierdev-lang/mmix: Compilation fix for format-security...
2015-09-20 Matthias Maierdev-lang/mmix: Update homepage
2015-08-25 Michał GórnyMerge media-sound/spotify: Fix homepage URL
2015-08-24 Mike GilbertRevert DOCTYPE SYSTEM https changes in metadata.xml
2015-08-24 Justin LecherUse https by default
2015-08-09 Robin H. Johnsonproj/gentoo: Initial commit