sci-mathematics/agda-lib-ffi: update homepage
authorAlexey Sokolov <sokolov@google.com>
Fri, 8 May 2020 14:05:22 +0000 (15:05 +0100)
committerAaron Bauman <bman@gentoo.org>
Sun, 17 May 2020 16:54:56 +0000 (12:54 -0400)
commit352078bc881c39b9ad61c58facb8cbc091510608
tree0490615df453b000be2bf9ffdd45522f773c10d9
parentb451f553fe8bd9bd77f9ac808eed262a167ec773
sci-mathematics/agda-lib-ffi: 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-lib-ffi/agda-lib-ffi-0.0.2-r2.ebuild
sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2.ebuild