Main Site Links:

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

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

ID	1264449
Name	why3-emacs
Version	1.7.1
Release	2.fc40
Epoch
Arch	noarch
Summary	Emacs support file for why3 files
Description	This package contains an Emacs support file for working with why3 files.
Build Time	2024-03-26 16:25:48 GMT
Size	13.10 KB
SIGMD5	81dc745824169f8e8c3c99aead926fe7
License	LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Buildroot	f40-build-797900-141532
Provides	why3-emacs = 1.7.1-2.fc40
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	emacs(bin) 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 2 of 2 Name Size /usr/share/emacs/site-lisp/why3.el 6.51 KB /usr/share/emacs/site-lisp/why3.elc 5.84 KB
Component of	No Buildroots