| author | Sergei Trofimovich <slyfox@gentoo.org> | |
| Sun, 3 Apr 2016 14:38:23 +0000 (15:38 +0100) | ||
| committer | Sergei Trofimovich <slyfox@gentoo.org> | |
| Sun, 3 Apr 2016 14:39:25 +0000 (15:39 +0100) | ||
| commit | 669e602164fff463c1e6f6119f4b2a1b1481160c | |
| tree | 8d6b1959b0c6b645fc84f6329e76404515ceac3d | tree | snapshot |
| parent | 8f91cf2917b73d6ab65d76be77a80ea5d97a9b81 | commit | diff |
| sci-mathematics/agda-stdlib/Manifest | diff | blob | history | |
| sci-mathematics/agda-stdlib/agda-stdlib-0.8.ebuild | [deleted file] | blob | history |
| sci-mathematics/agda-stdlib/agda-stdlib-0.9.ebuild | [deleted file] | blob | history |
| sci-mathematics/agda-stdlib/agda-stdlib-2.4.2.3.ebuild | [deleted file] | blob | history |