Sun, 04 Jun 2023 10:10:01 UTC

Information for build Agda-2.3.0.1-4.fc18

ID372582
Package NameAgda
Version2.3.0.1
Release4.fc18
Epoch
SummaryCommand-line program for type-checking and compiling Agda programs
DescriptionThis 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.
Built bypetersen
State complete
Volume fedora_koji_archive00
StartedThu, 13 Dec 2012 06:23:04 UTC
CompletedThu, 13 Dec 2012 06:28:59 UTC
Taskbuild (f18-candidate, /Agda:9e1a47c6adb6501818c3a766cb3de1710040946d)
Tags
f18-updates
RPMs
src
Agda-2.3.0.1-4.fc18.src.rpm (info) (download)
i686
Agda-2.3.0.1-4.fc18.i686.rpm (info) (download)
x86_64
Agda-2.3.0.1-4.fc18.x86_64.rpm (info) (download)
Logs
i686
build.log
root.log
state.log
x86_64
build.log
root.log
state.log
Changelog * Thu Dec 06 2012 Jens Petersen <petersen@redhat.com> - 2.3.0.1-4 - remove ExclusiveArch ghc_arches_with_ghci * Sat Nov 17 2012 Jens Petersen <petersen@redhat.com> - 2.3.0.1-3 - rebuild * Wed Jul 18 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.3.0.1-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild * Tue Jul 10 2012 Jens Petersen <petersen@redhat.com> - 2.3.0.1-1 - update to 2.3.0.1 and cabal2spec-0.25 * Fri Jun 03 2011 Jens Petersen <petersen@redhat.com> - 2.2.10-1 - MIT license - BR ghc-Agda-devel * Fri Jun 03 2011 Fedora Haskell SIG <haskell-devel@lists.fedoraproject.org> - 2.2.10-0 - initial packaging for Fedora automatically generated by cabal2spec-0.23