SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : ghc-presburger-devel
Version : 1.3.1 Vendor : openSUSE
Release : bp150.2.6 Date : 2018-07-30 20:24:52
Group : Development/Libraries/Haskell Source RPM : ghc-presburger-1.3.1-bp150.2.6.src.rpm
Size : 2.19 MB
Packager : https://bugs_opensuse_org
Summary : Haskell presburger library development files
Description :
This package provides the Haskell presburger library development files.

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-presburger-devel-1.3.1-bp150.2.6.x86_64.rpm
     

Provides :
ghc-devel(presburger-1.3.1-8vpb1K8V7jL6H3PN187B5W)
ghc-presburger-devel
ghc-presburger-devel(x86-64)

Requires :
/bin/sh
/bin/sh
ghc-compiler = 8.0.2
ghc-compiler = 8.0.2
ghc-compiler = 8.0.2
ghc-devel(base-4.9.1.0)
ghc-devel(containers-0.5.7.1)
ghc-devel(pretty-1.1.3.3)
ghc-presburger = 1.3.1-bp150.2.6
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/package.conf.d/presburger-1.3.1.conf
/usr/lib64/ghc-8.0.2/presburger-1.3.1-8vpb1K8V7jL6H3PN187B5W/Data
/usr/lib64/ghc-8.0.2/presburger-1.3.1-8vpb1K8V7jL6H3PN187B5W/Data/Integer
/usr/lib64/ghc-8.0.2/presburger-1.3.1-8vpb1K8V7jL6H3PN187B5W/Data/Integer/SAT.dyn_hi
/usr/lib64/ghc-8.0.2/presburger-1.3.1-8vpb1K8V7jL6H3PN187B5W/Data/Integer/SAT.hi
/usr/lib64/ghc-8.0.2/presburger-1.3.1-8vpb1K8V7jL6H3PN187B5W/Data/Integer/SAT.p_hi
/usr/lib64/ghc-8.0.2/presburger-1.3.1-8vpb1K8V7jL6H3PN187B5W/libHSpresburger-1.3.1-8vpb1K8V7jL6H3PN187B5W.a
/usr/lib64/ghc-8.0.2/presburger-1.3.1-8vpb1K8V7jL6H3PN187B5W/libHSpresburger-1.3.1-8vpb1K8V7jL6H3PN187B5W_p.a
/usr/share/doc/ghc-8.0.2/html/libraries/presburger-1.3.1
/usr/share/doc/ghc-8.0.2/html/libraries/presburger-1.3.1/Data-Integer-SAT.html
/usr/share/doc/ghc-8.0.2/html/libraries/presburger-1.3.1/doc-index.html
/usr/share/doc/ghc-8.0.2/html/libraries/presburger-1.3.1/haddock-util.js
/usr/share/doc/ghc-8.0.2/html/libraries/presburger-1.3.1/hslogo-16.png
/usr/share/doc/ghc-8.0.2/html/libraries/presburger-1.3.1/index.html
/usr/share/doc/ghc-8.0.2/html/libraries/presburger-1.3.1/mini_Data-Integer-SAT.html
/usr/share/doc/ghc-8.0.2/html/libraries/presburger-1.3.1/minus.gif
/usr/share/doc/ghc-8.0.2/html/libraries/presburger-1.3.1/ocean.css
/usr/share/doc/ghc-8.0.2/html/libraries/presburger-1.3.1/plus.gif
/usr/share/doc/ghc-8.0.2/html/libraries/presburger-1.3.1/presburger.haddock
/usr/share/doc/ghc-8.0.2/html/libraries/presburger-1.3.1/presburger.txt
/usr/share/doc/ghc-8.0.2/html/libraries/presburger-1.3.1/synopsis.png

 
ICM