gentoo-overlay/sci-mathematics/agda-lib-ffi
2016-04-04 08:57:36 +03:00
..
agda-lib-ffi-0.0.2-r2.ebuild Sync with portage [Mon Apr 4 08:57:36 MSK 2016]. 2016-04-04 08:57:36 +03:00
agda-lib-ffi-0.0.2.ebuild Sync with portage [Mon Aug 10 23:59:37 MSK 2015]. 2015-08-10 23:59:40 +03:00
Manifest Sync with portage [Mon Aug 3 10:58:17 MSK 2015]. 2015-08-03 10:58:17 +03:00
metadata.xml Sync with portage [Mon Apr 4 08:57:36 MSK 2016]. 2016-04-04 08:57:36 +03:00