projects / gentoo.git / commit
| author | Alexey Sokolov <sokolov@google.com> | |
| Fri, 8 May 2020 14:05:44 +0000 (15:05 +0100) | ||
| committer | Aaron Bauman <bman@gentoo.org> | |
| Sun, 17 May 2020 16:54:57 +0000 (12:54 -0400) | ||
| commit | a62969617a972be02ce26c9d6400ae5bddc9560f | |
| tree | 62f994bbda33bbffcb5d912d9c7f0ddcb6400ef8 | tree | snapshot |
| parent | 352078bc881c39b9ad61c58facb8cbc091510608 | commit | diff |
| sci-mathematics/agda-stdlib/agda-stdlib-2.4.2.5.ebuild | diff | blob | history | |
| sci-mathematics/agda-stdlib/agda-stdlib-2.5.2.0.13.ebuild | diff | blob | history |