Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

ghc-Agda-2.5.2-lp150.1.17 RPM for x86_64

From OpenSuSE Leap 15.0 for x86_64

Name: ghc-Agda Distribution: openSUSE Leap 15.0
Version: 2.5.2 Vendor: openSUSE
Release: lp150.1.17 Build date: Sun May 13 06:34:25 2018
Group: System/Libraries Build host: lamb24
Size: 37963804 Source RPM: Agda-2.5.2-lp150.1.17.src.rpm
Packager: https://bugs.opensuse.org
Url: https://hackage.haskell.org/package/Agda
Summary: Haskell Agda library
This package provides the Haskell Agda shared library.

Provides

Requires

License

MIT AND BSD-3-Clause

Changelog

* Sun Feb 12 2017 psimons@suse.com
  - Update to version 2.5.2 revision 2 with cabal2obs.
* Thu Sep 15 2016 psimons@suse.com
  - Update to version 2.5.1.1 revision 1 with cabal2obs.
* Sun Jul 10 2016 psimons@suse.com
  - Update to version 2.5.1 revision 0 with cabal2obs.

Files

/usr/lib64/ghc-8.0.2/Agda-2.5.2-AyyJ54X0qGFDV8rYckhQtt
/usr/lib64/ghc-8.0.2/Agda-2.5.2-AyyJ54X0qGFDV8rYckhQtt/libHSAgda-2.5.2-AyyJ54X0qGFDV8rYckhQtt-ghc8.0.2.so
/usr/share/doc/packages/ghc-Agda
/usr/share/doc/packages/ghc-Agda/LICENSE


Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Apr 9 10:08:57 2022