why3-1.8.1-1.fc42.ppc64le |
Software verification platform |
Fedora 42 testing updates for ppc64le |
why3-all-1.8.1-1.fc42.ppc64le |
Complete Why3 software verification platform suite |
Fedora 42 testing updates for ppc64le |
why3-emacs-1.8.1-1.fc42.noarch |
Emacs support file for why3 files |
Fedora 42 testing updates for ppc64le |
why3-examples-1.8.1-1.fc42.noarch |
Example inputs |
Fedora 42 testing updates for ppc64le |
why3-proofgeneral-1.8.1-1.fc42.noarch |
Why3 integration with ProofGeneral |
Fedora 42 testing updates for ppc64le |
wxsqlite3-4.10.8-1.fc42.ppc64le |
C++ wrapper around the SQLite 3.x database |
Fedora 42 testing updates for ppc64le |
wxsqlite3-devel-4.10.8-1.fc42.ppc64le |
Development files for wxsqlite3 |
Fedora 42 testing updates for ppc64le |
wxsqlite3-doc-4.10.8-1.fc42.noarch |
Documentation files for wxsqlite3 |
Fedora 42 testing updates for ppc64le |