Fri, 22 Nov 2024 15:34:54 UTC | login

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

ID1452683
Namewhy3
Version1.7.2
Release8.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-09-19 15:14:33 GMT
Size16.12 MB
de7a09f55de2577e4a88ed53f2846dc5
LicenseLGPL-2.1-only WITH OCaml-LGPL-linking-exception
git:https://gitlab.inria.fr/why3/why3.git
Buildrootf41-build-849196-164669
Provides
application()
application(fr.lri.why3.desktop)
bundled(js-jquery)
metainfo()
metainfo(fr.lri.why3.metainfo.xml)
why3 = 1.7.2-8.fc41
why3(riscv-64) = 1.7.2-8.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 451 >>>
Name ascending sort Size
/usr/bin/isabelle_client22.24 MB
/usr/bin/why322.20 MB
/usr/lib/.build-id0.00 B
/usr/lib/.build-id/0e0.00 B
/usr/lib/.build-id/0e/8cad23b562c66a7324499ea7be15054579e2fd46.00 B
/usr/lib/.build-id/120.00 B
/usr/lib/.build-id/12/e0b29ac6eb4e4c5e0455b3bd9b86f474f754c447.00 B
/usr/lib/.build-id/180.00 B
/usr/lib/.build-id/18/83c3b1e51ae76525c1717707e95160a28b62bc37.00 B
/usr/lib/.build-id/1d0.00 B
/usr/lib/.build-id/1d/24766fb9eea03f4fb49a7c5036bf7f1fde284639.00 B
/usr/lib/.build-id/230.00 B
/usr/lib/.build-id/23/bc38aad5f03a5959415f04fb33d8829410b86948.00 B
/usr/lib/.build-id/270.00 B
/usr/lib/.build-id/27/ff6725b1f5066486741156c52347f5cb440bc752.00 B
/usr/lib/.build-id/340.00 B
/usr/lib/.build-id/34/d79099e8dc513b82c8b211df3181aa2f397f2f54.00 B
/usr/lib/.build-id/4e0.00 B
/usr/lib/.build-id/4e/5c28e75f206532077da2e73dfa921241fcc8c249.00 B
/usr/lib/.build-id/500.00 B
/usr/lib/.build-id/50/6669db02531e280ef8c38c9764ee2aeec223f352.00 B
/usr/lib/.build-id/630.00 B
/usr/lib/.build-id/63/dd16f9ae8daf4ef7fe249ae16f1795f93e980c43.00 B
/usr/lib/.build-id/650.00 B
/usr/lib/.build-id/65/cb2b2cb549fa6d5edd8026435d7eed37e4217c52.00 B
/usr/lib/.build-id/670.00 B
/usr/lib/.build-id/67/7f29e993e53217a53d8c274e58a02e26156eb350.00 B
/usr/lib/.build-id/750.00 B
/usr/lib/.build-id/75/854861c67ae29524e3989e633e3b77b04e875b46.00 B
/usr/lib/.build-id/75/dc508b5de9e0c657357c39196bafb0259cde5252.00 B
/usr/lib/.build-id/7e0.00 B
/usr/lib/.build-id/7e/d9cfe8e14104e9287c2f3ed0e1d1d881d549e650.00 B
/usr/lib/.build-id/800.00 B
/usr/lib/.build-id/80/864d805f6cdc46c9a2f25e553a1a180c8a0a9648.00 B
/usr/lib/.build-id/810.00 B
/usr/lib/.build-id/81/f21163bfd3fd8e261e1983b3a1de70536f93dc60.00 B
/usr/lib/.build-id/970.00 B
/usr/lib/.build-id/97/45f9ee547e58e178e48232a832e9ebb33d5ee144.00 B
/usr/lib/.build-id/980.00 B
/usr/lib/.build-id/98/3ddcabf1bb69deedba0fcfd51ef2ebd3e212dc35.00 B
/usr/lib/.build-id/9c0.00 B
/usr/lib/.build-id/9c/a79101429f5ae735da400fef843901922a201746.00 B
/usr/lib/.build-id/b00.00 B
/usr/lib/.build-id/b0/ca1f630c5efb965a60ea470c2431001613b41349.00 B
/usr/lib/.build-id/ca0.00 B
/usr/lib/.build-id/ca/e6f3f59da76cf1c5f45b57484420fe5fab13fe51.00 B
/usr/lib/.build-id/d60.00 B
/usr/lib/.build-id/d6/83692d8fc83640bb3c187b1396c4bcbaa95c7e47.00 B
/usr/lib/.build-id/e50.00 B
/usr/lib/.build-id/e5/9c191b644c601a1d422b298501400c55b3556524.00 B
Component of No Buildroots