Main Site Links:

• Summary
• Packages
• Builds
• Tasks
• Tags
• Build Targets
• Users
• Hosts
• Reports
• Search
• API

Information for RPM why3-proofgeneral-1.7.1-2.fc40.noarch.rpm

ID	1264448
Name	why3-proofgeneral
Version	1.7.1
Release	2.fc40
Epoch
Arch	noarch
Summary	Why3 integration with ProofGeneral
Description	This package provides a why3 plugin for ProofGeneral.
Build Time	2024-03-26 16:25:48 GMT
Size	12.78 KB
SIGMD5	f0a72131a7c03a984280aa296fb78c83
License	LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Buildroot	f40-build-797900-141532
Provides	why3-proofgeneral = 1.7.1-2.fc40
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	emacs-proofgeneral rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 rpmlib(PayloadIsZstd) <= 5.4.18-1 why3 = 1.7.1-2.fc40
Recommends	No Recommends
Suggests	No Suggests
Supplements	No Supplements
Enhances	No Enhances
Files	1 through 4 of 4 Name Size /usr/share/doc/why3-proofgeneral 0.00 B /usr/share/doc/why3-proofgeneral/README 285.00 B /usr/share/emacs/site-lisp/whyitp.el 2.67 KB /usr/share/emacs/site-lisp/whyitp.elc 11.76 KB
Component of	No Buildroots