diff options
| author |   Alexey Sokolov <sokolov@google.com> | 2020-05-08 15:05:22 +0100 |
|---|---|---|
| committer |   Aaron Bauman <bman@gentoo.org> | 2020-05-17 12:54:56 -0400 |
| commit | 352078bc881c39b9ad61c58facb8cbc091510608 (patch) | |
| tree | 0490615df453b000be2bf9ffdd45522f773c10d9 /sci-mathematics/agda-stdlib/agda-stdlib-2.5.2.0.13.ebuild | |
| parent | sci-mathematics/agda: update homepage (diff) | |
| download | gentoo-352078bc881c39b9ad61c58facb8cbc091510608.tar.gz gentoo-352078bc881c39b9ad61c58facb8cbc091510608.tar.bz2 gentoo-352078bc881c39b9ad61c58facb8cbc091510608.zip | |
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>
Diffstat (limited to 'sci-mathematics/agda-stdlib/agda-stdlib-2.5.2.0.13.ebuild')
0 files changed, 0 insertions, 0 deletions