Main Site Links:

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

Information for RPM why3-emacs-1.8.0-1.fc42.noarch.rpm

ID	1489684
Name	why3-emacs
Version	1.8.0
Release	1.fc42
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	2025-01-12 21:09:35 GMT
Size	13.18 KB
SIGMD5	92dd402355bd285d613c306cf3332371
License	LGPL-2.1-only WITH OCaml-LGPL-linking-exception
VCS	git:https://gitlab.inria.fr/why3/why3.git
Buildroot	f42-build-866045-173661
Provides	why3-emacs = 1.8.0-1.fc42
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.8.0-1.fc42
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