Tue, 17 Dec 2024 06:43:32 UTC | login

Information for RPM why3-1.7.1-2.fc40.riscv64.rpm

ID1264450
Namewhy3
Version1.7.1
Release2.fc40
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-03-26 16:25:48 GMT
Size16.19 MB
d8d06e5254e2e48ec700164de6fd4752
LicenseLGPL-2.1-only WITH OCaml-LGPL-linking-exception
Buildrootf40-build-797900-141532
Provides
application()
application(fr.lri.why3.desktop)
bundled(js-jquery)
metainfo()
metainfo(fr.lri.why3.metainfo.xml)
why3 = 1.7.1-2.fc40
why3(riscv-64) = 1.7.1-2.fc40
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 453 >>>
Name ascending sort Size
/usr/bin/isabelle_client21.99 MB
/usr/bin/why321.96 MB
/usr/lib/.build-id0.00 B
/usr/lib/.build-id/010.00 B
/usr/lib/.build-id/01/0fbf5ae42b0d04612b129c0b6e2dd8994a685c47.00 B
/usr/lib/.build-id/100.00 B
/usr/lib/.build-id/10/755dc643ae82d410d95640244714c487b12d4524.00 B
/usr/lib/.build-id/110.00 B
/usr/lib/.build-id/11/9071c3c60174ca7ee6eac3d1602f5906b847c148.00 B
/usr/lib/.build-id/160.00 B
/usr/lib/.build-id/16/db27427ffe149c68f60d8ed4b029df62a4ebdf47.00 B
/usr/lib/.build-id/170.00 B
/usr/lib/.build-id/17/c178f0541fc52d8776293e5730c07d65d7f23652.00 B
/usr/lib/.build-id/1f0.00 B
/usr/lib/.build-id/1f/86b25d21461aca67b6dbbf224e0472f2e663f950.00 B
/usr/lib/.build-id/220.00 B
/usr/lib/.build-id/22/36c10a341b1b649891651b75059a2933b41d9650.00 B
/usr/lib/.build-id/240.00 B
/usr/lib/.build-id/24/53ee56ded8620909dd43260413a7ee3d70c34f52.00 B
/usr/lib/.build-id/2d0.00 B
/usr/lib/.build-id/2d/b8ecd5fd045ad6aa633c80256fb542a69db87849.00 B
/usr/lib/.build-id/390.00 B
/usr/lib/.build-id/39/35b6e53653d1ec13415b4ce0f29087dc35d42751.00 B
/usr/lib/.build-id/430.00 B
/usr/lib/.build-id/43/23277363a060384a7bfffebd2cea4338211b4846.00 B
/usr/lib/.build-id/460.00 B
/usr/lib/.build-id/46/6aabeabf1cdf94196ee6534b3a36d833b59b1f60.00 B
/usr/lib/.build-id/470.00 B
/usr/lib/.build-id/47/3b7540a4840e673f28f6a530321b04fa21ab0c49.00 B
/usr/lib/.build-id/560.00 B
/usr/lib/.build-id/56/5ce4d4ba74385dcd5b7c9d2f2ffbbd1c30b57046.00 B
/usr/lib/.build-id/730.00 B
/usr/lib/.build-id/73/6cdcdb4afc85ce3258c74160a32a2636196efc43.00 B
/usr/lib/.build-id/750.00 B
/usr/lib/.build-id/75/552063ee6efb9c6f499989603435700c7f204248.00 B
/usr/lib/.build-id/7e0.00 B
/usr/lib/.build-id/7e/0bd34908c340c0f3984dbdc08f4ff4a4c65dbc51.00 B
/usr/lib/.build-id/8c0.00 B
/usr/lib/.build-id/8c/c68d0a75980058ff13ac7dcecbda3322e7680837.00 B
/usr/lib/.build-id/ab0.00 B
/usr/lib/.build-id/ab/b0c298297ab12f6aebf4caaec83d5fd501674a46.00 B
/usr/lib/.build-id/b80.00 B
/usr/lib/.build-id/b8/5bd576d183e0229cce4ac93fb0ff6aaf9b2f8154.00 B
/usr/lib/.build-id/bc0.00 B
/usr/lib/.build-id/bc/2ec6dec8e016d297684f8a6e714fbea1ba00a439.00 B
/usr/lib/.build-id/dd0.00 B
/usr/lib/.build-id/dd/404f964daf3f34468e78fd085dfe6b9e9a4b2044.00 B
/usr/lib/.build-id/e00.00 B
/usr/lib/.build-id/e0/5db9fe5cb4b14160b337ef43db535fb6618c6c50.00 B
/usr/lib/.build-id/e60.00 B
Component of No Buildroots