SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

why-gwhy rpm build for : Fedora 16. For other distributions click why-gwhy.

Name : why-gwhy
Version : 2.30 Vendor : Fedora Project
Release : 4.fc16 Date : 2012-01-12 00:12:43
Group : Applications/Engineering Source RPM : why-2.30-4.fc16.src.rpm
Size : 2.96 MB
Packager : Fedora Project
Summary : IDE for Why software verification platform
Description :
Gwhy is an optional graphical user interface for the Why software
coordination platform. It assists in the coordination of dispatching
assertions that need to be proven to different theorem provers by
providing an interface to do this and also supports inspection of why
input files.

RPM found in directory: /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/updates/16/i386

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  why-gwhy-2.30-4.fc16.i686.rpm
     Search for other platforms
why-gwhy-2.30-4.fc16.sparc.rpm
why-gwhy-2.30-4.fc16.alpha.rpm
why-gwhy-2.30-4.fc16.ppc.rpm
why-gwhy-2.30-4.fc16.ia64.rpm
why-gwhy-2.30-4.fc16.s390.rpm

Provides :
why-gwhy
why-gwhy(x86-32)

Requires :
libpthread.so.0(GLIBC_2.2)
libgobject-2.0.so.0
libpthread.so.0
libdl.so.2(GLIBC_2.1)
libdl.so.2
rtld(GNU_HASH)
libgtk-x11-2.0.so.0
libpangocairo-1.0.so.0
libgdk_pixbuf-2.0.so.0
libpthread.so.0(GLIBC_2.3.2)
libm.so.6
librt.so.1
libpangoft2-1.0.so.0
libc.so.6(GLIBC_2.4)
libpango-1.0.so.0
libgdk-x11-2.0.so.0
libgio-2.0.so.0
rpmlib(PayloadIsXz) <= 5.2-1
libpthread.so.0(GLIBC_2.1)
libc.so.6(GLIBC_2.7)
why(x86-32) = 2.30-4.fc16
libc.so.6(GLIBC_2.2)
libc.so.6(GLIBC_2.0)
libc.so.6(GLIBC_2.1.2)
libgthread-2.0.so.0
libdl.so.2(GLIBC_2.0)
/bin/sh
libpthread.so.0(GLIBC_2.0)
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
libpng12.so.0
libc.so.6(GLIBC_2.11)
libc.so.6(GLIBC_2.3)
libm.so.6(GLIBC_2.0)
libgmodule-2.0.so.0
zenity
libc.so.6(GLIBC_2.3.2)
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(CompressedFileNames) <= 3.0.4-1
libcairo.so.2
libatk-1.0.so.0
libc.so.6(GLIBC_2.1)
libfontconfig.so.1
libfreetype.so.6
libglib-2.0.so.0
libm.so.6(GLIBC_2.1)
libc.so.6
libc.so.6(GLIBC_2.3.4)


Content of RPM :
/usr/bin/gwhy
/usr/bin/gwhy-bin
/usr/share/applications/fedora-gwhy.desktop
/usr/share/doc/why-gwhy-2.30
/usr/share/doc/why-gwhy-2.30/README.why-gwhy.Fedora
/usr/share/why
/usr/share/why/gwhy-icon.png

  
ICM