- Name: Agda
- Version: 2.3.0.1
- Release: 4.fc18
- Epoch:
- Group: Unspecified
- License: MIT
- Url: http://hackage.haskell.org/package/Agda-executable
- Summary: Command-line program for type-checking and compiling Agda programs
- Architecture: i686
- Size: 10801
- 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: buildvm-12.phx2.fedoraproject.org
Sources packages:
Other version of this rpm: