2023-01-21 08:44:24 +00:00
|
|
|
# generated by cabal-rpm-2.1.0 --subpackage
|
2020-06-04 11:24:44 +00:00
|
|
|
# https://docs.fedoraproject.org/en-US/packaging-guidelines/Haskell/
|
2012-07-15 07:28:54 +00:00
|
|
|
|
2019-08-06 04:33:14 +00:00
|
|
|
# https://gitlab.haskell.org/ghc/ghc/issues/17030 panic
|
|
|
|
%ifarch %{ix86}
|
2019-08-06 06:46:41 +00:00
|
|
|
%undefine with_ghc_prof
|
2019-08-06 04:33:14 +00:00
|
|
|
%endif
|
|
|
|
|
2013-06-14 09:46:35 +00:00
|
|
|
%global pkg_name Agda
|
2016-10-06 02:01:47 +00:00
|
|
|
%global pkgver %{pkg_name}-%{version}
|
2017-02-24 04:43:01 +00:00
|
|
|
|
2021-08-04 16:43:55 +00:00
|
|
|
%global geniplatemirror geniplate-mirror-0.7.8
|
2022-03-07 05:13:30 +00:00
|
|
|
%global murmurhash murmur-hash-0.1.0.10
|
2020-09-01 06:00:51 +00:00
|
|
|
%global subpkgs %{geniplatemirror} %{murmurhash}
|
2016-10-07 01:58:49 +00:00
|
|
|
|
2013-06-14 09:46:35 +00:00
|
|
|
Name: %{pkg_name}
|
2022-06-07 08:05:14 +00:00
|
|
|
Version: 2.6.2.2
|
2017-03-10 04:44:52 +00:00
|
|
|
# can only be reset when all subpkgs bumped
|
2022-07-20 18:26:00 +00:00
|
|
|
Release: 37%{?dist}
|
2013-06-14 09:46:35 +00:00
|
|
|
Summary: A dependently typed functional programming language and proof assistant
|
2012-07-15 07:28:54 +00:00
|
|
|
|
2013-06-14 09:46:35 +00:00
|
|
|
License: MIT and BSD
|
2015-02-06 20:46:37 +00:00
|
|
|
Url: https://hackage.haskell.org/package/%{name}
|
2019-02-17 14:41:51 +00:00
|
|
|
# Begin cabal-rpm sources:
|
2016-10-06 02:01:47 +00:00
|
|
|
Source0: https://hackage.haskell.org/package/%{pkgver}/%{pkgver}.tar.gz
|
2020-06-07 15:39:51 +00:00
|
|
|
Source1: https://hackage.haskell.org/package/%{geniplatemirror}/%{geniplatemirror}.tar.gz
|
|
|
|
Source2: https://hackage.haskell.org/package/%{murmurhash}/%{murmurhash}.tar.gz
|
2023-01-21 08:44:24 +00:00
|
|
|
Source3: https://hackage.haskell.org/package/%{pkgver}/%{name}.cabal#/%{pkgver}.cabal
|
2019-02-17 14:41:51 +00:00
|
|
|
# End cabal-rpm sources
|
2018-07-19 04:33:15 +00:00
|
|
|
Source10: agda-mode-init.el
|
2012-11-17 08:14:01 +00:00
|
|
|
|
2022-06-19 06:58:13 +00:00
|
|
|
# armv7hl:
|
|
|
|
#[372 of 397] Compiling Agda.Interaction.Imports
|
|
|
|
#ghc: out of memory [even with -O0]
|
2021-08-08 18:10:31 +00:00
|
|
|
# https://bugzilla.redhat.com/show_bug.cgi?id=1991261
|
2022-06-19 06:58:13 +00:00
|
|
|
#
|
|
|
|
# i686: hangs in ghc_lib_install
|
|
|
|
#Installing executable agda-mode in /builddir/build/BUILDROOT/Agda-2.6.2.2-36.fc37.i386/usr/bin
|
|
|
|
#Warning: Executable installed in
|
|
|
|
#/builddir/build/BUILDROOT/Agda-2.6.2.2-36.fc37.i386/usr/bin
|
|
|
|
#Installing library in /builddir/build/BUILDROOT/Agda-2.6.2.2-36.fc37.i386/usr/lib/ghc-8.10.7/Agda-2.6.2.2
|
|
|
|
#Installing executable agda in /builddir/build/BUILDROOT/Agda-2.6.2.2-36.fc37.i386/usr/bin
|
|
|
|
#Warning: Executable installed in
|
|
|
|
#/builddir/build/BUILDROOT/Agda-2.6.2.2-36.fc37.i386/usr/bin
|
|
|
|
# https://bugzilla.redhat.com/show_bug.cgi?id=2098425
|
|
|
|
ExcludeArch: armv7hl %{ix86}
|
2021-08-08 18:10:31 +00:00
|
|
|
|
2019-02-17 14:41:51 +00:00
|
|
|
# Begin cabal-rpm deps:
|
2023-01-21 08:44:24 +00:00
|
|
|
BuildRequires: dos2unix
|
2012-07-15 07:28:54 +00:00
|
|
|
BuildRequires: ghc-Cabal-devel
|
2016-10-06 02:01:47 +00:00
|
|
|
BuildRequires: ghc-rpm-macros-extra
|
2023-01-21 08:44:24 +00:00
|
|
|
BuildRequires: ghc-aeson-devel
|
|
|
|
BuildRequires: ghc-array-devel
|
|
|
|
BuildRequires: ghc-async-devel
|
|
|
|
BuildRequires: ghc-base-devel
|
|
|
|
BuildRequires: ghc-binary-devel
|
|
|
|
BuildRequires: ghc-blaze-html-devel
|
|
|
|
BuildRequires: ghc-boxes-devel
|
|
|
|
BuildRequires: ghc-bytestring-devel
|
|
|
|
BuildRequires: ghc-case-insensitive-devel
|
|
|
|
BuildRequires: ghc-containers-devel
|
|
|
|
BuildRequires: ghc-data-hash-devel
|
|
|
|
BuildRequires: ghc-deepseq-devel
|
|
|
|
BuildRequires: ghc-directory-devel
|
|
|
|
BuildRequires: ghc-edit-distance-devel
|
|
|
|
BuildRequires: ghc-equivalence-devel
|
|
|
|
BuildRequires: ghc-exceptions-devel
|
|
|
|
BuildRequires: ghc-filepath-devel
|
|
|
|
BuildRequires: ghc-ghc-compact-devel
|
|
|
|
BuildRequires: ghc-gitrev-devel
|
|
|
|
BuildRequires: ghc-hashable-devel
|
|
|
|
BuildRequires: ghc-hashtables-devel
|
|
|
|
BuildRequires: ghc-haskeline-devel
|
|
|
|
BuildRequires: ghc-monad-control-devel
|
|
|
|
BuildRequires: ghc-mtl-devel
|
|
|
|
#BuildRequires: ghc-murmur-hash-devel
|
|
|
|
BuildRequires: ghc-parallel-devel
|
|
|
|
BuildRequires: ghc-pretty-devel
|
|
|
|
BuildRequires: ghc-process-devel
|
|
|
|
BuildRequires: ghc-regex-tdfa-devel
|
|
|
|
BuildRequires: ghc-split-devel
|
|
|
|
BuildRequires: ghc-stm-devel
|
|
|
|
BuildRequires: ghc-strict-devel
|
|
|
|
BuildRequires: ghc-template-haskell-devel
|
|
|
|
BuildRequires: ghc-text-devel
|
|
|
|
BuildRequires: ghc-time-devel
|
|
|
|
BuildRequires: ghc-transformers-devel
|
|
|
|
BuildRequires: ghc-unordered-containers-devel
|
|
|
|
BuildRequires: ghc-uri-encode-devel
|
|
|
|
BuildRequires: ghc-zlib-devel
|
|
|
|
%if %{with ghc_prof}
|
2019-08-05 10:26:47 +00:00
|
|
|
BuildRequires: ghc-aeson-prof
|
|
|
|
BuildRequires: ghc-array-prof
|
|
|
|
BuildRequires: ghc-async-prof
|
|
|
|
BuildRequires: ghc-base-prof
|
|
|
|
BuildRequires: ghc-binary-prof
|
|
|
|
BuildRequires: ghc-blaze-html-prof
|
|
|
|
BuildRequires: ghc-boxes-prof
|
|
|
|
BuildRequires: ghc-bytestring-prof
|
2021-08-04 16:43:55 +00:00
|
|
|
BuildRequires: ghc-case-insensitive-prof
|
2019-08-05 10:26:47 +00:00
|
|
|
BuildRequires: ghc-containers-prof
|
|
|
|
BuildRequires: ghc-data-hash-prof
|
|
|
|
BuildRequires: ghc-deepseq-prof
|
|
|
|
BuildRequires: ghc-directory-prof
|
|
|
|
BuildRequires: ghc-edit-distance-prof
|
|
|
|
BuildRequires: ghc-equivalence-prof
|
|
|
|
BuildRequires: ghc-exceptions-prof
|
|
|
|
BuildRequires: ghc-filepath-prof
|
2020-06-07 15:39:51 +00:00
|
|
|
BuildRequires: ghc-ghc-compact-prof
|
2019-08-05 10:26:47 +00:00
|
|
|
BuildRequires: ghc-gitrev-prof
|
|
|
|
BuildRequires: ghc-hashable-prof
|
|
|
|
BuildRequires: ghc-hashtables-prof
|
|
|
|
BuildRequires: ghc-haskeline-prof
|
2021-08-04 16:43:55 +00:00
|
|
|
BuildRequires: ghc-monad-control-prof
|
2019-08-05 10:26:47 +00:00
|
|
|
BuildRequires: ghc-mtl-prof
|
|
|
|
#BuildRequires: ghc-murmur-hash-prof
|
2021-08-04 16:43:55 +00:00
|
|
|
BuildRequires: ghc-parallel-prof
|
2019-08-05 10:26:47 +00:00
|
|
|
BuildRequires: ghc-pretty-prof
|
|
|
|
BuildRequires: ghc-process-prof
|
|
|
|
BuildRequires: ghc-regex-tdfa-prof
|
|
|
|
BuildRequires: ghc-split-prof
|
|
|
|
BuildRequires: ghc-stm-prof
|
|
|
|
BuildRequires: ghc-strict-prof
|
|
|
|
BuildRequires: ghc-template-haskell-prof
|
|
|
|
BuildRequires: ghc-text-prof
|
|
|
|
BuildRequires: ghc-time-prof
|
2021-08-04 16:42:06 +00:00
|
|
|
BuildRequires: ghc-transformers-prof
|
2019-08-05 10:26:47 +00:00
|
|
|
BuildRequires: ghc-unordered-containers-prof
|
2020-09-01 06:00:51 +00:00
|
|
|
BuildRequires: ghc-uri-encode-prof
|
2019-08-05 10:26:47 +00:00
|
|
|
BuildRequires: ghc-zlib-prof
|
2023-01-21 08:44:24 +00:00
|
|
|
%endif
|
2013-10-31 09:29:45 +00:00
|
|
|
BuildRequires: alex
|
2013-06-14 09:46:35 +00:00
|
|
|
BuildRequires: happy
|
2022-06-20 05:57:27 +00:00
|
|
|
Provides: agda = %{version}-%{release}
|
2021-02-18 07:26:41 +00:00
|
|
|
Requires: %{name}-common = %{version}-%{release}
|
2020-02-06 08:07:01 +00:00
|
|
|
# End cabal-rpm deps
|
|
|
|
BuildRequires: emacs(bin)
|
2014-08-16 15:15:05 +00:00
|
|
|
|
2015-07-22 06:27:45 +00:00
|
|
|
# introduced for F23
|
|
|
|
Obsoletes: emacs-agda-el < 2.4.2.2-5
|
|
|
|
Provides: emacs-agda = %{version}-%{release}
|
2012-07-15 07:28:54 +00:00
|
|
|
|
|
|
|
%description
|
2013-06-14 09:46:35 +00:00
|
|
|
Agda is a dependently typed functional programming language: it has
|
|
|
|
inductive families, which are similar to Haskell's GADTs, but they can
|
|
|
|
be indexed by values and not just types. It also has parameterized
|
|
|
|
modules, mixfix operators, Unicode characters, and an interactive
|
|
|
|
Emacs interface (the type checker can assist in the development of your code).
|
|
|
|
|
|
|
|
Agda is also a proof assistant: It is an interactive system for writing and
|
|
|
|
checking proofs. Agda is based on intuitionistic type theory,
|
|
|
|
a foundational system for constructive mathematics developed by
|
|
|
|
the Swedish logician Per Martin-Löf. It has many similarities with other
|
|
|
|
proof assistants based on dependent types, such as Coq, Epigram and NuPRL.
|
|
|
|
|
|
|
|
|
2021-02-18 07:26:41 +00:00
|
|
|
%package common
|
|
|
|
Summary: %{name} common files
|
|
|
|
BuildArch: noarch
|
|
|
|
|
|
|
|
%description common
|
|
|
|
This package provides the %{name} core libraries and runtime related files.
|
|
|
|
|
|
|
|
|
2013-06-14 09:46:35 +00:00
|
|
|
%package -n ghc-%{name}
|
|
|
|
Summary: Haskell %{name} library
|
2021-02-18 07:26:41 +00:00
|
|
|
Requires: %{name}-common = %{version}-%{release}
|
2013-06-14 09:46:35 +00:00
|
|
|
|
|
|
|
%description -n ghc-%{name}
|
|
|
|
This package provides the Haskell %{name} shared library.
|
|
|
|
|
|
|
|
|
|
|
|
%package -n ghc-%{name}-devel
|
|
|
|
Summary: Haskell %{name} library development files
|
2013-10-31 09:29:45 +00:00
|
|
|
Provides: ghc-%{name}-static = %{version}-%{release}
|
2019-08-05 10:26:47 +00:00
|
|
|
Provides: ghc-%{name}-static%{?_isa} = %{version}-%{release}
|
2017-12-26 09:58:59 +00:00
|
|
|
%if %{defined ghc_version}
|
2013-06-14 09:46:35 +00:00
|
|
|
Requires: ghc-compiler = %{ghc_version}
|
2017-12-26 09:58:59 +00:00
|
|
|
%endif
|
2013-10-31 09:29:45 +00:00
|
|
|
Requires: ghc-%{name}%{?_isa} = %{version}-%{release}
|
2013-06-14 09:46:35 +00:00
|
|
|
|
|
|
|
%description -n ghc-%{name}-devel
|
|
|
|
This package provides the Haskell %{name} library development files.
|
|
|
|
|
|
|
|
|
2019-07-25 04:20:49 +00:00
|
|
|
%if %{with haddock}
|
|
|
|
%package -n ghc-%{name}-doc
|
|
|
|
Summary: Haskell %{name} library documentation
|
2020-02-06 08:07:01 +00:00
|
|
|
BuildArch: noarch
|
2021-06-11 10:18:44 +00:00
|
|
|
Requires: ghc-filesystem
|
2019-07-25 04:20:49 +00:00
|
|
|
|
|
|
|
%description -n ghc-%{name}-doc
|
|
|
|
This package provides the Haskell %{name} library documentation.
|
|
|
|
%endif
|
|
|
|
|
|
|
|
|
|
|
|
%if %{with ghc_prof}
|
|
|
|
%package -n ghc-%{name}-prof
|
|
|
|
Summary: Haskell %{name} profiling library
|
|
|
|
Requires: ghc-%{name}-devel%{?_isa} = %{version}-%{release}
|
2020-02-06 08:07:01 +00:00
|
|
|
Supplements: (ghc-%{name}-devel and ghc-prof)
|
2019-07-25 04:20:49 +00:00
|
|
|
|
|
|
|
%description -n ghc-%{name}-prof
|
|
|
|
This package provides the Haskell %{name} profiling library.
|
|
|
|
%endif
|
|
|
|
|
|
|
|
|
2016-10-06 02:01:47 +00:00
|
|
|
%global main_version %{version}
|
|
|
|
|
|
|
|
%if %{defined ghclibdir}
|
2017-02-24 04:43:01 +00:00
|
|
|
%ghc_lib_subpackage %{geniplatemirror}
|
2017-03-10 04:44:52 +00:00
|
|
|
%ghc_lib_subpackage %{murmurhash}
|
2016-10-06 02:01:47 +00:00
|
|
|
%endif
|
|
|
|
|
|
|
|
%global version %{main_version}
|
|
|
|
|
|
|
|
|
2012-07-15 07:28:54 +00:00
|
|
|
%prep
|
2019-02-17 14:41:51 +00:00
|
|
|
# Begin cabal-rpm setup:
|
2020-09-01 06:00:51 +00:00
|
|
|
%setup -q -a1 -a2
|
2023-01-21 08:44:24 +00:00
|
|
|
dos2unix -k -n %{SOURCE3} %{name}.cabal
|
2019-02-17 14:41:51 +00:00
|
|
|
# End cabal-rpm setup
|
2020-09-01 06:00:51 +00:00
|
|
|
# check the Agda version in the emacs mode
|
2017-02-09 04:09:00 +00:00
|
|
|
if ! grep -q \"%{version}\" src/data/emacs-mode/agda2-mode.el; then
|
|
|
|
echo "agda2-version in src/data/emacs-mode/agda2-mode.el out of sync!"
|
2013-06-14 09:46:35 +00:00
|
|
|
exit 1
|
|
|
|
fi
|
2012-07-15 07:28:54 +00:00
|
|
|
|
|
|
|
|
|
|
|
%build
|
2017-03-10 04:44:52 +00:00
|
|
|
%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
|
2013-06-14 09:46:35 +00:00
|
|
|
|
2013-08-29 02:02:57 +00:00
|
|
|
# check no missing new elisp files
|
2021-02-18 07:25:42 +00:00
|
|
|
(
|
2017-02-09 04:09:00 +00:00
|
|
|
cd src/data/emacs-mode
|
2013-08-29 02:02:57 +00:00
|
|
|
for i in *.el; do
|
|
|
|
if ! echo %{elisp_files} | grep -q $i; then
|
|
|
|
echo "$i missing from %%elisp_files - aborting!"
|
|
|
|
exit 1
|
|
|
|
fi
|
|
|
|
done
|
2021-02-18 07:25:42 +00:00
|
|
|
)
|
2013-08-29 02:02:57 +00:00
|
|
|
|
2019-02-17 14:41:51 +00:00
|
|
|
# Begin cabal-rpm build:
|
2017-02-24 04:43:01 +00:00
|
|
|
%ghc_libs_build %{subpkgs}
|
2020-07-20 05:21:15 +00:00
|
|
|
%ifarch armv7hl
|
2021-06-11 10:22:49 +00:00
|
|
|
# https://bugzilla.redhat.com/show_bug.cgi?id=991929
|
2020-07-20 05:21:15 +00:00
|
|
|
%define cabal_configure_options --ghc-options="-O0"
|
|
|
|
%endif
|
2017-02-09 04:09:00 +00:00
|
|
|
%ghc_lib_build
|
2019-02-17 14:41:51 +00:00
|
|
|
# End cabal-rpm build
|
2013-06-14 09:46:35 +00:00
|
|
|
|
2021-02-18 07:25:42 +00:00
|
|
|
(
|
2017-02-09 04:09:00 +00:00
|
|
|
cd src/data/emacs-mode
|
2013-06-14 09:46:35 +00:00
|
|
|
for i in %elisp_files; do
|
|
|
|
%{_emacs_bytecompile} $i
|
|
|
|
done
|
2021-02-18 07:25:42 +00:00
|
|
|
)
|
2012-07-15 07:28:54 +00:00
|
|
|
|
|
|
|
|
|
|
|
%install
|
2019-02-17 14:41:51 +00:00
|
|
|
# Begin cabal-rpm install
|
2017-02-24 04:43:01 +00:00
|
|
|
%ghc_libs_install %{subpkgs}
|
2017-02-09 04:09:00 +00:00
|
|
|
%ghc_lib_install
|
2021-02-18 07:26:41 +00:00
|
|
|
mv %{buildroot}%{_ghcdocdir}{,-common}
|
2019-02-17 14:41:51 +00:00
|
|
|
# End cabal-rpm install
|
2018-01-26 08:09:03 +00:00
|
|
|
|
2017-03-12 07:37:49 +00:00
|
|
|
for i in $(find %{buildroot}%{_datadir}/%{pkgver} -name "*.agda"); do
|
2018-01-26 08:09:03 +00:00
|
|
|
Agda_datadir=%{buildroot}%{_datadir}/%{pkgver} LD_LIBRARY_PATH=%{buildroot}%{_ghcdynlibdir} %{buildroot}%{_bindir}/agda $i
|
2017-03-12 04:51:31 +00:00
|
|
|
done
|
|
|
|
|
2013-06-14 09:46:35 +00:00
|
|
|
mkdir -p %{buildroot}%{_emacs_sitelispdir}/agda
|
2017-02-09 04:09:00 +00:00
|
|
|
for i in src/data/emacs-mode/*; do
|
2013-06-14 09:46:35 +00:00
|
|
|
install -p -m 0644 $i %{buildroot}%{_emacs_sitelispdir}/agda
|
|
|
|
done
|
|
|
|
|
|
|
|
mkdir -p %{buildroot}%{_emacs_sitestartdir}
|
2017-03-10 04:44:52 +00:00
|
|
|
install -p -m 0644 %SOURCE10 %{buildroot}%{_emacs_sitestartdir}
|
2013-06-14 09:46:35 +00:00
|
|
|
|
|
|
|
rm %{buildroot}%{_bindir}/agda-mode
|
2016-10-06 02:01:47 +00:00
|
|
|
rm -r %{buildroot}%{_datadir}/%{pkgver}/emacs-mode
|
2013-06-14 09:46:35 +00:00
|
|
|
|
|
|
|
|
2012-07-15 07:28:54 +00:00
|
|
|
%files
|
2019-02-17 14:41:51 +00:00
|
|
|
# Begin cabal-rpm files:
|
2021-02-18 07:26:41 +00:00
|
|
|
%{_bindir}/agda
|
|
|
|
# End cabal-rpm files
|
2015-07-22 06:27:45 +00:00
|
|
|
%dir %{_emacs_sitelispdir}/agda
|
|
|
|
%{_emacs_sitelispdir}/agda/*.el
|
|
|
|
%{_emacs_sitelispdir}/agda/*.elc
|
|
|
|
%{_emacs_sitestartdir}/*.el
|
2013-06-14 09:46:35 +00:00
|
|
|
|
|
|
|
|
2021-02-18 07:26:41 +00:00
|
|
|
%files common
|
|
|
|
# Begin cabal-rpm files:
|
2020-05-26 18:08:28 +00:00
|
|
|
%license LICENSE
|
2021-02-18 07:26:41 +00:00
|
|
|
%doc CHANGELOG.md README.md
|
|
|
|
%{_datadir}/%{pkgver}
|
|
|
|
# End cabal-rpm files
|
|
|
|
|
|
|
|
|
|
|
|
%files -n ghc-%{name} -f ghc-%{name}.files
|
2013-06-14 09:46:35 +00:00
|
|
|
|
|
|
|
|
2013-06-14 10:15:52 +00:00
|
|
|
%files -n ghc-%{name}-devel -f ghc-%{name}-devel.files
|
2013-06-14 09:46:35 +00:00
|
|
|
|
2012-07-15 07:28:54 +00:00
|
|
|
|
2019-07-25 04:20:49 +00:00
|
|
|
%if %{with haddock}
|
|
|
|
%files -n ghc-%{name}-doc -f ghc-%{name}-doc.files
|
2020-02-06 08:07:01 +00:00
|
|
|
%license LICENSE
|
2019-07-25 04:20:49 +00:00
|
|
|
%endif
|
|
|
|
|
|
|
|
|
|
|
|
%if %{with ghc_prof}
|
|
|
|
%files -n ghc-%{name}-prof -f ghc-%{name}-prof.files
|
|
|
|
%endif
|
|
|
|
|
|
|
|
|
2012-07-15 07:28:54 +00:00
|
|
|
%changelog
|
2022-07-20 18:26:00 +00:00
|
|
|
* Wed Jul 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.2.2-37
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
|
|
|
|
|
2022-06-20 05:57:27 +00:00
|
|
|
* Mon Jun 20 2022 Jens Petersen <petersen@redhat.com>
|
|
|
|
- add Provides agda
|
|
|
|
|
2022-06-07 08:05:14 +00:00
|
|
|
* Tue Jun 7 2022 Jens Petersen <petersen@redhat.com> - 2.6.2.2-36
|
|
|
|
- https://hackage.haskell.org/package/Agda-2.6.2.2/changelog
|
2022-06-19 06:58:13 +00:00
|
|
|
- disable i686 (#2098425)
|
2022-06-07 08:05:14 +00:00
|
|
|
|
2022-03-07 05:13:30 +00:00
|
|
|
* Mon Mar 07 2022 Jens Petersen <petersen@redhat.com> - 2.6.2.1-35
|
|
|
|
- https://hackage.haskell.org/package/Agda-2.6.2.1/changelog
|
|
|
|
|
2022-01-19 19:12:40 +00:00
|
|
|
* Wed Jan 19 2022 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.2-34
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
|
|
|
|
|
2022-01-08 10:06:18 +00:00
|
|
|
* Sat Jan 08 2022 Miro Hrončok <mhroncok@redhat.com> - 2.6.2-33
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Changes/LIBFFI34
|
|
|
|
|
2021-08-04 16:43:55 +00:00
|
|
|
* Thu Aug 5 2021 Jens Petersen <petersen@redhat.com> - 2.6.2-32
|
|
|
|
- update to 2.6.2
|
|
|
|
- https://hackage.haskell.org/package/Agda-2.6.2/changelog
|
2021-08-08 18:10:31 +00:00
|
|
|
- disable armv7hl due to out of memory (#73471404)
|
2021-08-04 16:43:55 +00:00
|
|
|
|
2021-08-04 16:42:06 +00:00
|
|
|
* Thu Aug 5 2021 Jens Petersen <petersen@redhat.com> - 2.6.1.3-32
|
|
|
|
- update to 2.6.1.3
|
|
|
|
|
2021-07-21 15:38:18 +00:00
|
|
|
* Wed Jul 21 2021 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.1-31
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
|
|
|
|
|
2021-01-25 22:15:28 +00:00
|
|
|
* Mon Jan 25 2021 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.1-30
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
|
|
|
|
|
2020-10-12 00:52:28 +00:00
|
|
|
* Sun Oct 11 2020 Jeff Law <aw@redhat.com> - 2.6.1-29
|
|
|
|
- Re-enable LTO
|
|
|
|
|
2020-09-01 06:00:51 +00:00
|
|
|
* Tue Sep 1 2020 Jens Petersen <petersen@redhat.com> - 2.6.1-28
|
|
|
|
- uri-encode has been packaged
|
|
|
|
|
2020-07-31 23:50:46 +00:00
|
|
|
* Fri Jul 31 2020 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.1-27
|
|
|
|
- Second attempt - Rebuilt for
|
|
|
|
https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
|
|
|
|
|
2020-07-28 00:38:59 +00:00
|
|
|
* Mon Jul 27 2020 Jeff Law <aw@redhat.com> - 2.6.1-26
|
|
|
|
- Disable LTO on s390
|
|
|
|
|
2020-07-27 10:12:31 +00:00
|
|
|
* Mon Jul 27 2020 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.1-25
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
|
|
|
|
|
2020-07-20 05:21:15 +00:00
|
|
|
* Mon Jul 20 2020 Jens Petersen <petersen@redhat.com> - 2.6.1-24
|
|
|
|
- enable armv7hl with -O0
|
|
|
|
|
2020-06-07 15:39:51 +00:00
|
|
|
* Sun Jun 07 2020 Jens Petersen <petersen@redhat.com> - 2.6.1-23
|
|
|
|
- update to 2.6.1
|
|
|
|
- drop EdisonCore and EdisonAPI deps
|
|
|
|
|
2020-05-26 18:08:28 +00:00
|
|
|
* Wed May 27 2020 Jens Petersen <petersen@redhat.com> - 2.6.0.1-22
|
|
|
|
- move statically linked /usr/bin/agda and datadir into base package
|
|
|
|
- also drop common subpackage
|
|
|
|
|
2020-02-06 08:07:01 +00:00
|
|
|
* Thu Feb 20 2020 Jens Petersen <petersen@redhat.com> - 2.6.0.1-21
|
|
|
|
- refresh to cabal-rpm-2.0.2
|
|
|
|
|
2020-01-28 09:10:44 +00:00
|
|
|
* Tue Jan 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.0.1-20
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
|
|
|
|
|
2019-07-25 10:33:15 +00:00
|
|
|
* Thu Jul 25 2019 Jens Petersen <petersen@redhat.com> - 2.6.0.1-19
|
|
|
|
- update to 2.6.0.1
|
2019-08-06 04:33:14 +00:00
|
|
|
- disable prof for i686
|
2019-07-25 10:33:15 +00:00
|
|
|
|
2019-07-24 15:39:30 +00:00
|
|
|
* Wed Jul 24 2019 Fedora Release Engineering <releng@fedoraproject.org> - 2.5.4.2-18
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
|
|
|
|
|
2019-02-21 15:38:18 +00:00
|
|
|
* Thu Feb 21 2019 Jens Petersen <petersen@redhat.com> - 2.5.4.2-17
|
|
|
|
- update to 2.5.4.2
|
|
|
|
|
2019-02-17 14:41:51 +00:00
|
|
|
* Sun Feb 17 2019 Jens Petersen <petersen@redhat.com> - 2.5.3-16
|
|
|
|
- refresh to cabal-rpm-0.13
|
|
|
|
|
2019-01-31 11:22:11 +00:00
|
|
|
* Thu Jan 31 2019 Fedora Release Engineering <releng@fedoraproject.org> - 2.5.3-15
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
|
|
|
|
|
2018-07-19 04:33:15 +00:00
|
|
|
* Thu Jul 19 2018 Jens Petersen <petersen@redhat.com> - 2.5.3-14
|
|
|
|
- update to EdisonCore-1.3.2.1 and geniplate-mirror-0.7.6
|
|
|
|
- revise .cabal file
|
|
|
|
|
2018-07-12 18:54:31 +00:00
|
|
|
* Thu Jul 12 2018 Fedora Release Engineering <releng@fedoraproject.org> - 2.5.3-13
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
|
|
|
|
|
2018-02-07 00:24:22 +00:00
|
|
|
* Wed Feb 07 2018 Fedora Release Engineering <releng@fedoraproject.org> - 2.5.3-12
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
|
|
|
|
|
2018-01-02 09:48:13 +00:00
|
|
|
* Tue Jan 02 2018 Jens Petersen <petersen@redhat.com> - 2.5.3-11
|
|
|
|
- update to 2.5.3
|
|
|
|
- add uri-encode subpackage
|
|
|
|
|
2017-12-26 09:58:59 +00:00
|
|
|
* Tue Dec 26 2017 Jens Petersen <petersen@redhat.com> - 2.5.2-10
|
|
|
|
- ieee754 is now a separate package
|
|
|
|
|
2017-11-15 03:44:12 +00:00
|
|
|
* Wed Nov 15 2017 Jens Petersen <petersen@redhat.com> - 2.5.2-9
|
|
|
|
- gitrev is now packaged in Fedora
|
|
|
|
|
2017-11-10 07:57:10 +00:00
|
|
|
* Fri Nov 10 2017 Jens Petersen <petersen@redhat.com> - 2.5.2-8
|
|
|
|
- geniplate-mirror-0.7.5
|
|
|
|
- gitrev-1.3.1 (#1511680)
|
|
|
|
|
2017-08-02 16:46:42 +00:00
|
|
|
* Wed Aug 02 2017 Fedora Release Engineering <releng@fedoraproject.org> - 2.5.2-7.1
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
|
|
|
|
|
2017-07-26 01:38:45 +00:00
|
|
|
* Wed Jul 26 2017 Fedora Release Engineering <releng@fedoraproject.org> - 2.5.2-6.1
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
|
|
|
|
|
2017-03-12 04:51:31 +00:00
|
|
|
* Sun Mar 12 2017 Jens Petersen <petersen@redhat.com> - 2.5.2-5
|
2017-03-12 07:37:49 +00:00
|
|
|
- compile .agda files at buildtime
|
2017-03-12 04:51:31 +00:00
|
|
|
|
2017-03-10 04:44:52 +00:00
|
|
|
* Fri Mar 10 2017 Jens Petersen <petersen@redhat.com> - 2.5.2-4
|
2017-02-26 22:49:02 +00:00
|
|
|
- update to 2.5.2
|
2017-03-10 04:44:52 +00:00
|
|
|
- subpackage EdisonAPI, EdisonCore, gitrev, ieee754, monadplus, murmur-hash
|
2017-02-26 22:49:02 +00:00
|
|
|
|
2017-02-10 04:58:58 +00:00
|
|
|
* Fri Feb 10 2017 Fedora Release Engineering <releng@fedoraproject.org> - 2.4.2.5-3
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
|
|
|
|
|
2017-02-09 04:09:00 +00:00
|
|
|
* Thu Feb 9 2017 Jens Petersen <petersen@redhat.com> - 2.4.2.5-2
|
|
|
|
- build subpackage inside main package
|
|
|
|
|
2016-10-06 02:01:47 +00:00
|
|
|
* Thu Oct 6 2016 Jens Petersen <petersen@redhat.com> - 2.4.2.5-1
|
|
|
|
- update to 2.4.2.5
|
|
|
|
- subpackage new dep geniplate-mirror
|
|
|
|
|
2016-02-03 15:18:58 +00:00
|
|
|
* Wed Feb 03 2016 Fedora Release Engineering <releng@fedoraproject.org> - 2.4.2.2-6
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
|
|
|
|
|
2015-07-22 06:27:45 +00:00
|
|
|
* Wed Jul 22 2015 Jens Petersen <petersen@redhat.com> - 2.4.2.2-5
|
|
|
|
- drop emacs subpackages (#1234569)
|
|
|
|
|
2015-06-16 22:40:57 +00:00
|
|
|
* Tue Jun 16 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.4.2.2-4
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
|
|
|
|
|
2015-04-17 04:32:33 +00:00
|
|
|
* Fri Apr 17 2015 Jens Petersen <petersen@redhat.com> - 2.4.2.2-3
|
|
|
|
- move agda from ghc-Agda-devel to ghc-Agda
|
|
|
|
|
2015-04-16 08:49:06 +00:00
|
|
|
* Thu Apr 16 2015 Jens Petersen <petersen@redhat.com> - 2.4.2.2-2
|
2015-04-16 09:06:49 +00:00
|
|
|
- compile Primitive.agda at install time
|
2015-04-16 08:49:06 +00:00
|
|
|
|
2015-04-03 04:25:00 +00:00
|
|
|
* Fri Apr 03 2015 Jens Petersen <petersen@redhat.com> - 2.4.2.2-1
|
|
|
|
- update to 2.4.2.2
|
|
|
|
|
2015-02-06 20:46:37 +00:00
|
|
|
* Fri Feb 6 2015 Jens Petersen <petersen@redhat.com> - 2.4.2-1
|
2014-09-03 07:53:17 +00:00
|
|
|
- update to 2.4.2
|
|
|
|
- needs new deps: STMonadTrans, boxes, data-hash, equivalence,
|
|
|
|
and QuickCheck 2.7.5+
|
2015-02-06 20:46:37 +00:00
|
|
|
- cblrpm refresh
|
2014-09-03 07:53:17 +00:00
|
|
|
|
2014-08-15 18:10:09 +00:00
|
|
|
* 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
|
|
|
|
|
2014-06-06 22:21:41 +00:00
|
|
|
* Fri Jun 06 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.3.2.2-4
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
|
|
|
|
|
2014-04-22 01:40:31 +00:00
|
|
|
* Tue Apr 22 2014 Jens Petersen <petersen@redhat.com> - 2.3.2.2-3
|
|
|
|
- no _pkgdocdir in EL7
|
|
|
|
|
2014-01-22 01:38:31 +00:00
|
|
|
* Wed Jan 22 2014 Jens Petersen <petersen@redhat.com> - 2.3.2.2-2
|
|
|
|
- exclude secondary arch's without template-haskell (#1038068)
|
|
|
|
|
2013-10-31 09:29:45 +00:00
|
|
|
* Thu Oct 31 2013 Jens Petersen <petersen@redhat.com> - 2.3.2.2-1
|
|
|
|
- update to 2.3.2.2
|
|
|
|
|
2013-09-02 03:36:28 +00:00
|
|
|
* Mon Sep 2 2013 Jens Petersen <petersen@redhat.com> - 2.3.2.1-5
|
2013-09-02 03:39:26 +00:00
|
|
|
- drop defattr's
|
2013-09-02 03:36:28 +00:00
|
|
|
|
2013-08-29 05:04:39 +00:00
|
|
|
* Thu Aug 29 2013 Jens Petersen <petersen@redhat.com> - 2.3.2.1-4
|
|
|
|
- emacs agda-mode no longer depends on haskell-mode since 2.3.2
|
|
|
|
|
2013-08-29 02:02:57 +00:00
|
|
|
* Thu Aug 29 2013 Jens Petersen <petersen@redhat.com> - 2.3.2.1-3
|
|
|
|
- compile agda2-queue.el
|
|
|
|
- check for new elisp files
|
|
|
|
- exclude armv7hl since TemplateHaskell failing to compile (#991929)
|
|
|
|
|
2013-08-27 10:20:40 +00:00
|
|
|
* Tue Aug 27 2013 Jens Petersen <petersen@redhat.com>
|
|
|
|
- replace ghc_docdir by _pkgdocdir
|
|
|
|
|
2013-08-02 22:26:53 +00:00
|
|
|
* Fri Aug 02 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.3.2.1-2
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
|
|
|
|
|
2013-07-26 05:51:16 +00:00
|
|
|
* Fri Jul 26 2013 Jens Petersen <petersen@redhat.com>
|
|
|
|
- use ghc_docdir
|
|
|
|
|
2013-06-14 09:46:35 +00:00
|
|
|
* Tue Jun 11 2013 Jens Petersen <petersen@redhat.com> - 2.3.2.1-1
|
|
|
|
- rename src package from ghc-Agda to Agda
|
|
|
|
- update to 2.3.2.1
|
2013-08-29 05:04:39 +00:00
|
|
|
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Version-2-3-2
|
|
|
|
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Version-2-3-2-1
|
2013-06-14 09:46:35 +00:00
|
|
|
- update to new simplified Haskell Packaging Guidelines
|
|
|
|
- agda command-line tool in devel subpackage
|
2013-03-25 02:52:51 +00:00
|
|
|
|
2013-06-14 09:46:35 +00:00
|
|
|
* Fri Jun 07 2013 Jens Petersen <petersen@redhat.com>
|
|
|
|
- update to new simplified Haskell Packaging Guidelines
|
|
|
|
|
|
|
|
* Mon Mar 25 2013 Jens Petersen <petersen@redhat.com> - 2.3.0.1-12
|
2013-03-22 13:59:52 +00:00
|
|
|
- rebuild
|
|
|
|
|
2013-06-14 09:46:35 +00:00
|
|
|
* Tue Mar 19 2013 Jens Petersen <petersen@redhat.com> - 2.3.0.1-11
|
|
|
|
- allow haskeline-0.7
|
2013-02-13 14:45:29 +00:00
|
|
|
|
2013-06-14 09:46:35 +00:00
|
|
|
* Wed Feb 13 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.3.0.1-10
|
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
|
2012-12-25 05:44:18 +00:00
|
|
|
|
2013-06-14 09:46:35 +00:00
|
|
|
* Wed Dec 12 2012 Jens Petersen <petersen@redhat.com> - 2.3.0.1-9
|
|
|
|
- update QuickCheck-2.5 patch following upstream 2.3.2
|
|
|
|
- for epel6 redefine newer _emacs_bytecompile
|
|
|
|
- own datadir correctly
|
2012-12-06 09:57:07 +00:00
|
|
|
|
2013-06-14 09:46:35 +00:00
|
|
|
* Fri Nov 9 2012 Jens Petersen <petersen@redhat.com> - 2.3.0.1-8
|
|
|
|
- build with QuickCheck 2.5
|
2012-11-17 08:14:01 +00:00
|
|
|
|
2013-06-14 09:46:35 +00:00
|
|
|
* Thu Jul 19 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.3.0.1-7
|
2012-07-18 12:49:21 +00:00
|
|
|
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
|
|
|
|
|
2013-06-14 09:46:35 +00:00
|
|
|
* Mon Jul 16 2012 Jens Petersen <petersen@redhat.com> - 2.3.0.1-6
|
|
|
|
- change prof BRs to devel
|
|
|
|
|
|
|
|
* Wed Jul 11 2012 Jens Petersen <petersen@redhat.com> - 2.3.0.1-5
|
|
|
|
- fix agda2-version in agda2-mode.el
|
|
|
|
|
|
|
|
* Thu Jun 21 2012 Jens Petersen <petersen@redhat.com> - 2.3.0.1-4
|
|
|
|
- upstream patch for building with haskell-src-exts-1.13
|
|
|
|
- use new cabal-tweak-dep-ver script to change mtl and haskell-src-exts bounds
|
|
|
|
|
|
|
|
* Mon Jun 11 2012 Jens Petersen <petersen@redhat.com> - 2.3.0.1-3
|
|
|
|
- allow building with mtl-2.1
|
|
|
|
|
|
|
|
* Thu May 31 2012 Jens Petersen <petersen@redhat.com> - 2.3.0.1-2
|
|
|
|
- library license is also BSD (#710031)
|
|
|
|
- move release notes to devel subpackage
|
|
|
|
|
|
|
|
* Tue Apr 10 2012 Jens Petersen <petersen@redhat.com> - 2.3.0.1-1
|
|
|
|
- update to 2.3.0.1 for ghc-7.4.1
|
|
|
|
|
|
|
|
* Tue Feb 14 2012 Jens Petersen <petersen@redhat.com> - 2.3.0-1
|
|
|
|
- update to 2.3.0
|
|
|
|
- update to cabal2spec-0.25
|
|
|
|
- new depends on hashtables
|
|
|
|
|
|
|
|
* Fri Jun 3 2011 Jens Petersen <petersen@redhat.com> - 2.2.10-2
|
|
|
|
- also BR alex, happy, and emacs-haskell-mode
|
2012-07-15 07:28:54 +00:00
|
|
|
|
2013-06-14 09:46:35 +00:00
|
|
|
* Thu Jun 2 2011 Jens Petersen <petersen@redhat.com> - 2.2.10-1
|
2012-07-15 07:28:54 +00:00
|
|
|
- MIT license
|
2013-06-14 09:46:35 +00:00
|
|
|
- add deps and description
|
|
|
|
- emacs mode subpackages
|
2012-07-15 07:28:54 +00:00
|
|
|
|
2013-06-14 09:46:35 +00:00
|
|
|
* Thu Jun 2 2011 Fedora Haskell SIG <haskell-devel@lists.fedoraproject.org> - 2.2.10-0
|
2012-07-15 07:28:54 +00:00
|
|
|
- initial packaging for Fedora automatically generated by cabal2spec-0.23
|