# cabal2spec-0.25 # https://fedoraproject.org/wiki/Packaging:Haskell # https://fedoraproject.org/wiki/PackagingDrafts/Haskell %global pkg_name Agda-executable Name: Agda Version: 2.3.0.1 Release: 1%{?dist} Summary: Dependently typed programming language command-line License: MIT # BEGIN cabal2spec URL: http://hackage.haskell.org/package/%{pkg_name} Source0: http://hackage.haskell.org/packages/archive/%{pkg_name}/%{version}/%{pkg_name}-%{version}.tar.gz ExclusiveArch: %{ghc_arches_with_ghci} BuildRequires: ghc-Cabal-devel BuildRequires: ghc-rpm-macros # END cabal2spec BuildRequires: ghc-Agda-devel = %{version} %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. %prep %setup -q -n %{pkg_name}-%{version} %build %ghc_bin_build %install %ghc_bin_install %files %doc LICENSE %attr(755,root,root) %{_bindir}/agda %changelog * Tue Jul 10 2012 Jens Petersen - 2.3.0.1-1 - update to 2.3.0.1 and cabal2spec-0.25 * Fri Jun 3 2011 Jens Petersen - 2.2.10-1 - MIT license - BR ghc-Agda-devel * Fri Jun 3 2011 Fedora Haskell SIG - 2.2.10-0 - initial packaging for Fedora automatically generated by cabal2spec-0.23