Main Site Links:

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

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

ID	1452676
Name	why3-emacs
Version	1.7.2
Release	8.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-09-19 15:14:33 GMT
Size	13.36 KB
SIGMD5	fd6f019020f4d2a660066405d2882d7f
License	LGPL-2.1-only WITH OCaml-LGPL-linking-exception
VCS	git:https://gitlab.inria.fr/why3/why3.git
Buildroot	f41-build-849196-164669
Provides	why3-emacs = 1.7.2-8.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-8.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