git.tremily.us Git - gentoo.git/history - sci-mathematics/agda/agda-2.4.2.5.ebuild

2016-02-21	Michał Górny	media-gfx/splash-themes-livecd: Merge gentoo-functions...	blob \| commitdiff \| raw
2016-02-08	Patrice Clement	Merge remote-tracking branch 'github/pr/372'.	blob \| commitdiff \| raw
2016-02-05	Patrice Clement	Merge remote-tracking branch 'github/pr/608'.	blob \| commitdiff \| raw
2016-02-01	Patrice Clement	Merge remote-tracking branch 'github/pr/760'.	blob \| commitdiff \| raw
2016-01-29	Mark Wright	sci-mathematics/rstudio: Thanks to tomboy-64 for fixing...	blob \| commitdiff \| raw
2016-01-22	Patrice Clement	net-p2p/amule: Resolve merge conflicts.	blob \| commitdiff \| raw
2016-01-19	Patrice Clement	Merge remote-tracking branch 'github/pr/656'.	blob \| commitdiff \| raw
2016-01-18	Patrice Clement	Merge remote-tracking branch 'github/pr/654'.	blob \| commitdiff \| raw
2016-01-18	Patrice Clement	Merge remote-tracking branch 'github/pr/536'.	blob \| commitdiff \| raw
2016-01-14	Ian Delaney	Merge remote-tracking branch 'remotes/sbraz/jaraco'	blob \| commitdiff \| raw
2016-01-13	Jauhien Piatlicki	sci-mathematics/{agda,agda-stdlib}: version bump	blob \| commitdiff \| raw

Unnamed repository; edit this file 'description' to name the repository.