Sophie: ghc-agda-lib-ffi-0.0.2-3.fc20 x86_64

Sophie

Sophie

distrib > Fedora > 20 > x86_64 > by-pkgid > 436ddb6a7a12c2249534ccd732642771

ghc-agda-lib-ffi-0.0.2-3.fc20.x86_64.rpm

Name: ghc-agda-lib-ffi
Version: 0.0.2
Release: 3.fc20
Epoch:
Group: Development/Libraries
License: MIT
Url: http://wiki.portal.chalmers.se/agda/agda.php?n=Libraries.StandardLibrary
Summary: Haskell agda-lib-ffi library

Architecture: x86_64
Size: 14602
Distribution: Fedora Project
Vendor: Fedora Project
Packager: Fedora Project

Description:

This package provides the Haskell agda-lib-ffi library.

OptFlags: -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic
Cookie:
Buildhost: buildvm-17.phx2.fedoraproject.org

Sources packages:

Agda-stdlib-0.7-3.fc20

Other version of this rpm:

:: :: ::