projects
/
gentoo.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
dev-lang/swi-prolog: version bump
[gentoo.git]
/
dev-lang
/
mmix
/
2020-05-02
Sergei Trofimovich
dev-lang/mmix: drop old
tree
|
commitdiff
2020-04-13
Agostino Sarubbo
dev-lang/mmix: x86 stable wrt bug #717238
tree
|
commitdiff
2020-04-13
Agostino Sarubbo
dev-lang/mmix: amd64 stable wrt bug #717238
tree
|
commitdiff
2020-03-12
Sergei Trofimovich
dev-lang/mmix: tweak for gcc-10
tree
|
commitdiff
2019-11-09
Sergei Trofimovich
dev-lang/mmix: use shorter 'dodoc' form
tree
|
commitdiff
2019-06-22
Sergei Trofimovich
dev-lang/mmix: drop old
tree
|
commitdiff
2019-06-22
Sergei Trofimovich
dev-lang/mmix: block against media-sound/mmix, bug...
tree
|
commitdiff
2019-06-21
Sergei Trofimovich
dev-lang/mmix: add slyfox to co-maintainers
tree
|
commitdiff
2018-07-21
Alexis Ballier
dev-lang/mmix: simplify tl deps now that 2017 is stable
tree
|
commitdiff
2018-06-29
Matthias Maier
dev-lang/mmix: set VARTEXFONTS to prevent sandbox viola...
tree
|
commitdiff
2018-06-11
Michael Mair-Keimb...
dev-lang/mmix: use HTTPs
tree
|
commitdiff
2017-12-29
Mikle Kolyada
dev-lang/mmix: amd64 stable wrt bug #640400
tree
|
commitdiff
2017-12-12
Thomas Deutschmann
dev-lang/mmix: x86 stable (bug #640400)
tree
|
commitdiff
2017-12-09
Michał Górny
dev-lang/*: Update Manifest hashes
tree
|
commitdiff
2017-12-09
Matthias Maier
dev-lang/mmix: remove RESTRICT="MIRROR"
tree
|
commitdiff
2017-06-11
Alexis Ballier
dev-lang/mmix: adapt deps for texlive 2017
tree
|
commitdiff
2017-02-28
Robin H. Johnson
Drop $Id$ per council decision in bug #611234.
tree
|
commitdiff
2017-01-26
Alexis Ballier
Merge remote-tracking branch 'github/pr/3514'
tree
|
commitdiff
2017-01-26
Matthias Maier
dev-lang/mmix: version bump to 20160804
tree
|
commitdiff
2016-03-08
Patrice Clement
Merge github#363: sys-process/atop: add systemd support
tree
|
commitdiff
2016-02-21
Michał Górny
media-gfx/splash-themes-livecd: Merge gentoo-functions...
tree
|
commitdiff
2016-02-08
Patrice Clement
Merge remote-tracking branch 'github/pr/372'.
tree
|
commitdiff
2016-02-05
Patrice Clement
Merge remote-tracking branch 'github/pr/608'.
tree
|
commitdiff
2016-02-04
Patrice Clement
Merge remote-tracking branch 'github/pr/708'.
tree
|
commitdiff
2016-02-01
Patrice Clement
Merge remote-tracking branch 'github/pr/760'.
tree
|
commitdiff
2016-01-30
Patrice Clement
Merge remote-tracking branch 'github/pr/674'.
tree
|
commitdiff
2016-01-29
Mark Wright
sci-mathematics/rstudio: Thanks to tomboy-64 for fixing...
tree
|
commitdiff
2016-01-25
Patrice Clement
Merge remote-tracking branch 'github/pr/703'. Fixes...
tree
|
commitdiff
2016-01-24
Michał Górny
Merge the GLEP 67 transition changes
tree
|
commitdiff
2016-01-24
Michał Górny
Set appropriate maintainer types in metadata.xml (GLEP 67)
tree
|
commitdiff
2015-10-05
Markos Chandras
Merge remote-tracking branch 'jirutka/lxc-grsec'
tree
|
commitdiff
2015-10-03
Michał Górny
dev-db/postgresql: Merge "use /bin/sh (...) for postgre...
tree
|
commitdiff
2015-09-29
Patrice Clement
Merge remote-tracking branch 'remotes/github/pr/52'.
tree
|
commitdiff
2015-09-27
Andreas K. Huettel...
Merge remote-tracking branch 'github/pr/135'
tree
|
commitdiff
2015-09-23
Patrice Clement
Merge remote-tracking branch 'remotes/github/pr/120'.
tree
|
commitdiff
2015-09-23
Patrice Clement
Merge remote-tracking branch 'remotes/github/pr/121'.
tree
|
commitdiff
2015-09-20
Andreas K. Huettel...
Merge remote-tracking branch 'github/pr/108'
tree
|
commitdiff
2015-09-20
Andreas K. Huettel...
Merge remote-tracking branch 'github/pr/107'
tree
|
commitdiff
2015-09-20
Matthias Maier
dev-lang/mmix: Compilation fix for format-security...
tree
|
commitdiff
2015-09-20
Matthias Maier
dev-lang/mmix: Update homepage
tree
|
commitdiff
2015-08-25
Michał Górny
Merge media-sound/spotify: Fix homepage URL
tree
|
commitdiff
2015-08-24
Mike Gilbert
Revert DOCTYPE SYSTEM https changes in metadata.xml
tree
|
commitdiff
2015-08-24
Justin Lecher
Use https by default
tree
|
commitdiff
2015-08-09
Robin H. Johnson
proj/gentoo: Initial commit
tree
|
commitdiff