Version: sci-mathematics/agda-stdlib 2.5.2.0.13:0

Depends On: >=sci-mathematics/agda-2.5.2:=[profile?] ffi? ( sci-mathematics/agda-lib-ffi ) >=dev-haskell/cabal-1.16.0 >=dev-haskell/filemanip-0.3.6.2[profile?] <dev-haskell/filemanip-0.4[profile?] >=dev-lang/ghc-7.6.3

USE Flags:profile +ffi

Version: sci-mathematics/agda-stdlib 2.4.2.5:0

Depends On: ~sci-mathematics/agda-2.4.2.5:=[profile?] >=dev-haskell/filemanip-0.3.6.2[profile?] <dev-haskell/filemanip-0.4[profile?] >=dev-lang/ghc-6.12.1 ffi? ( sci-mathematics/agda-lib-ffi ) >=dev-haskell/cabal-1.8.0.2

USE Flags:profile +ffi

2.4.2.52.5.2.0.13
"~amd64 ~x86""~amd64 ~x86"
comments powered by Disqus