agda-lib-ffi « sci-mathematics - archive/repo/gentoo-2.git - Another conversion of the historical gentoo-x86 ebuild repository

GitWeb

Get Gentoo!

summary refs log tree commit diff

path: root/sci-mathematics/agda-lib-ffi

Mode	Name	Size
-rw-r--r--	ChangeLog	413	log plain
-rw-r--r--	Manifest	1772	log plain
-rw-r--r--	agda-lib-ffi-0.0.2.ebuild	795	log plain
-rw-r--r--	metadata.xml	327	log plain