SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

why3 rpm build for : Fedora 39. For other distributions click why3.

Name : why3
Version : 1.6.0 Vendor : Fedora Project
Release : 6.fc39 Date : 2023-09-10 18:53:27
Group : Unspecified Source RPM : why3-1.6.0-6.fc39.src.rpm
Size : 65.65 MB
Packager : Fedora Project
Summary : Software verification platform
Description :
Why3 is the next generation of the Why software verification platform.
Why3 clearly separates the purely logical specification part from
generation of verification conditions for programs. It features a rich
library of proof task transformations that can be chained to produce a
suitable input for a large set of theorem provers, including SMT
solvers, TPTP provers, as well as interactive proof assistants.

RPM found in directory: /vol/rzm3/linux-fedora-buffet/fedora/linux/releases/39/Everything/x86_64/os/Packages/w

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  why3-1.6.0-6.fc39.x86_64.rpm
     

Provides :
application()
application(fr.lri.why3.desktop)
bundled(js-jquery)
metainfo()
metainfo(fr.lri.why3.metainfo.xml)
why
why-jessie
why-pvs-support
why3
why3(x86-64)

Requires :
/usr/bin/sh
gtksourceview3(x86-64)
hicolor-icon-theme
ld-linux-x86-64.so.2()(64bit)
ld-linux-x86-64.so.2(GLIBC_2.3)(64bit)
libapron.so()(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.10)(64bit)
libc.so.6(GLIBC_2.11)(64bit)
libc.so.6(GLIBC_2.14)(64bit)
libc.so.6(GLIBC_2.15)(64bit)
libc.so.6(GLIBC_2.16)(64bit)
libc.so.6(GLIBC_2.17)(64bit)
libc.so.6(GLIBC_2.2.5)(64bit)
libc.so.6(GLIBC_2.25)(64bit)
libc.so.6(GLIBC_2.28)(64bit)
libc.so.6(GLIBC_2.3)(64bit)
libc.so.6(GLIBC_2.3.2)(64bit)
libc.so.6(GLIBC_2.3.4)(64bit)
libc.so.6(GLIBC_2.32)(64bit)
libc.so.6(GLIBC_2.33)(64bit)
libc.so.6(GLIBC_2.34)(64bit)
libc.so.6(GLIBC_2.38)(64bit)
libc.so.6(GLIBC_2.4)(64bit)
libc.so.6(GLIBC_2.6)(64bit)
libc.so.6(GLIBC_2.7)(64bit)
libc.so.6(GLIBC_2.9)(64bit)
libcairo.so.2()(64bit)
libgdk-3.so.0()(64bit)
libgdk_pixbuf-2.0.so.0()(64bit)
libglib-2.0.so.0()(64bit)
libgmp.so.10()(64bit)
libgobject-2.0.so.0()(64bit)
libgtk-3.so.0()(64bit)
libgtksourceview-3.0.so.1()(64bit)
libm.so.6()(64bit)
libm.so.6(GLIBC_2.2.5)(64bit)
libm.so.6(GLIBC_2.29)(64bit)
libm.so.6(GLIBC_2.35)(64bit)
libm.so.6(GLIBC_2.38)(64bit)
libmpfr.so.6()(64bit)
libpango-1.0.so.0()(64bit)
libpolkaMPQ.so()(64bit)
libz.so.1()(64bit)
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
rtld(GNU_HASH)
texlive-base(x86-64)
vim-filesystem


Content of RPM :
/usr/bin/isabelle_client
/usr/bin/why3
/usr/lib/.build-id
/usr/lib/.build-id/04
/usr/lib/.build-id/04/335c883a4675950559458fb97877672c15190b
/usr/lib/.build-id/14
/usr/lib/.build-id/14/6381a1e83d847efb89134fad4ec9b6374c4fea
/usr/lib/.build-id/1c
/usr/lib/.build-id/1c/16aed141aa6a4ea2c1fea0d5f75581878fed64
/usr/lib/.build-id/35
/usr/lib/.build-id/35/7808167a95b44a9ee76fdc754b36e4903ae939
/usr/lib/.build-id/41
/usr/lib/.build-id/41/9fa7a21b79d4af053508bb33ada5863b5f818e
/usr/lib/.build-id/51
/usr/lib/.build-id/51/ec42d9e19e30083b984d988f2a446fa3a906e4
/usr/lib/.build-id/58
/usr/lib/.build-id/58/03b3acebe0064e228d5962ae1bb1b21e2cc842
/usr/lib/.build-id/5b
/usr/lib/.build-id/5b/968b096f50983899dde92ace7a00a93bf52e9b
/usr/lib/.build-id/6a
/usr/lib/.build-id/6a/a9238c042d152ea6462a98e1d101d9a4918ab4
/usr/lib/.build-id/6c
/usr/lib/.build-id/6c/d02f154e531b4a41458ec901c8a6d2f5a6ded8
/usr/lib/.build-id/74
/usr/lib/.build-id/74/ccb42121170d0790ef0c0d3463e32b4013096a
/usr/lib/.build-id/79
/usr/lib/.build-id/79/37cfa1798c1a038080b00e8a26d33ff0981846
/usr/lib/.build-id/7e
/usr/lib/.build-id/7e/7ffaf6bc7b0ac92dc14e6e9f94a3b9033e02d9
/usr/lib/.build-id/80
There is 424 files more in these RPM.

  
ICM