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 to 2.4.2.3Mark Wright2015-08-021-4/+6
| | | | (Portage version: 2.2.20/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Bump agda-stdlib to 2.4.2.3Mark Wright2015-08-022-1/+72
| | | | (Portage version: 2.2.20/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Drop old.Sergei Trofimovich2015-08-021-21/+6
| | | | (Portage version: 2.2.20/cvs/Linux x86_64, signed Manifest commit with key 611FF3AA)
* Drop old.Sergei Trofimovich2015-08-023-142/+5
| | | | (Portage version: 2.2.20/cvs/Linux x86_64, signed Manifest commit with key 611FF3AA)
* Updating remote-id in metadata.xmlJustin Lecher2015-06-152-5/+30
| | | | (Portage version: 2.2.20/cvs/Linux x86_64, signed Manifest commit with key E9402A79B03529A2!)
* Remove old version with unsatisfied dependenciesPatrick Lauer2015-01-301-13/+1
| | | | (Portage version: 2.2.15/cvs/Linux x86_64, unsigned Manifest commit)
* Remove old version with unsatisfied dependenciesPatrick Lauer2015-01-302-45/+5
| | | | (Portage version: 2.2.15/cvs/Linux x86_64, unsigned Manifest commit)
* Bump agda-stdlib to 0.9Mark Wright2014-12-141-5/+7
| | | | (Portage version: 2.2.15/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Bump agda-stdlib to 0.9Mark Wright2014-12-142-1/+73
| | | | (Portage version: 2.2.15/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Bump agda-stdlib to 0.8Mark Wright2014-07-021-5/+7
| | | | (Portage version: 2.2.10/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Bump agda-stdlib to 0.8Mark Wright2014-07-023-2/+78
| | | | (Portage version: 2.2.10/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Thanks to vikraman: The agda-lib-ffi package provides some additional ↵Mark Wright2013-12-101-9/+6
| | | | | | haskell modules which are needed by the agda standard library, such as during compilation using the MAlonzo backend. It is available inside the ffi/ directory and needs to be built and installed by the ebuild. (Portage version: 2.2.7/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Thanks to vikraman: The agda-lib-ffi package provides some additional ↵Mark Wright2013-12-103-65/+38
| | | | | | haskell modules which are needed by the agda standard library, such as during compilation using the MAlonzo backend. It is available inside the ffi/ directory and needs to be built and installed by the ebuild. (Portage version: 2.2.7/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Bump agda-stdlib to 0.7Mark Wright2013-09-131-5/+7
| | | | (Portage version: 2.2.3/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Bump agda-stdlib to 0.7Mark Wright2013-09-132-1/+65
| | | | (Portage version: 2.2.3/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-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)