projects / gentoo.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
dev-libs/openssl: stable 1.0.2n for ia64/ppc/ppc64, bug #640172
[gentoo.git] / sci-mathematics / agda /
2017-02-28 Robin H. JohnsonDrop $Id$ per council decision in bug #611234. tree | commitdiff
2017-02-16 Sergei Trofimovichsci-mathematics/agda: bump up to 2.5.2 tree | commitdiff
2017-01-26 T. Malfattimedia-libs/portaudio: Version bump tree | commitdiff
2016-11-19 Robin H. JohnsonMerge remote-tracking branch 'github/pr/2627' tree | commitdiff
2016-11-18 Sergei Trofimovichsci-mathematics/agda: allow alex-3.2, bug #600034 tree | commitdiff
2016-10-01 Robin H. Johnsonnet-misc/iputils: Merge GitHub PR #2289 tree | commitdiff
2016-10-01 Robin H. Johnsonsys-block/btrace: Merge GitHub PR #1716 tree | commitdiff
2016-09-11 Sergei Trofimovichsci-mathematics/agda: allow cpphs-1.20 tree | commitdiff
2016-04-22 Sergei Trofimovichsci-mathematics/agda: drop old tree | commitdiff
2016-04-03 Sergei Trofimovichsci-mathematics/agda: allow transformers-compat-0.4 tree | commitdiff
2016-04-03 Sergei Trofimovichsci-mathematics/agda: drop unused local USE-description... tree | commitdiff
2016-04-03 Sergei Trofimovichsci-mathematics/agda: drop old tree | commitdiff
2016-03-08 Patrice ClementMerge github#785: net-libs/nodejs: removal tree | commitdiff
2016-03-08 Patrice ClementMerge github#363: sys-process/atop: add systemd support tree | commitdiff
2016-03-07 Patrice ClementMerge github#758: media-sound/mpd: fix the systemd... tree | commitdiff
2016-03-07 Ian DelaneyMerge remote-tracking branch 'remotes/sbraz/pysrt' tree | commitdiff
2016-02-21 Michał Górnymedia-gfx/splash-themes-livecd: Merge gentoo-functions... tree | commitdiff
2016-02-09 Patrice ClementMerge remote-tracking branch 'github/pr/813'. tree | commitdiff
2016-02-09 Patrice ClementMerge remote-tracking branch 'github/pr/707'. tree | commitdiff
2016-02-09 Patrice ClementMerge remote-tracking branch 'github/pr/718'. tree | commitdiff
2016-02-09 Patrice ClementMerge remote-tracking branch 'github/pr/755'. tree | commitdiff
2016-02-09 Patrice ClementMerge remote-tracking branch 'github/pr/805'. tree | commitdiff
2016-02-09 Ian DelaneyMerge remote-tracking branch 'remotes/jbergstroem/fix... tree | commitdiff
2016-02-09 Ian DelaneyMerge remote-tracking branch 'remotes/atlaua/aranea... tree | commitdiff
2016-02-08 Sergei Trofimovichsci-mathematics/agda: fix hastables build failure,... 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
2016-01-24 Michał GórnyUnify quoting in metadata.xml files for machine processing tree | commitdiff
2016-01-22 Patrice Clementnet-p2p/amule: Resolve merge conflicts. tree | commitdiff
2016-01-19 Patrice ClementMerge remote-tracking branch 'github/pr/656'. tree | commitdiff
2016-01-18 Patrice ClementMerge remote-tracking branch 'github/pr/654'. tree | commitdiff
2016-01-18 Patrice ClementMerge remote-tracking branch 'github/pr/536'. tree | commitdiff
2016-01-14 Ian DelaneyMerge remote-tracking branch 'remotes/sbraz/jaraco' tree | commitdiff
2016-01-13 Jauhien Piatlickisci-mathematics/{agda,agda-stdlib}: version bump tree | commitdiff
2016-01-13 Patrice ClementMerge remote-tracking branch 'github/pr/624'. tree | commitdiff
2016-01-13 Patrice ClementMerge remote-tracking branch 'github/pr/622'. tree | commitdiff
2016-01-13 Patrice ClementMerge remote-tracking branch 'github/pr/644'. tree | commitdiff
2016-01-13 Jauhien Piatlickisci-mathematics/agda: fix dev-haskell/cpphs dependency tree | commitdiff
2015-10-05 Markos ChandrasMerge remote-tracking branch 'jirutka/lxc-grsec' tree | commitdiff
2015-10-03 Michał Górnynet-misc/minidlna: Merge "Fix typo in OpenRC runscripts" tree | commitdiff
2015-10-03 Michał Górnydev-db/postgresql: Merge "use /bin/sh (...) for postgre... tree | commitdiff
2015-09-29 Patrice ClementMerge remote-tracking branch 'remotes/github/pr/115'. tree | commitdiff
2015-09-29 Patrice ClementMerge remote-tracking branch 'remotes/github/pr/116'. tree | commitdiff
2015-09-29 Patrice ClementMerge remote-tracking branch 'remotes/github/pr/118'. tree | commitdiff
2015-09-29 Patrice ClementMerge remote-tracking branch 'remotes/github/pr/52'. tree | commitdiff
2015-09-28 Michał Górnydev-util/sysdig: Merge "version bump to 0.1.104, #559218" tree | commitdiff
2015-09-27 Sergei Trofimovichsci-mathematics/agda: fix .agdai file generation on... 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.