Main Site Links:

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

Information for RPM why3-emacs-1.7.2-7.fc41.noarch.rpm

ID	1363298
Name	why3-emacs
Version	1.7.2
Release	7.fc41
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-07-25 11:15:38 GMT
Size	13.38 KB
SIGMD5	f3543cc8d8a9e71257c5cff4ad99e0c5
License	LGPL-2.1-only WITH OCaml-LGPL-linking-exception
VCS	git:https://gitlab.inria.fr/why3/why3.git
Buildroot	f41-build-821301-152509
Provides	why3-emacs = 1.7.2-7.fc41
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.2-7.fc41
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