Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/agda-stdlib
Commit message (Collapse)AuthorAgeFilesLines
* Bump agda-stdlib snapshot to 20130109, install .agda and .agdai files with ↵Mark Wright2013-01-101-6/+8
| | | | | | --preserve-timestamps (Portage version: 2.1.11.38/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Bump agda-stdlib snapshot to 20130109, install .agda and .agdai files with ↵Mark Wright2013-01-104-6/+75
| | | | | | --preserve-timestamps (Portage version: 2.1.11.38/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Bump agda stdlib to a development snapshot, which I just name ↵Mark Wright2012-11-181-9/+11
| | | | | | 0.7_pre20121118 because I have to call it something, for agda 2.3.2. (Portage version: 2.1.11.31/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Bump agda stdlib to a development snapshot, which I just name ↵Mark Wright2012-11-182-2/+66
| | | | | | 0.7_pre20121118 because I have to call it something, for agda 2.3.2. (Portage version: 2.1.11.31/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Thanks to tomprince for adding support for agda-stdlib.Mark Wright2012-03-251-0/+15
| | | | (Portage version: 2.1.10.51/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Thanks to tomprince for adding support for agda-stdlib.Mark Wright2012-03-254-0/+62
(Portage version: 2.1.10.51/cvs/Linux x86_64)