SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

ghc-open-witness rpm build for : OpenSuSE. For other distributions click ghc-open-witness.

Name : ghc-open-witness
Version : 0.4 Vendor : openSUSE
Release : bp150.1.5 Date : 2018-07-30 21:05:26
Group : Development/Languages/Other Source RPM : ghc-open-witness-0.4-bp150.1.5.src.rpm
Size : 0.13 MB
Packager : https://bugs_opensuse_org
Summary : Open witnesses
Description :
Open witnesses are witnesses that can witness to any type. However, they cannot
be constructed, they can only be generated in the IO monad. See the paper
/Witnesses and Open Witnesses/
(< http://semantic.org/stuff/Open-Witnesses.pdf>).

RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/openSUSE:/Backports:/SLE-15/standard/x86_64

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  ghc-open-witness-0.4-bp150.1.5.x86_64.rpm
     

Provides :
ghc-open-witness
ghc-open-witness(x86-64)
libHSopen-witness-0.4-EXXqBTcL4VPJHEAHXMkq1o-ghc8.0.2.so()(64bit)

Requires :
libHSStateVar-1.1.0.4-5dJbnTVECtEAhfJXPZKdbO-ghc8.0.2.so()(64bit)
libHSarray-0.5.1.1-ghc8.0.2.so()(64bit)
libHSbase-4.9.1.0-ghc8.0.2.so()(64bit)
libHSbase-orphans-0.6-AbJ3lKVXygDCG0eeQEv8Iu-ghc8.0.2.so()(64bit)
libHSbifunctors-5.4.2-5j5AtkN8t5O1W8mEe1pi0q-ghc8.0.2.so()(64bit)
libHSbinary-0.8.3.0-ghc8.0.2.so()(64bit)
libHSbytestring-0.10.8.1-ghc8.0.2.so()(64bit)
libHScomonad-5.0.1-2dOTQljdUSmGwatNHkYwW3-ghc8.0.2.so()(64bit)
libHSconstraints-0.9.1-KCgZR7PIr0WFU69ckhJ9oE-ghc8.0.2.so()(64bit)
libHScontainers-0.5.7.1-ghc8.0.2.so()(64bit)
libHScontravariant-1.4-29zF0Im431177ovfbHYCGv-ghc8.0.2.so()(64bit)
libHSdeepseq-1.4.2.0-ghc8.0.2.so()(64bit)
libHSdistributive-0.5.2-KlkgfUmuqy3Z181VSjKfJ-ghc8.0.2.so()(64bit)
libHSghc-boot-th-8.0.2-ghc8.0.2.so()(64bit)
libHSghc-prim-0.5.0.0-ghc8.0.2.so()(64bit)
libHShashable-1.2.6.1-ArdkmQrtdsLPQA60ZQw2E-ghc8.0.2.so()(64bit)
libHSinteger-gmp-1.0.0.1-ghc8.0.2.so()(64bit)
libHSmtl-2.2.1-BLKBelFsPB3BoFeSWSOYj6-ghc8.0.2.so()(64bit)
libHSpretty-1.1.3.3-ghc8.0.2.so()(64bit)
libHSrandom-1.1-9tceXaeYIMZ4JrKq20Egog-ghc8.0.2.so()(64bit)
libHSsemigroupoids-5.2-8RI6HtO1LKLE496qmzB9Po-ghc8.0.2.so()(64bit)
libHSsemigroups-0.18.3-5xL9BgkWQsCGwo6YahyMCM-ghc8.0.2.so()(64bit)
libHSstm-2.4.4.1-JQn4hNPyYjP5m9AcbI88Ve-ghc8.0.2.so()(64bit)
libHStagged-0.8.5-1mTloBSoUxv8dqUr8XBGBt-ghc8.0.2.so()(64bit)
libHStemplate-haskell-2.11.1.0-ghc8.0.2.so()(64bit)
libHStext-1.2.2.2-1cn50juu89QSL9QkUVcRY-ghc8.0.2.so()(64bit)
libHStime-1.6.0.1-ghc8.0.2.so()(64bit)
libHStransformers-0.5.2.0-ghc8.0.2.so()(64bit)
libHStransformers-compat-0.5.1.4-IuFogs8HAVUJBWVNMhtssu-ghc8.0.2.so()(64bit)
libHSvoid-0.7.2-4PWwLjXxAER9U3zGpDhf6e-ghc8.0.2.so()(64bit)
libHSwitness-0.4-4U5VLtPOPY4GqqQ5e4T3Vc-ghc8.0.2.so()(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.2.5)(64bit)
libgmp.so.10()(64bit)
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-1


Content of RPM :
/usr/lib64/ghc-8.0.2/open-witness-0.4-EXXqBTcL4VPJHEAHXMkq1o
/usr/lib64/ghc-8.0.2/open-witness-0.4-EXXqBTcL4VPJHEAHXMkq1o/libHSopen-witness-0.4-EXXqBTcL4VPJHEAHXMkq1o-ghc8.0.2.so
/usr/share/doc/packages/ghc-open-witness
/usr/share/doc/packages/ghc-open-witness/LICENSE

  
ICM