projects
/
gentoo.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
x11-wm/xpra: amd64 stable
[gentoo.git]
/
dev-lang
/
mercury
/
2017-12-09
Michał Górny
dev-lang/*: Update Manifest hashes
tree
|
commitdiff
2017-11-03
Andreas K. Hüttel
dev-lang/mercury: Links to libnsl, so add dependency
tree
|
commitdiff
2017-10-01
Keri Harris
dev-lang/mercury: use Mmake.params to specify CFLAGS...
tree
|
commitdiff
2017-09-30
Keri Harris
dev-lang/mercury: do not allow the Mercury compiler...
tree
|
commitdiff
2017-09-30
Keri Harris
dev-lang/mercury: version bump
tree
|
commitdiff
2017-09-26
Keri Harris
dev-lang/mercury: fix failing foreign-decl-line-number...
tree
|
commitdiff
2017-09-26
Keri Harris
dev-lang/mercury: version bump
tree
|
commitdiff
2017-09-25
Keri Harris
dev-lang/mercury: remove old versions
tree
|
commitdiff
2017-09-25
Keri Harris
dev-lang/mercury: fix XDG_xxx_DIR sandbox issue. Bug...
tree
|
commitdiff
2017-02-28
Robin H. Johnson
Drop $Id$ per council decision in bug #611234.
tree
|
commitdiff
2017-01-26
T. Malfatti
media-libs/portaudio: Version bump
tree
|
commitdiff
2017-01-25
Amadeusz Żołnowski
Merge remote-tracking branch 'github/pr/3411'
tree
|
commitdiff
2017-01-23
Agostino Sarubbo
dev-lang/mercury: x86 stable wrt bug #605126
tree
|
commitdiff
2017-01-23
Agostino Sarubbo
dev-lang/mercury: amd64 stable wrt bug #605126
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
2016-01-23
Markos Chandras
Merge remote-tracking branch 'remotes/github/pr/709'
tree
|
commitdiff
2016-01-22
Justin Lecher
dev-lang/mercury: Use ecvs_clean to clean workdir
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