diff --git a/.gitignore b/.gitignore
index e69de29..235ea33 100644
--- a/.gitignore
+++ b/.gitignore
@@ -0,0 +1 @@
+/Agda-executable-2.3.0.1.tar.gz
diff --git a/Agda.spec b/Agda.spec
new file mode 100644
index 0000000..31f0bdb
--- /dev/null
+++ b/Agda.spec
@@ -0,0 +1,54 @@
+# 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 <petersen@redhat.com> - 2.3.0.1-1
+- update to 2.3.0.1 and cabal2spec-0.25
+
+* Fri Jun  3 2011 Jens Petersen <petersen@redhat.com> - 2.2.10-1
+- MIT license
+- BR ghc-Agda-devel
+
+* Fri Jun  3 2011 Fedora Haskell SIG <haskell-devel@lists.fedoraproject.org> - 2.2.10-0
+- initial packaging for Fedora automatically generated by cabal2spec-0.23
diff --git a/sources b/sources
index e69de29..0e5e838 100644
--- a/sources
+++ b/sources
@@ -0,0 +1 @@
+a9c803f0a829cf54d35b1a82f0ba6181  Agda-executable-2.3.0.1.tar.gz