projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8e368f7) | patch
sci-mathematics/agda: update homepage
authorAlexey Sokolov <sokolov@google.com>
Fri, 8 May 2020 14:04:53 +0000 (15:04 +0100)
committerAaron Bauman <bman@gentoo.org>
Sun, 17 May 2020 16:54:55 +0000 (12:54 -0400)
commitb451f553fe8bd9bd77f9ac808eed262a167ec773
tree5e25f4aea363ddf5d3179dd5e1872a000d5ca3b6tree | snapshot
parent8e368f7422582f2c39f09fbbaaa6adccccc265b1commit | diff
sci-mathematics/agda: update homepage

Package-Manager: Portage-2.3.99, Repoman-2.3.22
Signed-off-by: Alexey Sokolov <sokolov@google.com>
Signed-off-by: Aaron Bauman <bman@gentoo.org>
sci-mathematics/agda/agda-2.4.2.5-r2.ebuild diff | blob | history
sci-mathematics/agda/agda-2.5.2-r1.ebuild diff | blob | history
sci-mathematics/agda/agda-2.5.2-r2.ebuild diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.