|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
02a60d6 |
# generated by cabal-rpm-2.0.6 --subpackage
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
36e744d |
# https://docs.fedoraproject.org/en-US/packaging-guidelines/Haskell/
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
1567c74 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
55fb1c2 |
# https://gitlab.haskell.org/ghc/ghc/issues/17030 panic
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
55fb1c2 |
%ifarch %{ix86}
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
2c0f787 |
%undefine with_ghc_prof
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
55fb1c2 |
%endif
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
55fb1c2 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
%global pkg_name Agda
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
42b7c9e |
%global pkgver %{pkg_name}-%{version}
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
4feb709 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
4221381 |
%global geniplatemirror geniplate-mirror-0.7.6
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
64f0903 |
%global murmurhash murmur-hash-0.1.0.9
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
2869a2b |
%global subpkgs %{geniplatemirror} %{murmurhash}
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
540194f |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
Name: %{pkg_name}
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
a122f58 |
Version: 2.6.1
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
64f0903 |
# can only be reset when all subpkgs bumped
|
|
![](https://seccdn.libravatar.org/avatar/53857e0805011d7cae7e9291c3c7672dd1958db8b0541c307a68d49a98f2e30a?s=16&d=retro) |
c9ed433 |
Release: 29%{?dist}
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
Summary: A dependently typed functional programming language and proof assistant
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
1567c74 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
License: MIT and BSD
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
558558b |
Url: https://hackage.haskell.org/package/%{name}
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
9e6df66 |
# Begin cabal-rpm sources:
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
42b7c9e |
Source0: https://hackage.haskell.org/package/%{pkgver}/%{pkgver}.tar.gz
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
a122f58 |
Source1: https://hackage.haskell.org/package/%{geniplatemirror}/%{geniplatemirror}.tar.gz
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
a122f58 |
Source2: https://hackage.haskell.org/package/%{murmurhash}/%{murmurhash}.tar.gz
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
9e6df66 |
# End cabal-rpm sources
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
4221381 |
Source10: agda-mode-init.el
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
1e1c6bd |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
9e6df66 |
# Begin cabal-rpm deps:
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
1567c74 |
BuildRequires: ghc-Cabal-devel
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
42b7c9e |
BuildRequires: ghc-rpm-macros-extra
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
6365bc3 |
BuildRequires: ghc-aeson-prof
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
6365bc3 |
BuildRequires: ghc-array-prof
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
6365bc3 |
BuildRequires: ghc-async-prof
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
6365bc3 |
BuildRequires: ghc-base-prof
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
6365bc3 |
BuildRequires: ghc-binary-prof
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
6365bc3 |
BuildRequires: ghc-blaze-html-prof
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
6365bc3 |
BuildRequires: ghc-boxes-prof
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
6365bc3 |
BuildRequires: ghc-bytestring-prof
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
6365bc3 |
BuildRequires: ghc-containers-prof
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
6365bc3 |
BuildRequires: ghc-data-hash-prof
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
6365bc3 |
BuildRequires: ghc-deepseq-prof
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
6365bc3 |
BuildRequires: ghc-directory-prof
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
6365bc3 |
BuildRequires: ghc-edit-distance-prof
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
6365bc3 |
BuildRequires: ghc-equivalence-prof
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
6365bc3 |
BuildRequires: ghc-exceptions-prof
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
6365bc3 |
BuildRequires: ghc-filepath-prof
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
6365bc3 |
#BuildRequires: ghc-geniplate-mirror-prof
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
a122f58 |
BuildRequires: ghc-ghc-compact-prof
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
6365bc3 |
BuildRequires: ghc-gitrev-prof
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
6365bc3 |
BuildRequires: ghc-hashable-prof
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
6365bc3 |
BuildRequires: ghc-hashtables-prof
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
6365bc3 |
BuildRequires: ghc-haskeline-prof
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
6365bc3 |
BuildRequires: ghc-ieee754-prof
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
6365bc3 |
BuildRequires: ghc-mtl-prof
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
6365bc3 |
#BuildRequires: ghc-murmur-hash-prof
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
6365bc3 |
BuildRequires: ghc-pretty-prof
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
6365bc3 |
BuildRequires: ghc-process-prof
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
6365bc3 |
BuildRequires: ghc-regex-tdfa-prof
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
6365bc3 |
BuildRequires: ghc-split-prof
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
6365bc3 |
BuildRequires: ghc-stm-prof
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
6365bc3 |
BuildRequires: ghc-strict-prof
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
6365bc3 |
BuildRequires: ghc-template-haskell-prof
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
6365bc3 |
BuildRequires: ghc-text-prof
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
6365bc3 |
BuildRequires: ghc-time-prof
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
6365bc3 |
BuildRequires: ghc-transformers-prof
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
6365bc3 |
BuildRequires: ghc-unordered-containers-prof
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
2869a2b |
BuildRequires: ghc-uri-encode-prof
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
6365bc3 |
BuildRequires: ghc-zlib-prof
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
039fa08 |
BuildRequires: alex
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
BuildRequires: happy
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c4c53b3 |
Obsoletes: %{name}-common < %{version}-%{release}
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
0c76910 |
# End cabal-rpm deps
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
0c76910 |
BuildRequires: emacs(bin)
|
|
![](https://seccdn.libravatar.org/avatar/4e8d68fe76de63043f2c89e9e363e4dc5af5775e488004cc7a8398c86381b072?s=16&d=retro) |
ca128ef |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
03df3e1 |
# introduced for F23
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
03df3e1 |
Obsoletes: emacs-agda-el < 2.4.2.2-5
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
03df3e1 |
Provides: emacs-agda = %{version}-%{release}
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
1567c74 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
1567c74 |
%description
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
Agda is a dependently typed functional programming language: it has
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
inductive families, which are similar to Haskell's GADTs, but they can
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
be indexed by values and not just types. It also has parameterized
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
modules, mixfix operators, Unicode characters, and an interactive
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
Emacs interface (the type checker can assist in the development of your code).
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
Agda is also a proof assistant: It is an interactive system for writing and
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
checking proofs. Agda is based on intuitionistic type theory,
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
a foundational system for constructive mathematics developed by
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
the Swedish logician Per Martin-Löf. It has many similarities with other
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
proof assistants based on dependent types, such as Coq, Epigram and NuPRL.
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
%package -n ghc-%{name}
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
Summary: Haskell %{name} library
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
%description -n ghc-%{name}
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
This package provides the Haskell %{name} shared library.
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
%package -n ghc-%{name}-devel
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
Summary: Haskell %{name} library development files
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
039fa08 |
Provides: ghc-%{name}-static = %{version}-%{release}
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
6365bc3 |
Provides: ghc-%{name}-static%{?_isa} = %{version}-%{release}
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
253d8ea |
%if %{defined ghc_version}
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
Requires: ghc-compiler = %{ghc_version}
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
253d8ea |
%endif
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
039fa08 |
Requires: ghc-%{name}%{?_isa} = %{version}-%{release}
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
%description -n ghc-%{name}-devel
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
This package provides the Haskell %{name} library development files.
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
93c5497 |
%if %{with haddock}
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
93c5497 |
%package -n ghc-%{name}-doc
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
93c5497 |
Summary: Haskell %{name} library documentation
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
0c76910 |
BuildArch: noarch
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
93c5497 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
93c5497 |
%description -n ghc-%{name}-doc
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
93c5497 |
This package provides the Haskell %{name} library documentation.
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
93c5497 |
%endif
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
93c5497 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
93c5497 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
93c5497 |
%if %{with ghc_prof}
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
93c5497 |
%package -n ghc-%{name}-prof
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
93c5497 |
Summary: Haskell %{name} profiling library
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
93c5497 |
Requires: ghc-%{name}-devel%{?_isa} = %{version}-%{release}
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
0c76910 |
Supplements: (ghc-%{name}-devel and ghc-prof)
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
93c5497 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
93c5497 |
%description -n ghc-%{name}-prof
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
93c5497 |
This package provides the Haskell %{name} profiling library.
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
93c5497 |
%endif
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
93c5497 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
93c5497 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
42b7c9e |
%global main_version %{version}
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
42b7c9e |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
42b7c9e |
%if %{defined ghclibdir}
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
4feb709 |
%ghc_lib_subpackage %{geniplatemirror}
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
64f0903 |
%ghc_lib_subpackage %{murmurhash}
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
42b7c9e |
%endif
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
42b7c9e |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
42b7c9e |
%global version %{main_version}
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
42b7c9e |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
42b7c9e |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
1567c74 |
%prep
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
9e6df66 |
# Begin cabal-rpm setup:
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
2869a2b |
%setup -q -a1 -a2
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
9e6df66 |
# End cabal-rpm setup
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
13455a7 |
(
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
13455a7 |
cd %{geniplatemirror}
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
13455a7 |
cabal-tweak-dep-ver template-haskell '< 2.14' '< 3'
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
13455a7 |
)
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
2869a2b |
# check the Agda version in the emacs mode
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
d76f81b |
if ! grep -q \"%{version}\" src/data/emacs-mode/agda2-mode.el; then
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
d76f81b |
echo "agda2-version in src/data/emacs-mode/agda2-mode.el out of sync!"
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
exit 1
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
fi
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
1567c74 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
1567c74 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
1567c74 |
%build
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
64f0903 |
%define elisp_files eri.el agda-input.el annotation.el agda2-highlight.el agda2-abbrevs.el agda2-queue.el agda2-mode.el agda2-mode-pkg.el agda2.el
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
1c2e957 |
# check no missing new elisp files
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
d76f81b |
cd src/data/emacs-mode
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
1c2e957 |
for i in *.el; do
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
1c2e957 |
if ! echo %{elisp_files} | grep -q $i; then
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
1c2e957 |
echo "$i missing from %%elisp_files - aborting!"
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
1c2e957 |
exit 1
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
1c2e957 |
fi
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
1c2e957 |
done
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
1c2e957 |
cd -
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
1c2e957 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
9e6df66 |
# Begin cabal-rpm build:
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
4feb709 |
%ghc_libs_build %{subpkgs}
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
8b113d4 |
%ifarch armv7hl
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
8b113d4 |
%define cabal_configure_options --ghc-options="-O0"
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
8b113d4 |
%endif
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
d76f81b |
%ghc_lib_build
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
9e6df66 |
# End cabal-rpm build
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
d76f81b |
cd src/data/emacs-mode
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
for i in %elisp_files; do
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
%{_emacs_bytecompile} $i
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
done
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
cd -
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
1567c74 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
1567c74 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
1567c74 |
%install
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
9e6df66 |
# Begin cabal-rpm install
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
4feb709 |
%ghc_libs_install %{subpkgs}
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
d76f81b |
%ghc_lib_install
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
d5e4024 |
%ghc_fix_rpath %{pkgver}
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
9e6df66 |
# End cabal-rpm install
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
803ef2a |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
d5e4024 |
for i in $(find %{buildroot}%{_datadir}/%{pkgver} -name "*.agda"); do
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
803ef2a |
Agda_datadir=%{buildroot}%{_datadir}/%{pkgver} LD_LIBRARY_PATH=%{buildroot}%{_ghcdynlibdir} %{buildroot}%{_bindir}/agda $i
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
8982741 |
done
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
8982741 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
mkdir -p %{buildroot}%{_emacs_sitelispdir}/agda
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
d76f81b |
for i in src/data/emacs-mode/*; do
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
install -p -m 0644 $i %{buildroot}%{_emacs_sitelispdir}/agda
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
done
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
mkdir -p %{buildroot}%{_emacs_sitestartdir}
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
64f0903 |
install -p -m 0644 %SOURCE10 %{buildroot}%{_emacs_sitestartdir}
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
rm %{buildroot}%{_bindir}/agda-mode
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
42b7c9e |
rm -r %{buildroot}%{_datadir}/%{pkgver}/emacs-mode
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
1567c74 |
%files
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c4c53b3 |
%license LICENSE
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c4c53b3 |
%doc CHANGELOG.md README.md
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c4c53b3 |
%{_bindir}/agda
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c4c53b3 |
%{_datadir}/%{pkgver}
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
9e6df66 |
# Begin cabal-rpm files:
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
03df3e1 |
%dir %{_emacs_sitelispdir}/agda
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
03df3e1 |
%{_emacs_sitelispdir}/agda/*.el
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
03df3e1 |
%{_emacs_sitelispdir}/agda/*.elc
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
03df3e1 |
%{_emacs_sitestartdir}/*.el
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
31025ad |
%files -n ghc-%{name} -f ghc-%{name}.files
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c4c53b3 |
%license LICENSE
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3fef23a |
%files -n ghc-%{name}-devel -f ghc-%{name}-devel.files
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
1567c74 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
93c5497 |
%if %{with haddock}
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
93c5497 |
%files -n ghc-%{name}-doc -f ghc-%{name}-doc.files
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
0c76910 |
%license LICENSE
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
93c5497 |
%endif
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
93c5497 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
93c5497 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
93c5497 |
%if %{with ghc_prof}
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
93c5497 |
%files -n ghc-%{name}-prof -f ghc-%{name}-prof.files
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
93c5497 |
%endif
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
93c5497 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
93c5497 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
1567c74 |
%changelog
|
|
![](https://seccdn.libravatar.org/avatar/53857e0805011d7cae7e9291c3c7672dd1958db8b0541c307a68d49a98f2e30a?s=16&d=retro) |
c9ed433 |
* Sun Oct 11 2020 Jeff Law <aw@redhat.com> - 2.6.1-29
|
|
![](https://seccdn.libravatar.org/avatar/53857e0805011d7cae7e9291c3c7672dd1958db8b0541c307a68d49a98f2e30a?s=16&d=retro) |
c9ed433 |
- Re-enable LTO
|
|
![](https://seccdn.libravatar.org/avatar/53857e0805011d7cae7e9291c3c7672dd1958db8b0541c307a68d49a98f2e30a?s=16&d=retro) |
c9ed433 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
2869a2b |
* Tue Sep 1 2020 Jens Petersen <petersen@redhat.com> - 2.6.1-28
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
2869a2b |
- uri-encode has been packaged
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
2869a2b |
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
e0dc3e1 |
* Fri Jul 31 2020 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.1-27
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
e0dc3e1 |
- Second attempt - Rebuilt for
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
e0dc3e1 |
https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
e0dc3e1 |
|
|
![](https://seccdn.libravatar.org/avatar/53857e0805011d7cae7e9291c3c7672dd1958db8b0541c307a68d49a98f2e30a?s=16&d=retro) |
89dbda7 |
* Mon Jul 27 2020 Jeff Law <aw@redhat.com> - 2.6.1-26
|
|
![](https://seccdn.libravatar.org/avatar/53857e0805011d7cae7e9291c3c7672dd1958db8b0541c307a68d49a98f2e30a?s=16&d=retro) |
89dbda7 |
- Disable LTO on s390
|
|
![](https://seccdn.libravatar.org/avatar/53857e0805011d7cae7e9291c3c7672dd1958db8b0541c307a68d49a98f2e30a?s=16&d=retro) |
89dbda7 |
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
ac21eaf |
* Mon Jul 27 2020 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.1-25
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
ac21eaf |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
ac21eaf |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
8b113d4 |
* Mon Jul 20 2020 Jens Petersen <petersen@redhat.com> - 2.6.1-24
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
8b113d4 |
- enable armv7hl with -O0
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
8b113d4 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
a122f58 |
* Sun Jun 07 2020 Jens Petersen <petersen@redhat.com> - 2.6.1-23
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
a122f58 |
- update to 2.6.1
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
a122f58 |
- drop EdisonCore and EdisonAPI deps
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
a122f58 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c4c53b3 |
* Wed May 27 2020 Jens Petersen <petersen@redhat.com> - 2.6.0.1-22
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c4c53b3 |
- move statically linked /usr/bin/agda and datadir into base package
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c4c53b3 |
- also drop common subpackage
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c4c53b3 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
0c76910 |
* Thu Feb 20 2020 Jens Petersen <petersen@redhat.com> - 2.6.0.1-21
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
0c76910 |
- refresh to cabal-rpm-2.0.2
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
0c76910 |
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
f23bc84 |
* Tue Jan 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.0.1-20
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
f23bc84 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
f23bc84 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
13455a7 |
* Thu Jul 25 2019 Jens Petersen <petersen@redhat.com> - 2.6.0.1-19
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
13455a7 |
- update to 2.6.0.1
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
55fb1c2 |
- disable prof for i686
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
13455a7 |
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
64d8785 |
* Wed Jul 24 2019 Fedora Release Engineering <releng@fedoraproject.org> - 2.5.4.2-18
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
64d8785 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
64d8785 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
31025ad |
* Thu Feb 21 2019 Jens Petersen <petersen@redhat.com> - 2.5.4.2-17
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
31025ad |
- update to 2.5.4.2
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
31025ad |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
9e6df66 |
* Sun Feb 17 2019 Jens Petersen <petersen@redhat.com> - 2.5.3-16
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
9e6df66 |
- refresh to cabal-rpm-0.13
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
9e6df66 |
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
381aecc |
* Thu Jan 31 2019 Fedora Release Engineering <releng@fedoraproject.org> - 2.5.3-15
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
381aecc |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
381aecc |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
4221381 |
* Thu Jul 19 2018 Jens Petersen <petersen@redhat.com> - 2.5.3-14
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
4221381 |
- update to EdisonCore-1.3.2.1 and geniplate-mirror-0.7.6
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
4221381 |
- revise .cabal file
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
4221381 |
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
168de37 |
* Thu Jul 12 2018 Fedora Release Engineering <releng@fedoraproject.org> - 2.5.3-13
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
168de37 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
168de37 |
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
a9910c7 |
* Wed Feb 07 2018 Fedora Release Engineering <releng@fedoraproject.org> - 2.5.3-12
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
a9910c7 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
a9910c7 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
e2ed4b0 |
* Tue Jan 02 2018 Jens Petersen <petersen@redhat.com> - 2.5.3-11
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
e2ed4b0 |
- update to 2.5.3
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
e2ed4b0 |
- add uri-encode subpackage
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
e2ed4b0 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
253d8ea |
* Tue Dec 26 2017 Jens Petersen <petersen@redhat.com> - 2.5.2-10
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
253d8ea |
- ieee754 is now a separate package
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
253d8ea |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
5bc04f5 |
* Wed Nov 15 2017 Jens Petersen <petersen@redhat.com> - 2.5.2-9
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
5bc04f5 |
- gitrev is now packaged in Fedora
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
5bc04f5 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
e8fe124 |
* Fri Nov 10 2017 Jens Petersen <petersen@redhat.com> - 2.5.2-8
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
e8fe124 |
- geniplate-mirror-0.7.5
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
e8fe124 |
- gitrev-1.3.1 (#1511680)
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
e8fe124 |
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
df02d5a |
* Wed Aug 02 2017 Fedora Release Engineering <releng@fedoraproject.org> - 2.5.2-7.1
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
df02d5a |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
df02d5a |
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
77178c0 |
* Wed Jul 26 2017 Fedora Release Engineering <releng@fedoraproject.org> - 2.5.2-6.1
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
77178c0 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
77178c0 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
8982741 |
* Sun Mar 12 2017 Jens Petersen <petersen@redhat.com> - 2.5.2-5
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
d5e4024 |
- compile .agda files at buildtime
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
8982741 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
64f0903 |
* Fri Mar 10 2017 Jens Petersen <petersen@redhat.com> - 2.5.2-4
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
1072e25 |
- update to 2.5.2
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
64f0903 |
- subpackage EdisonAPI, EdisonCore, gitrev, ieee754, monadplus, murmur-hash
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
1072e25 |
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
63da85a |
* Fri Feb 10 2017 Fedora Release Engineering <releng@fedoraproject.org> - 2.4.2.5-3
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
63da85a |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
63da85a |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
d76f81b |
* Thu Feb 9 2017 Jens Petersen <petersen@redhat.com> - 2.4.2.5-2
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
d76f81b |
- build subpackage inside main package
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
d76f81b |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
42b7c9e |
* Thu Oct 6 2016 Jens Petersen <petersen@redhat.com> - 2.4.2.5-1
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
42b7c9e |
- update to 2.4.2.5
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
42b7c9e |
- subpackage new dep geniplate-mirror
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
42b7c9e |
|
|
![](https://seccdn.libravatar.org/avatar/f970308d71f3ca61b27e8dd3eff4452513db64aa06f933115f14504cd846b4df?s=16&d=retro) |
ec50775 |
* Wed Feb 03 2016 Fedora Release Engineering <releng@fedoraproject.org> - 2.4.2.2-6
|
|
![](https://seccdn.libravatar.org/avatar/f970308d71f3ca61b27e8dd3eff4452513db64aa06f933115f14504cd846b4df?s=16&d=retro) |
ec50775 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
|
|
![](https://seccdn.libravatar.org/avatar/f970308d71f3ca61b27e8dd3eff4452513db64aa06f933115f14504cd846b4df?s=16&d=retro) |
ec50775 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
03df3e1 |
* Wed Jul 22 2015 Jens Petersen <petersen@redhat.com> - 2.4.2.2-5
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
03df3e1 |
- drop emacs subpackages (#1234569)
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
03df3e1 |
|
|
![](https://seccdn.libravatar.org/avatar/f970308d71f3ca61b27e8dd3eff4452513db64aa06f933115f14504cd846b4df?s=16&d=retro) |
1d37c18 |
* Tue Jun 16 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.4.2.2-4
|
|
![](https://seccdn.libravatar.org/avatar/f970308d71f3ca61b27e8dd3eff4452513db64aa06f933115f14504cd846b4df?s=16&d=retro) |
1d37c18 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
|
|
![](https://seccdn.libravatar.org/avatar/f970308d71f3ca61b27e8dd3eff4452513db64aa06f933115f14504cd846b4df?s=16&d=retro) |
1d37c18 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
425f93e |
* Fri Apr 17 2015 Jens Petersen <petersen@redhat.com> - 2.4.2.2-3
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
425f93e |
- move agda from ghc-Agda-devel to ghc-Agda
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
425f93e |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
67405aa |
* Thu Apr 16 2015 Jens Petersen <petersen@redhat.com> - 2.4.2.2-2
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
e7f568a |
- compile Primitive.agda at install time
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
67405aa |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
6984fbf |
* Fri Apr 03 2015 Jens Petersen <petersen@redhat.com> - 2.4.2.2-1
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
6984fbf |
- update to 2.4.2.2
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
6984fbf |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
558558b |
* Fri Feb 6 2015 Jens Petersen <petersen@redhat.com> - 2.4.2-1
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
d6f36b5 |
- update to 2.4.2
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
d6f36b5 |
- needs new deps: STMonadTrans, boxes, data-hash, equivalence,
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
d6f36b5 |
and QuickCheck 2.7.5+
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
558558b |
- cblrpm refresh
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
d6f36b5 |
|
|
![](https://seccdn.libravatar.org/avatar/4e8d68fe76de63043f2c89e9e363e4dc5af5775e488004cc7a8398c86381b072?s=16&d=retro) |
2555551 |
* Fri Aug 15 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.3.2.2-5
|
|
![](https://seccdn.libravatar.org/avatar/4e8d68fe76de63043f2c89e9e363e4dc5af5775e488004cc7a8398c86381b072?s=16&d=retro) |
2555551 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
|
|
![](https://seccdn.libravatar.org/avatar/4e8d68fe76de63043f2c89e9e363e4dc5af5775e488004cc7a8398c86381b072?s=16&d=retro) |
2555551 |
|
|
![](https://seccdn.libravatar.org/avatar/f970308d71f3ca61b27e8dd3eff4452513db64aa06f933115f14504cd846b4df?s=16&d=retro) |
c329815 |
* Fri Jun 06 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.3.2.2-4
|
|
![](https://seccdn.libravatar.org/avatar/f970308d71f3ca61b27e8dd3eff4452513db64aa06f933115f14504cd846b4df?s=16&d=retro) |
c329815 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
|
|
![](https://seccdn.libravatar.org/avatar/f970308d71f3ca61b27e8dd3eff4452513db64aa06f933115f14504cd846b4df?s=16&d=retro) |
c329815 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
f86c6a6 |
* Tue Apr 22 2014 Jens Petersen <petersen@redhat.com> - 2.3.2.2-3
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
f86c6a6 |
- no _pkgdocdir in EL7
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
f86c6a6 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
e6f563d |
* Wed Jan 22 2014 Jens Petersen <petersen@redhat.com> - 2.3.2.2-2
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
e6f563d |
- exclude secondary arch's without template-haskell (#1038068)
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
e6f563d |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
039fa08 |
* Thu Oct 31 2013 Jens Petersen <petersen@redhat.com> - 2.3.2.2-1
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
039fa08 |
- update to 2.3.2.2
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
039fa08 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
0ecfc19 |
* Mon Sep 2 2013 Jens Petersen <petersen@redhat.com> - 2.3.2.1-5
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
4ea8724 |
- drop defattr's
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
0ecfc19 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
f970b43 |
* Thu Aug 29 2013 Jens Petersen <petersen@redhat.com> - 2.3.2.1-4
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
f970b43 |
- emacs agda-mode no longer depends on haskell-mode since 2.3.2
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
f970b43 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
1c2e957 |
* Thu Aug 29 2013 Jens Petersen <petersen@redhat.com> - 2.3.2.1-3
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
1c2e957 |
- compile agda2-queue.el
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
1c2e957 |
- check for new elisp files
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
1c2e957 |
- exclude armv7hl since TemplateHaskell failing to compile (#991929)
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
1c2e957 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
dee2bbc |
* Tue Aug 27 2013 Jens Petersen <petersen@redhat.com>
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
dee2bbc |
- replace ghc_docdir by _pkgdocdir
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
dee2bbc |
|
|
![](https://seccdn.libravatar.org/avatar/f970308d71f3ca61b27e8dd3eff4452513db64aa06f933115f14504cd846b4df?s=16&d=retro) |
4edfb4e |
* Fri Aug 02 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.3.2.1-2
|
|
![](https://seccdn.libravatar.org/avatar/f970308d71f3ca61b27e8dd3eff4452513db64aa06f933115f14504cd846b4df?s=16&d=retro) |
4edfb4e |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
|
|
![](https://seccdn.libravatar.org/avatar/f970308d71f3ca61b27e8dd3eff4452513db64aa06f933115f14504cd846b4df?s=16&d=retro) |
4edfb4e |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
b26047f |
* Fri Jul 26 2013 Jens Petersen <petersen@redhat.com>
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
b26047f |
- use ghc_docdir
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
b26047f |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
* Tue Jun 11 2013 Jens Petersen <petersen@redhat.com> - 2.3.2.1-1
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
- rename src package from ghc-Agda to Agda
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
- update to 2.3.2.1
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
f970b43 |
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Version-2-3-2
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
f970b43 |
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Version-2-3-2-1
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
- update to new simplified Haskell Packaging Guidelines
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
- agda command-line tool in devel subpackage
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
38b458c |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
* Fri Jun 07 2013 Jens Petersen <petersen@redhat.com>
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
- update to new simplified Haskell Packaging Guidelines
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
* Mon Mar 25 2013 Jens Petersen <petersen@redhat.com> - 2.3.0.1-12
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
bd58951 |
- rebuild
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
bd58951 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
* Tue Mar 19 2013 Jens Petersen <petersen@redhat.com> - 2.3.0.1-11
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
- allow haskeline-0.7
|
|
![](https://seccdn.libravatar.org/avatar/f970308d71f3ca61b27e8dd3eff4452513db64aa06f933115f14504cd846b4df?s=16&d=retro) |
3b28604 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
* Wed Feb 13 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.3.0.1-10
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
e9c90f6 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
* Wed Dec 12 2012 Jens Petersen <petersen@redhat.com> - 2.3.0.1-9
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
- update QuickCheck-2.5 patch following upstream 2.3.2
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
- for epel6 redefine newer _emacs_bytecompile
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
- own datadir correctly
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
9e1a47c |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
* Fri Nov 9 2012 Jens Petersen <petersen@redhat.com> - 2.3.0.1-8
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
- build with QuickCheck 2.5
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
1e1c6bd |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
* Thu Jul 19 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.3.0.1-7
|
|
![](https://seccdn.libravatar.org/avatar/f970308d71f3ca61b27e8dd3eff4452513db64aa06f933115f14504cd846b4df?s=16&d=retro) |
5c578a5 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
|
|
![](https://seccdn.libravatar.org/avatar/f970308d71f3ca61b27e8dd3eff4452513db64aa06f933115f14504cd846b4df?s=16&d=retro) |
5c578a5 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
* Mon Jul 16 2012 Jens Petersen <petersen@redhat.com> - 2.3.0.1-6
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
- change prof BRs to devel
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
* Wed Jul 11 2012 Jens Petersen <petersen@redhat.com> - 2.3.0.1-5
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
- fix agda2-version in agda2-mode.el
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
* Thu Jun 21 2012 Jens Petersen <petersen@redhat.com> - 2.3.0.1-4
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
- upstream patch for building with haskell-src-exts-1.13
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
- use new cabal-tweak-dep-ver script to change mtl and haskell-src-exts bounds
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
* Mon Jun 11 2012 Jens Petersen <petersen@redhat.com> - 2.3.0.1-3
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
- allow building with mtl-2.1
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
* Thu May 31 2012 Jens Petersen <petersen@redhat.com> - 2.3.0.1-2
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
- library license is also BSD (#710031)
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
- move release notes to devel subpackage
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
* Tue Apr 10 2012 Jens Petersen <petersen@redhat.com> - 2.3.0.1-1
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
- update to 2.3.0.1 for ghc-7.4.1
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
* Tue Feb 14 2012 Jens Petersen <petersen@redhat.com> - 2.3.0-1
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
- update to 2.3.0
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
- update to cabal2spec-0.25
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
- new depends on hashtables
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
* Fri Jun 3 2011 Jens Petersen <petersen@redhat.com> - 2.2.10-2
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
- also BR alex, happy, and emacs-haskell-mode
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
1567c74 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
* Thu Jun 2 2011 Jens Petersen <petersen@redhat.com> - 2.2.10-1
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
1567c74 |
- MIT license
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
- add deps and description
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
- emacs mode subpackages
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
1567c74 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
c05cc5b |
* Thu Jun 2 2011 Fedora Haskell SIG <haskell-devel@lists.fedoraproject.org> - 2.2.10-0
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
1567c74 |
- initial packaging for Fedora automatically generated by cabal2spec-0.23
|