gentoo-full-overlay/sci-mathematics/agda-lib-ffi
2017-12-10 19:53:44 +03:00
..
agda-lib-ffi-0.0.2-r2.ebuild Sync with portage [Wed Mar 1 14:58:51 MSK 2017]. 2017-03-01 14:58:55 +03:00
agda-lib-ffi-0.0.2.ebuild Sync with portage [Wed Mar 1 14:58:51 MSK 2017]. 2017-03-01 14:58:55 +03:00
Manifest Sync with portage [Sun Dec 10 19:53:43 MSK 2017]. 2017-12-10 19:53:44 +03:00
metadata.xml Sync with portage [Mon Apr 4 09:01:21 MSK 2016]. 2016-04-04 09:01:22 +03:00