SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : ghc-sbv
Version : 7.3 Vendor : openSUSE
Release : bp150.2.8 Date : 2018-07-30 20:55:55
Group : Development/Libraries/Haskell Source RPM : ghc-sbv-7.3-bp150.2.8.src.rpm
Size : 12.58 MB
Packager : https://bugs_opensuse_org
Summary : SMT Based Verification: Symbolic Haskell theorem prover using SMT solving
Description :
Express properties about Haskell programs and automatically prove them using
SMT (Satisfiability Modulo Theories) solvers.

For details, please see: < http://leventerkok.github.com/sbv/>.

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-sbv-7.3-bp150.2.8.x86_64.rpm
     

Provides :
ghc-sbv
ghc-sbv(x86-64)
libHSsbv-7.3-2BEKkYYE0P74Phph0RsW2y-ghc8.0.2.so()(64bit)

Requires :
libHSFloatingHex-0.4-AWdFC0aXua38DYTuaxGKeT-ghc8.0.2.so()(64bit)
libHSQuickCheck-2.9.2-LvlomhGMxrFBkX1zwiWpQu-ghc8.0.2.so()(64bit)
libHSarray-0.5.1.1-ghc8.0.2.so()(64bit)
libHSasync-2.1.1.1-8yywY4inVGRLJSCg60gBXj-ghc8.0.2.so()(64bit)
libHSbase-4.9.1.0-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)
libHScontainers-0.5.7.1-ghc8.0.2.so()(64bit)
libHScrackNum-1.9-IFuCbm0SyecAOrENUeW0mp-ghc8.0.2.so()(64bit)
libHSdata-binary-ieee754-0.4.4-7iiF2mP1jcB6tVSPgIyBOi-ghc8.0.2.so()(64bit)
libHSdeepseq-1.4.2.0-ghc8.0.2.so()(64bit)
libHSdirectory-1.3.0.0-ghc8.0.2.so()(64bit)
libHSfilepath-1.4.1.1-ghc8.0.2.so()(64bit)
libHSgeneric-deriving-1.11.2-FTRmVS5RM6G7R2MgyiZHgW-ghc8.0.2.so()(64bit)
libHSghc-8.0.2-ghc8.0.2.so()(64bit)
libHSghc-boot-8.0.2-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)
libHSghci-8.0.2-ghc8.0.2.so()(64bit)
libHShoopl-3.10.2.1-ghc8.0.2.so()(64bit)
libHShpc-0.6.0.3-ghc8.0.2.so()(64bit)
libHSieee754-0.8.0-CDXZC1OkvI520r7z7XGrZG-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)
libHSprimitive-0.6.2.0-4578caNkWQ54Gt1mxLF2Yh-ghc8.0.2.so()(64bit)
libHSprocess-1.4.3.0-ghc8.0.2.so()(64bit)
libHSrandom-1.1-9tceXaeYIMZ4JrKq20Egog-ghc8.0.2.so()(64bit)
libHSstm-2.4.4.1-JQn4hNPyYjP5m9AcbI88Ve-ghc8.0.2.so()(64bit)
libHSsyb-0.7-4OKdCpwGutyB1rNRmoa0ya-ghc8.0.2.so()(64bit)
libHStemplate-haskell-2.11.1.0-ghc8.0.2.so()(64bit)
libHStf-random-0.5-CJZw1ZWS5MOJlR60HqKEZL-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)
libHSunix-2.7.2.1-ghc8.0.2.so()(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.2.5)(64bit)
libdl.so.2()(64bit)
libgmp.so.10()(64bit)
libpthread.so.0()(64bit)
librt.so.1()(64bit)
libutil.so.1()(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/sbv-7.3-2BEKkYYE0P74Phph0RsW2y
/usr/lib64/ghc-8.0.2/sbv-7.3-2BEKkYYE0P74Phph0RsW2y/libHSsbv-7.3-2BEKkYYE0P74Phph0RsW2y-ghc8.0.2.so
/usr/share/doc/packages/ghc-sbv
/usr/share/doc/packages/ghc-sbv/LICENSE
/usr/share/sbv-7.3
/usr/share/sbv-7.3/SBVTestSuite
/usr/share/sbv-7.3/SBVTestSuite/GoldFiles
/usr/share/sbv-7.3/SBVTestSuite/GoldFiles/U2Bridge.gold
/usr/share/sbv-7.3/SBVTestSuite/GoldFiles/addSub.gold
/usr/share/sbv-7.3/SBVTestSuite/GoldFiles/aes128Dec.gold
/usr/share/sbv-7.3/SBVTestSuite/GoldFiles/aes128Enc.gold
/usr/share/sbv-7.3/SBVTestSuite/GoldFiles/aes128Lib.gold
/usr/share/sbv-7.3/SBVTestSuite/GoldFiles/allSat1.gold
/usr/share/sbv-7.3/SBVTestSuite/GoldFiles/allSat2.gold
/usr/share/sbv-7.3/SBVTestSuite/GoldFiles/allSat3.gold
/usr/share/sbv-7.3/SBVTestSuite/GoldFiles/allSat4.gold
/usr/share/sbv-7.3/SBVTestSuite/GoldFiles/allSat5.gold
/usr/share/sbv-7.3/SBVTestSuite/GoldFiles/allSat6.gold
/usr/share/sbv-7.3/SBVTestSuite/GoldFiles/assertSoft1.gold
/usr/share/sbv-7.3/SBVTestSuite/GoldFiles/assertSoft2.gold
/usr/share/sbv-7.3/SBVTestSuite/GoldFiles/auf-1.gold
/usr/share/sbv-7.3/SBVTestSuite/GoldFiles/basic-1_1.gold
/usr/share/sbv-7.3/SBVTestSuite/GoldFiles/basic-1_2.gold
/usr/share/sbv-7.3/SBVTestSuite/GoldFiles/basic-1_3.gold
/usr/share/sbv-7.3/SBVTestSuite/GoldFiles/basic-1_4.gold
/usr/share/sbv-7.3/SBVTestSuite/GoldFiles/basic-1_5.gold
/usr/share/sbv-7.3/SBVTestSuite/GoldFiles/basic-2_1.gold
/usr/share/sbv-7.3/SBVTestSuite/GoldFiles/basic-2_2.gold
/usr/share/sbv-7.3/SBVTestSuite/GoldFiles/basic-2_3.gold
/usr/share/sbv-7.3/SBVTestSuite/GoldFiles/basic-2_4.gold
There is 152 files more in these RPM.

  
ICM