projects / gentoo.git / commit
| author | Jauhien Piatlicki <jauhien@gentoo.org> | |
| Wed, 13 Jan 2016 15:01:38 +0000 (16:01 +0100) | ||
| committer | Jauhien Piatlicki <jauhien@gentoo.org> | |
| Wed, 13 Jan 2016 15:02:59 +0000 (16:02 +0100) | ||
| commit | 209a2dd35c6018418423076916182c4d0889acfb | |
| tree | a51b35904203f4278a3ea9b57061077283daaa72 | tree | snapshot |
| parent | 36045f8ebb08d9578f62520bf6d37f26d39bad1d | commit | diff |
| sci-mathematics/agda-stdlib/Manifest | diff | blob | history | |
| sci-mathematics/agda-stdlib/agda-stdlib-2.4.2.5.ebuild | [new file with mode: 0644] | blob |
| sci-mathematics/agda/Manifest | diff | blob | history | |
| sci-mathematics/agda/agda-2.4.2.5.ebuild | [new file with mode: 0644] | blob |