projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 783ba29) | patch
Bump to 1.0.2 and updated metainformations. Agda2 will be added when it is stable...
authorAlexandre Buisse <nattfodd@gentoo.org>
Sun, 18 Mar 2007 19:00:12 +0000 (19:00 +0000)
committerAlexandre Buisse <nattfodd@gentoo.org>
Sun, 18 Mar 2007 19:00:12 +0000 (19:00 +0000)
commit98a7361c60866a84f52cfd623e5a6db62d95b973
tree7428232c052bbf9426710b23d27e90698ef94e7dtree | snapshot
parent783ba2963b0ccb210d1de5088d05d3cb945b1f1dcommit | diff
Bump to 1.0.2 and updated metainformations. Agda2 will be added when it is stable enough.
Package-Manager: portage-2.1.2.1
sci-mathematics/agda/ChangeLog diff | blob | history
sci-mathematics/agda/Manifest diff | blob | history
sci-mathematics/agda/agda-1.0.2.ebuild [moved from sci-mathematics/agda/agda-20050601.ebuild with 53% similarity] diff | blob | history
sci-mathematics/agda/files/digest-agda-1.0.2 [new file with mode: 0644] blob
sci-mathematics/agda/files/digest-agda-20050601 [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.