Tue, 14 Jan 2025 12:42:40 UTC | login

Information for RPM why3-1.8.0-1.fc42.riscv64.rpm

ID1489687
Namewhy3
Version1.8.0
Release1.fc42
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 Time2025-01-12 21:09:35 GMT
Size14.49 MB
17b6eab46b5d743b853e25872c6c9587
LicenseLGPL-2.1-only WITH OCaml-LGPL-linking-exception
git:https://gitlab.inria.fr/why3/why3.git
Buildrootf42-build-866045-173661
Provides
application()
application(fr.lri.why3.desktop)
bundled(js-jquery)
metainfo()
metainfo(fr.lri.why3.metainfo.xml)
why3 = 1.8.0-1.fc42
why3(riscv-64) = 1.8.0-1.fc42
Obsoletes No Obsoletes
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-ng.so.2()(64bit)
libz-ng.so.2(ZLIB_NG_2.0.0)(64bit)
libz-ng.so.2(ZLIB_NG_2.1.0)(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 393 >>>
Name ascending sort Size
/usr/bin/isabelle_client22.27 MB
/usr/bin/why322.18 MB
/usr/lib/.build-id0.00 B
/usr/lib/.build-id/080.00 B
/usr/lib/.build-id/08/c76f5dfcb862fff521fb79369fa830da3880f235.00 B
/usr/lib/.build-id/160.00 B
/usr/lib/.build-id/16/cc0c87da8a90af9c07b223111698a80bdb631144.00 B
/usr/lib/.build-id/1e0.00 B
/usr/lib/.build-id/1e/d95f0f2a977c1c886601427c161881958930b552.00 B
/usr/lib/.build-id/2c0.00 B
/usr/lib/.build-id/2c/a7f4a8b1613c685e157f4b38aec88ef56a58cf60.00 B
/usr/lib/.build-id/2f0.00 B
/usr/lib/.build-id/2f/683c8e0367b83695bf8bb772fc3367093507e948.00 B
/usr/lib/.build-id/340.00 B
/usr/lib/.build-id/34/c4295650bf6ee5f1a81569b44f2a4ccbfe228439.00 B
/usr/lib/.build-id/4f0.00 B
/usr/lib/.build-id/4f/08d3e7fe99a76254c2f6dcbb580d4be2a579a050.00 B
/usr/lib/.build-id/580.00 B
/usr/lib/.build-id/58/0c560239124d291b118f7c21da1e2e5e99abfa52.00 B
/usr/lib/.build-id/5c0.00 B
/usr/lib/.build-id/5c/135fcbb1ad40bc053e829b2beb13a537e70c7737.00 B
/usr/lib/.build-id/5d0.00 B
/usr/lib/.build-id/5d/46448056068c94a763c53c4bb9c40c91fd2d8b49.00 B
/usr/lib/.build-id/600.00 B
/usr/lib/.build-id/60/91b35f577515be3001057532f138c5cc188a0d48.00 B
/usr/lib/.build-id/660.00 B
/usr/lib/.build-id/66/564476d3afd45bb8d29e2371cf2d18e6390fd551.00 B
/usr/lib/.build-id/7e0.00 B
/usr/lib/.build-id/7e/2179d5de0e5fcea5fc0431a6a989adc439a32654.00 B
/usr/lib/.build-id/830.00 B
/usr/lib/.build-id/83/a03446c421f7595d63af26d1429ce7a1273fcc51.00 B
/usr/lib/.build-id/870.00 B
/usr/lib/.build-id/87/1ed52ee0544ead80e96ba24fa49f558b23927b44.00 B
/usr/lib/.build-id/9c0.00 B
/usr/lib/.build-id/9c/609e1b15e5f666018e0cdcc5798e49409ce39547.00 B
/usr/lib/.build-id/a90.00 B
/usr/lib/.build-id/a9/9993882017d2d3a2cf6071cd54b5fbeed04d6759.00 B
/usr/lib/.build-id/ae0.00 B
/usr/lib/.build-id/ae/0e6674ea94688e0cb3cb46755749d6c2486b2046.00 B
/usr/lib/.build-id/ae/1a93477593cafcd00520bab236a191b6c0718646.00 B
/usr/lib/.build-id/b10.00 B
/usr/lib/.build-id/b1/ec52e5b33a6fa0a757e31ac48768784d63993952.00 B
/usr/lib/.build-id/b30.00 B
/usr/lib/.build-id/b3/4dd46dd436f99e482deb471620b9c995961d1c50.00 B
/usr/lib/.build-id/c00.00 B
/usr/lib/.build-id/c0/e0ae324b699068a4b6c2b690ab0200c1d33ebb46.00 B
/usr/lib/.build-id/c80.00 B
/usr/lib/.build-id/c8/77df2d908186a8d47e0c436ad1926720472e5050.00 B
/usr/lib/.build-id/d40.00 B
/usr/lib/.build-id/d4/485bcc9eac14db7f8a03f35c243bdf6be6b28024.00 B
Component of No Buildroots