Sat, 30 Nov 2024 04:56:07 UTC | login

Information for RPM why3-1.7.2-7.fc41.riscv64.rpm

ID1363297
Namewhy3
Version1.7.2
Release7.fc41
Epoch
Archriscv64
SummarySoftware verification platform
DescriptionWhy3 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.
Build Time2024-07-25 11:15:38 GMT
Size15.33 MB
90a4d08da9dc8d60c5408765218bc4bf
LicenseLGPL-2.1-only WITH OCaml-LGPL-linking-exception
git:https://gitlab.inria.fr/why3/why3.git
Buildrootf41-build-821301-152509
Provides
application()
application(fr.lri.why3.desktop)
bundled(js-jquery)
metainfo()
metainfo(fr.lri.why3.metainfo.xml)
why3 = 1.7.2-7.fc41
why3(riscv-64) = 1.7.2-7.fc41
Obsoletes
why3-xemacs < 1.4.0-4
Conflicts No Conflicts
Requires
/usr/bin/sh
gtksourceview3(riscv-64)
hicolor-icon-theme
ld-linux-riscv64-lp64d.so.1()(64bit)
ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit)
libapron.so()(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.27)(64bit)
libc.so.6(GLIBC_2.28)(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)
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.27)(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(riscv-64)
vim-filesystem
Recommends
bash-completion
flocq
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
Page:
1 through 50 of 438 >>>
Name ascending sort Size
/usr/bin/isabelle_client22.22 MB
/usr/bin/why322.19 MB
/usr/lib/.build-id0.00 B
/usr/lib/.build-id/000.00 B
/usr/lib/.build-id/00/c45c6fdc91eb10bf190cd59970c918c64b28ff50.00 B
/usr/lib/.build-id/220.00 B
/usr/lib/.build-id/22/0d3e033b1899b5ba0c64b5b0586809c656d1cf50.00 B
/usr/lib/.build-id/22/d79117ad40c22145570996fc2959d9623efc9046.00 B
/usr/lib/.build-id/2a0.00 B
/usr/lib/.build-id/2a/1e8cc18821e69431d4741a5a71ff3e3aa9744848.00 B
/usr/lib/.build-id/370.00 B
/usr/lib/.build-id/37/792ab4a1a02170d19e9b5e9dcbbddb8e4de87f50.00 B
/usr/lib/.build-id/3b0.00 B
/usr/lib/.build-id/3b/cc3a08723daa192a03aa3adec45f3d1a18922452.00 B
/usr/lib/.build-id/4e0.00 B
/usr/lib/.build-id/4e/7bacb7c1e6ed5d99e6b5cfd30b9cb4e9d2e3d846.00 B
/usr/lib/.build-id/5e0.00 B
/usr/lib/.build-id/5e/819b3810f05b35e46446a81cc9ca5c5556d74b39.00 B
/usr/lib/.build-id/6e0.00 B
/usr/lib/.build-id/6e/1b81da1cfe958e4018215129dd6537fa4393dd49.00 B
/usr/lib/.build-id/7e0.00 B
/usr/lib/.build-id/7e/4c595e3ae96e7c47eae5fa2b2c6f11f64d567243.00 B
/usr/lib/.build-id/8a0.00 B
/usr/lib/.build-id/8a/5cf20769aa105481da137fa4490531a4683f1544.00 B
/usr/lib/.build-id/960.00 B
/usr/lib/.build-id/96/d39818e6ec4afba086bf51f954dc33adc79ae152.00 B
/usr/lib/.build-id/9a0.00 B
/usr/lib/.build-id/9a/5ca0d9aac9e80372b4fa50cb1e54c357dcc8c437.00 B
/usr/lib/.build-id/9d0.00 B
/usr/lib/.build-id/9d/622f23bcc74d615e750fbf5e011178b7f1d01a54.00 B
/usr/lib/.build-id/a00.00 B
/usr/lib/.build-id/a0/68f182b54671c70cfe223bec40f870adebd5eb60.00 B
/usr/lib/.build-id/a50.00 B
/usr/lib/.build-id/a5/a8393c4de48abdd973a175c0cfb3b3ad48a07e48.00 B
/usr/lib/.build-id/ac0.00 B
/usr/lib/.build-id/ac/bad64f0a053f34f87484e576fc2391854e132e52.00 B
/usr/lib/.build-id/b00.00 B
/usr/lib/.build-id/b0/d09d7fcc462ff78dd8565508126520126a96fb47.00 B
/usr/lib/.build-id/b10.00 B
/usr/lib/.build-id/b1/cedb8008c32614c08f33259c50e6843a70af9551.00 B
/usr/lib/.build-id/be0.00 B
/usr/lib/.build-id/be/64bc29cde48c158e26adf17c3925823ed74a0b35.00 B
/usr/lib/.build-id/de0.00 B
/usr/lib/.build-id/de/f552a371760a7081a9e0c164072cb55ea7650849.00 B
/usr/lib/.build-id/e30.00 B
/usr/lib/.build-id/e3/809037b8f8b3ed9fc31a728662d223a29071cb46.00 B
/usr/lib/.build-id/e50.00 B
/usr/lib/.build-id/e5/b99f2f16a21026d271bdae749b080763c1c57d51.00 B
/usr/lib/.build-id/e60.00 B
/usr/lib/.build-id/e6/fa28b43349712be0a02970a7d843bd43cf2eb852.00 B
Component of
1 through 1 of 1
Buildroot descending sort Created State
f41-build-821775-152618 2024-07-25 13:10:56 expired