why3-proofgeneral rpm build for : Fedora 39. For other distributions click why3-proofgeneral.
Name : why3-proofgeneral
| |
Version : 1.7.1
| Vendor : Fedora Project
|
Release : 1.fc39
| Date : 2024-02-03 04:45:15
|
Group : Unspecified
| Source RPM : why3-1.7.1-1.fc39.src.rpm
|
Size : 0.01 MB
| |
Packager : Fedora Project
| |
Summary : Why3 integration with ProofGeneral
|
Description :
This package provides a why3 plugin for ProofGeneral.
|
RPM found in directory: /vol/rzm3/linux-fedora-buffet/linux/updates/39/Everything/x86_64/Packages/w |
Content of RPM
Changelog
Provides
Requires
Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server
Provides :
why3-proofgeneral
Requires :
Content of RPM :
/usr/share/doc/why3-proofgeneral
/usr/share/doc/why3-proofgeneral/README
/usr/share/emacs/site-lisp/whyitp.el
/usr/share/emacs/site-lisp/whyitp.elc