rpms/Agda
3
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

cblrpm refresh

Browse Source
This commit is contained in:
Jens Petersen 2015-02-06 21:46:37 +01:00
parent d6f36b5d3e
commit 558558bc01
1 changed files with 4 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
Agda.spec
View File

@ -2,17 +2,14 @@
%global pkg_name Agda
# no useful debuginfo for Haskell packages without C sources
%global debug_package %{nil}
Name: %{pkg_name}
Version: 2.4.2
Release: 1%{?dist}
Summary: A dependently typed functional programming language and proof assistant
License: MIT and BSD
URL: http://hackage.haskell.org/package/%{name}
Source0: http://hackage.haskell.org/package/%{name}-%{version}/%{name}-%{version}.tar.gz
Url: https://hackage.haskell.org/package/%{name}
Source0: https://hackage.haskell.org/package/%{name}-%{version}/%{name}-%{version}.tar.gz
Source1: agda-mode-init.el
BuildRequires: ghc-Cabal-devel
@ -217,11 +214,11 @@ rm %{buildroot}%{_docdir}/%{name}*/LICENSE
%changelog
* Wed Sep 03 2014 Jens Petersen <petersen@redhat.com> - 2.4.2-1
* Fri Feb 6 2015 Jens Petersen <petersen@redhat.com> - 2.4.2-1
- update to 2.4.2
- refresh to cblrpm-0.8.11
- needs new deps: STMonadTrans, boxes, data-hash, equivalence,
and QuickCheck 2.7.5+
- cblrpm refresh
* Fri Aug 15 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.3.2.2-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild