Parent Directory
|
|
|
|
|
files/
|
|
|
|
(from /) |
ChangeLog
|
1.3
|
5 months |
gienah |
Bump agda-stdlib snapshot to 20130109, install .agda and .agdai files with --pre… |
Manifest
|
1.3
|
5 months |
gienah |
Bump agda-stdlib snapshot to 20130109, install .agda and .agdai files with --pre… |
agda-stdlib-0.6.ebuild
|
1.2
|
5 months |
gienah |
Bump agda-stdlib snapshot to 20130109, install .agda and .agdai files with --pre… |
agda-stdlib-0.7_pre20121118.ebuild
|
1.2
|
5 months |
gienah |
Bump agda-stdlib snapshot to 20130109, install .agda and .agdai files with --pre… |
agda-stdlib-0.7_pre20130109.ebuild
|
1.1
|
5 months |
gienah |
Bump agda-stdlib snapshot to 20130109, install .agda and .agdai files with --pre… |
metadata.xml
|
1.1
|
14 months |
gienah |
Thanks to tomprince for adding support for agda-stdlib.
(Portage version: 2.1.1… |