projects / gentoo.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
app-arch/dpkg: amd64 stable wrt bug #645096
[gentoo.git] / dev-lang / mercury-extras /
2017-12-09 Michał Górnydev-lang/*: Update Manifest hashes tree | commitdiff
2017-09-30 Keri Harrisdev-lang/mercury-extras: version bump tree | commitdiff
2017-09-28 Keri Harrisdev-lang/mercury-extras: filter out java+erlang grades... tree | commitdiff
2017-09-27 Keri Harrisdev-lang/mercury-extras: filter out java+erlang grades... tree | commitdiff
2017-09-27 Keri Harrisdev-lang/mercury-extras: filter out java+erlang grades... tree | commitdiff
2017-09-26 Keri Harrisdev-lang/mercury-extras: virtual/glu is a dependency... tree | commitdiff
2017-09-26 Keri Harrisdev-lang/mercury-extras: support building mercury_tcltk... tree | commitdiff
2017-09-26 Keri Harrisdev-lang/mercury-extras: version bump tree | commitdiff
2017-09-25 Keri Harrisdev-lang/mercury-extras: remove old versions 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
2017-01-25 Amadeusz ŻołnowskiMerge remote-tracking branch 'github/pr/3411' tree | commitdiff
2017-01-23 Agostino Sarubbodev-lang/mercury-extras: x86 stable wrt bug #605126 tree | commitdiff
2017-01-23 Agostino Sarubbodev-lang/mercury-extras: amd64 stable wrt bug #605126 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
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.