- Name: Agda
- Version: 2.3.0.1
- Release: 1.fc17
- Epoch:
- Group: Unspecified
- License: MIT
- Url: http://hackage.haskell.org/package/Agda-executable
- Summary: Dependently typed programming language command-line
- Architecture: i686
- Size: 10517
- Distribution: Fedora Project
- Vendor: Fedora Project
- Packager: Fedora Project
Description:
This package provides a command-line program for type-checking and
compiling Agda programs. The program can also generate hyperlinked,
highlighted HTML files from Agda sources.
For the interactive environment please install emacs-agda instead.
- OptFlags: -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables
- Cookie:
- Buildhost: x86-02.phx2.fedoraproject.org
Sources packages:
Other version of this rpm: