sci-mathematics/
agda-lib-ffi

Auxiliary Haskell code used by Agda's standard library

http://wiki.portal.chalmers.se/agda/

Available Versions

Version amd64 x86 alpha arm hppa ia64 ppc ppc64 sparc
0.0.2-r2 : 0 ~amd64 ~x86 ?alpha ?arm ?hppa ?ia64 ?ppc ?ppc64 ?sparc
0.0.2 : 0 ~amd64 ~x86 ?alpha ?arm ?hppa ?ia64 ?ppc ?ppc64 ?sparc

Package Metadata

Changelog