معرفی شرکت ها

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

دانلود نسخه باینری دانلود نسخه سورس

Emacs support file for ACSL markup

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 37
مخزن	Fedora Everything noarch
نام بسته	frama-c-emacs
نام فایل بسته	frama-c-emacs-25.0-4.fc37.noarch.rpm
نسخه بسته	25.0
انتشار بسته	4.fc37
معماری بسته	noarch
نگهدارنده	-
تاریخ ساخت	Sat 17 Sep 2022 07
هاست سازنده	buildvm-x86-17.iad2.fedoraproject.org
نوع بسته	.rpm
آدرس صفحه اصلی	https://frama-c.com/
مجوز	LGPLv2
حجم دانلود	19K
حجم نصب	29.087K

This package contains an Emacs support file for working with C source files marked up with ACSL.

بسته	نسخه	معماری	مخزن
frama-c-emacs-26.1-1.fc37.noarch.rpm	26.1	noarch	Fedora Everything

مقدار	نام
-	emacs(bin)
= 25.0-4.fc37	frama-c

مقدار	نام
= 25.0-4.fc37	frama-c-emacs

نصب پکیج rpm frama-c-emacs:

dnf install frama-c-emacs-25.0-4.fc37.noarch.rpm

مسیرها
/usr/share/emacs/site-lisp/acsl.el
/usr/share/emacs/site-lisp/acsl.elc
/usr/share/emacs/site-lisp/frama-c-dev.el
/usr/share/emacs/site-lisp/frama-c-dev.elc
/usr/share/emacs/site-lisp/frama-c-init.el
/usr/share/emacs/site-lisp/frama-c-init.elc
/usr/share/emacs/site-lisp/frama-c-recommended.el
/usr/share/emacs/site-lisp/frama-c-recommended.elc

تاریخ آخرین تغییر	جزئیات
2022-09-16	Rebuild for why3 1.5.1
2022-08-17	Rebuild for ocaml-ppx-deriving-yojson 3.7.0 Convert License tag to SPDX
2022-07-21	Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
2022-07-20	Remove i686 support
2022-07-07	Version 25.0 Drop coq 8.14 compatibility patch Drop coq BR; coq is now invoked via why3
2022-06-19	OCaml 4.14.0 rebuild
2022-03-25	Rebuild for coq 8.15.1 and ocaml-zmq 5.1.5
2022-02-28	Rebuild for coq 8.15.0 and why3 1.4.1
2022-02-04	OCaml 4.13.1 rebuild to remove package notes
2022-01-20	Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
2021-12-27	Rebuild for ocaml-ppxlib 0.24.0
2021-12-07	Version 24.0 Drop upstreamed fix for OCaml 4.13
2021-11-30	Rebuild for coq 8.14.1 and ocaml-sexplib0 0.15.0
2021-10-21	Rebuild for coq 8.14.0 and ocaml-zmq 5.1.4 Add -coq8.14 patch Drop XEmacs support
2021-10-05	OCaml 4.13.1 build
2021-10-04	Try to build on s390x with OCaml 4.13