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.1 RPM for ppc64le

From OpenSuSE Ports Leap 15.0 for ppc64le

Name: ghc-Agda Distribution: openSUSE Leap 15.0
Version: 2.5.2 Vendor: openSUSE
Release: lp150.1.1 Build date: Thu Apr 26 02:21:16 2018
Group: System/Libraries Build host: obs-power8-02
Size: 60434260 Source RPM: Agda-2.5.2-lp150.1.1.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:34:41 2022