|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
6fa5d45 |
# https://fedoraproject.org/wiki/Packaging:Haskell
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
Name: Agda-stdlib
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
538d3ca |
Version: 1.3
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
6eb668f |
Release: 3%{?dist}
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
Summary: Agda standard libraries
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
License: MIT
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
URL: http://wiki.portal.chalmers.se/agda/agda.php?n=Libraries.StandardLibrary
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
f826a57 |
Source0: https://github.com/agda/agda-stdlib/archive/v%{version}.tar.gz#/agda-stdlib-%{version}.tar.gz
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
BuildRequires: ghc-Cabal-devel
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
9c807f8 |
BuildRequires: ghc-rpm-macros
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
9c807f8 |
BuildRequires: ghc-filemanip-devel
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
BuildRequires: Agda
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
cad8a31 |
# .agdai files are arch independent
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
cad8a31 |
BuildArch: noarch
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
001ba04 |
Obsoletes: ghc-agda-lib-ffi < 0.0.2-6, ghc-agda-lib-ffi-devel < 0.0.2-6
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
538d3ca |
Requires: Agda = 2.6.1
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
%description
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
Agda standard libraries
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
%package docs
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
Summary: Agda standard libraries documentation
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
BuildArch: noarch
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
%description docs
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
This package provides the html documentation for the stdlibs
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
generated by the Agda compiler program.
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
%prep
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
949a1ec |
%setup -q -n agda-stdlib-%{version}
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
%build
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
12fcba2 |
%ghc_bin_build
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
12fcba2 |
dist/build/GenerateEverything/GenerateEverything
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
8fd7596 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
538d3ca |
%global agda agda --no-libraries -i. -isrc
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
538d3ca |
%{agda} Everything.agda
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
8fd7596 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
538d3ca |
%{agda} --html README.agda
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
%install
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
mkdir -p %{buildroot}%{_datadir}/%{name}
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
262553a |
cp -pr src %{buildroot}%{_datadir}/%{name}
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
df36dcd |
install -p -m 0644 standard-library.agda-lib %{buildroot}%{_datadir}/%{name}/
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
df36dcd |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
12fcba2 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
12fcba2 |
%check
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
538d3ca |
%{agda} README.agda
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
df36dcd |
%files
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
df36dcd |
%license LICENCE
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
262553a |
%doc CHANGELOG.md README* Everything.agda
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
%{_datadir}/%{name}
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
%files docs
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
949a1ec |
%license LICENCE
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
949a1ec |
%doc html
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
%changelog
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
6eb668f |
* Mon Jul 27 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-3
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
6eb668f |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
6eb668f |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
cad8a31 |
* Mon Jul 20 2020 Jens Petersen <petersen@redhat.com> - 1.3-2
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
cad8a31 |
- make package noarch
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
cad8a31 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
538d3ca |
* Sat Jun 27 2020 Jens Petersen <petersen@redhat.com> - 1.3-1
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
538d3ca |
- https://github.com/agda/agda-stdlib/blob/v1.3/CHANGELOG.md
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
538d3ca |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
60694d6 |
* Tue May 26 2020 Jens Petersen <petersen@redhat.com> - 1.2-1
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
60694d6 |
- update to 1.2
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
60694d6 |
- https://github.com/agda/agda-stdlib/blob/v1.2/CHANGELOG.md
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
474862f |
- requires Agda instead of ghc-Agda now
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
60694d6 |
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
011ee61 |
* Tue Jan 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.1-2
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
011ee61 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
011ee61 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
da1e6e0 |
* Sat Aug 17 2019 Jens Petersen <petersen@redhat.com> - 1.1-1
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
da1e6e0 |
- update to 1.1
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
da1e6e0 |
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
55c0e83 |
* Wed Jul 24 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.17-2
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
55c0e83 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
55c0e83 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
dc5818e |
* Mon Feb 25 2019 Jens Petersen <petersen@redhat.com> - 0.17-1
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
dc5818e |
- update to 0.17
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
dc5818e |
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
053b2eb |
* Thu Jan 31 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.15-5
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
053b2eb |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
053b2eb |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
6fa5d45 |
* Tue Aug 28 2018 Jens Petersen <petersen@redhat.com> - 0.15-4
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
6fa5d45 |
- keep README*.agdai
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
6fa5d45 |
- require ghc-Agda
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
6fa5d45 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
262553a |
* Wed Aug 22 2018 Jens Petersen <petersen@redhat.com> - 0.15-3
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
262553a |
- install library files correctly under src/
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
262553a |
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
6b177a1 |
* Thu Jul 12 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.15-2
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
6b177a1 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
6b177a1 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
ea1ad25 |
* Sun Jul 1 2018 Jens Petersen <petersen@redhat.com> - 0.15-1
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
ea1ad25 |
- update to 0.15 for Agda-2.5.3
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
ea1ad25 |
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
4c8ea30 |
* Wed Feb 07 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.13-4
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
4c8ea30 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
4c8ea30 |
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
a91c8b4 |
* Wed Aug 02 2017 Fedora Release Engineering <releng@fedoraproject.org> - 0.13-3
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
a91c8b4 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
a91c8b4 |
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
100b259 |
* Wed Jul 26 2017 Fedora Release Engineering <releng@fedoraproject.org> - 0.13-2
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
100b259 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
100b259 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
df36dcd |
* Sun Mar 12 2017 Jens Petersen <petersen@redhat.com> - 0.13-1
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
df36dcd |
- update to 0.13
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
df36dcd |
- install standard-library.agda-lib package file
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
df36dcd |
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
b85b9d0 |
* Fri Feb 10 2017 Fedora Release Engineering <releng@fedoraproject.org> - 0.11-2
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
b85b9d0 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
|
|
![](https://seccdn.libravatar.org/avatar/66cca4ddfe914918eb13788577f8ad64d709ccf9f83b384b49228bb9a83a1533?s=16&d=retro) |
b85b9d0 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
949a1ec |
* Mon Oct 24 2016 Jens Petersen <petersen@redhat.com> - 0.11-3
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
949a1ec |
- update to 0.11
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
949a1ec |
|
|
![](https://seccdn.libravatar.org/avatar/f970308d71f3ca61b27e8dd3eff4452513db64aa06f933115f14504cd846b4df?s=16&d=retro) |
efc1625 |
* Wed Feb 03 2016 Fedora Release Engineering <releng@fedoraproject.org> - 0.9-3
|
|
![](https://seccdn.libravatar.org/avatar/f970308d71f3ca61b27e8dd3eff4452513db64aa06f933115f14504cd846b4df?s=16&d=retro) |
efc1625 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
|
|
![](https://seccdn.libravatar.org/avatar/f970308d71f3ca61b27e8dd3eff4452513db64aa06f933115f14504cd846b4df?s=16&d=retro) |
efc1625 |
|
|
![](https://seccdn.libravatar.org/avatar/f970308d71f3ca61b27e8dd3eff4452513db64aa06f933115f14504cd846b4df?s=16&d=retro) |
cf73a92 |
* Tue Jun 16 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.9-2
|
|
![](https://seccdn.libravatar.org/avatar/f970308d71f3ca61b27e8dd3eff4452513db64aa06f933115f14504cd846b4df?s=16&d=retro) |
cf73a92 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
|
|
![](https://seccdn.libravatar.org/avatar/f970308d71f3ca61b27e8dd3eff4452513db64aa06f933115f14504cd846b4df?s=16&d=retro) |
cf73a92 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
001ba04 |
* Thu Apr 16 2015 Jens Petersen <petersen@redhat.com> - 0.9-1
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
12fcba2 |
- update to 0.9
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
001ba04 |
- include ffi lib in main package
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
12fcba2 |
|
|
![](https://seccdn.libravatar.org/avatar/4e8d68fe76de63043f2c89e9e363e4dc5af5775e488004cc7a8398c86381b072?s=16&d=retro) |
f191f9a |
* Fri Aug 15 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.7-5
|
|
![](https://seccdn.libravatar.org/avatar/4e8d68fe76de63043f2c89e9e363e4dc5af5775e488004cc7a8398c86381b072?s=16&d=retro) |
f191f9a |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
|
|
![](https://seccdn.libravatar.org/avatar/4e8d68fe76de63043f2c89e9e363e4dc5af5775e488004cc7a8398c86381b072?s=16&d=retro) |
f191f9a |
|
|
![](https://seccdn.libravatar.org/avatar/f970308d71f3ca61b27e8dd3eff4452513db64aa06f933115f14504cd846b4df?s=16&d=retro) |
1fdd505 |
* Fri Jun 06 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.7-4
|
|
![](https://seccdn.libravatar.org/avatar/f970308d71f3ca61b27e8dd3eff4452513db64aa06f933115f14504cd846b4df?s=16&d=retro) |
1fdd505 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
|
|
![](https://seccdn.libravatar.org/avatar/f970308d71f3ca61b27e8dd3eff4452513db64aa06f933115f14504cd846b4df?s=16&d=retro) |
1fdd505 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
357e012 |
* Wed Feb 5 2014 Jens Petersen <petersen@redhat.com> - 0.7-3
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
357e012 |
- no ghc-rpm-macros-extra on F19
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
357e012 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
* Mon Feb 3 2014 Jens Petersen <petersen@redhat.com> - 0.7-2
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
- only build on arch's where Agda builds
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
* Tue Jun 25 2013 Jens Petersen <petersen@redhat.com> - 0.7-1
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
- update to 0.7 with agda-lib-ffi-0.0.2
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
- use ghc-rpm-macros-extra
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
- add ffi_ver macro for agda-lib-ffi version
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
* Thu Jul 12 2012 Jens Petersen <petersen@redhat.com> - 0.6-4
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
- move stdlib files to datadir
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
- subpackage html docs
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
* Wed Jul 11 2012 Jens Petersen <petersen@redhat.com> - 0.6-3
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
- subpackage agda-lib-ffi for MAlonzo backend
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
* Wed Jul 11 2012 Jens Petersen <petersen@redhat.com> - 0.6-2
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
- fix the manifest to include the libraries
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
- add html
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
- turn off debuginfo
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
- remove README interface files
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
* Wed Jul 11 2012 Jens Petersen <petersen@redhat.com> - 0.6-1
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
- update to 0.6
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
* Sat Jun 4 2011 Fedora Haskell SIG <haskell-devel@lists.fedoraproject.org>
|
|
![](https://seccdn.libravatar.org/avatar/ade620fcd0c270130799ce2518991baee38b812dd3c709cdc81983ec1c5bbdc0?s=16&d=retro) |
3a702b0 |
- initial packaging for Fedora automatically generated by cabal2spec-0.23
|