SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : ghc-sbv
Version : 7.13 Vendor : obs://build_opensuse_org/home:leviathanch
Release : 2.4 Date : 2019-02-13 00:06:46
Group : Development/Libraries/Haskell Source RPM : ghc-sbv-7.13-2.4.src.rpm
Size : 11.10 MB
Packager : (none)
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/home:/leviathanch:/asic/openSUSE_Tumbleweed/i586

Content of RPM  Changelog  Provides Requires

Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server

Provides :
ghc-sbv
ghc-sbv(x86-32)
libHSsbv-7.13-1DHYN3hxv5s5dUeGQTVzdI-ghc8.6.3.so

Requires :
libHSFloatingHex-0.4-7UrngnwzVEHuk3w2MDnq3-ghc8.6.3.so
libHSQuickCheck-2.12.6.1-DGJppTkvkJH851oWd3mp4K-ghc8.6.3.so
libHSarray-0.5.3.0-ghc8.6.3.so
libHSasync-2.2.1-HTC31Pr1M3dBwsBHYLtXQI-ghc8.6.3.so
libHSbase-4.12.0.0-ghc8.6.3.so
libHSbinary-0.8.6.0-ghc8.6.3.so
libHSbytestring-0.10.8.2-ghc8.6.3.so
libHScontainers-0.6.0.1-ghc8.6.3.so
libHScrackNum-2.3-4LTaUC4c15AIrmPgUx7QnW-ghc8.6.3.so
libHSdeepseq-1.4.4.0-ghc8.6.3.so
libHSdirectory-1.3.3.0-ghc8.6.3.so
libHSerf-2.0.0.0-ExhHoenPosmHlOroBQQced-ghc8.6.3.so
libHSfilepath-1.4.2.1-ghc8.6.3.so
libHSgeneric-deriving-1.12.2-APsF3FuzhX3JXL1eBKgjQ9-ghc8.6.3.so
libHSghc-8.6.3-ghc8.6.3.so
libHSghc-boot-8.6.3-ghc8.6.3.so
libHSghc-boot-th-8.6.3-ghc8.6.3.so
libHSghc-heap-8.6.3-ghc8.6.3.so
libHSghc-prim-0.5.3-ghc8.6.3.so
libHSghci-8.6.3-ghc8.6.3.so
libHShashable-1.2.7.0-PK9CoTHb9l8p2DPI8EG8u-ghc8.6.3.so
libHShpc-0.6.0.3-ghc8.6.3.so
libHSinteger-gmp-1.0.2.0-ghc8.6.3.so
libHSmtl-2.2.2-ghc8.6.3.so
libHSpretty-1.1.3.6-ghc8.6.3.so
libHSprimitive-0.6.4.0-1mvPxVOk6Q6KOkWCZxqESf-ghc8.6.3.so
libHSprocess-1.6.3.0-ghc8.6.3.so
libHSrandom-1.1-3ypV4EIycgb35PKjTYYr5q-ghc8.6.3.so
libHSstm-2.5.0.0-ghc8.6.3.so
libHSsyb-0.7-KRW1LCxdMiCJrmhxCvzo37-ghc8.6.3.so
libHStemplate-haskell-2.14.0.0-ghc8.6.3.so
libHSterminfo-0.4.1.2-ghc8.6.3.so
libHStext-1.2.3.1-ghc8.6.3.so
libHStf-random-0.5-DGXDH2T2OVbHHRLZ895CUL-ghc8.6.3.so
libHSth-abstraction-0.2.10.0-IupKYUmBxoGBM1HXci6nJH-ghc8.6.3.so
libHStime-1.8.0.2-ghc8.6.3.so
libHStransformers-0.5.5.0-ghc8.6.3.so
libHSunix-2.7.2.2-ghc8.6.3.so
libatomic.so.1
libc.so.6
libc.so.6(GLIBC_2.1.3)
libdl.so.2
libgmp.so.10
libm.so.6
libm.so.6(GLIBC_2.0)
libm.so.6(GLIBC_2.27)
libm.so.6(GLIBC_2.29)
libpthread.so.0
librt.so.1
libtinfo.so.6
libutil.so.1
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/lib/ghc-8.6.3/sbv-7.13-1DHYN3hxv5s5dUeGQTVzdI
/usr/lib/ghc-8.6.3/sbv-7.13-1DHYN3hxv5s5dUeGQTVzdI/libHSsbv-7.13-1DHYN3hxv5s5dUeGQTVzdI-ghc8.6.3.so
/usr/share/licenses/ghc-sbv
/usr/share/licenses/ghc-sbv/LICENSE
/usr/share/sbv-7.13
/usr/share/sbv-7.13/SBVTestSuite
/usr/share/sbv-7.13/SBVTestSuite/GoldFiles
/usr/share/sbv-7.13/SBVTestSuite/GoldFiles/U2Bridge.gold
/usr/share/sbv-7.13/SBVTestSuite/GoldFiles/addSub.gold
/usr/share/sbv-7.13/SBVTestSuite/GoldFiles/aes128Dec.gold
/usr/share/sbv-7.13/SBVTestSuite/GoldFiles/aes128Enc.gold
/usr/share/sbv-7.13/SBVTestSuite/GoldFiles/aes128Lib.gold
/usr/share/sbv-7.13/SBVTestSuite/GoldFiles/allSat1.gold
/usr/share/sbv-7.13/SBVTestSuite/GoldFiles/allSat2.gold
/usr/share/sbv-7.13/SBVTestSuite/GoldFiles/allSat3.gold
/usr/share/sbv-7.13/SBVTestSuite/GoldFiles/allSat4.gold
/usr/share/sbv-7.13/SBVTestSuite/GoldFiles/allSat5.gold
/usr/share/sbv-7.13/SBVTestSuite/GoldFiles/allSat6.gold
/usr/share/sbv-7.13/SBVTestSuite/GoldFiles/assertWithPenalty1.gold
/usr/share/sbv-7.13/SBVTestSuite/GoldFiles/assertWithPenalty2.gold
/usr/share/sbv-7.13/SBVTestSuite/GoldFiles/auf-0.gold
/usr/share/sbv-7.13/SBVTestSuite/GoldFiles/auf-1.gold
/usr/share/sbv-7.13/SBVTestSuite/GoldFiles/basic-1_1.gold
/usr/share/sbv-7.13/SBVTestSuite/GoldFiles/basic-1_2.gold
/usr/share/sbv-7.13/SBVTestSuite/GoldFiles/basic-1_3.gold
/usr/share/sbv-7.13/SBVTestSuite/GoldFiles/basic-1_4.gold
/usr/share/sbv-7.13/SBVTestSuite/GoldFiles/basic-1_5.gold
/usr/share/sbv-7.13/SBVTestSuite/GoldFiles/basic-2_1.gold
/usr/share/sbv-7.13/SBVTestSuite/GoldFiles/basic-2_2.gold
/usr/share/sbv-7.13/SBVTestSuite/GoldFiles/basic-2_3.gold
There is 226 files more in these RPM.

 
ICM