gentoo-overlay/sci-mathematics/agda-lib-ffi
2020-09-17 08:42:25 +03:00
..
agda-lib-ffi-0.0.2-r2.ebuild Sync with portage [Sun May 17 22:00:40 MSK 2020]. 2020-05-17 22:00:40 +03:00
agda-lib-ffi-0.0.2.ebuild Sync with portage [Sun May 17 22:00:40 MSK 2020]. 2020-05-17 22:00:40 +03:00
Manifest Sync with portage [Sun Dec 10 19:52:43 MSK 2017]. 2017-12-10 19:52:44 +03:00
metadata.xml Sync with portage [Thu Sep 17 08:42:25 MSK 2020]. 2020-09-17 08:42:25 +03:00