معرفی شرکت ها

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

مشاهده بیشتر

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

مشاهده بیشتر

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

مشاهده بیشتر

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

مشاهده بیشتر

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

مشاهده بیشتر

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

Emacs support file for ACSL markup

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 38
مخزن	Fedora Everything noarch
نام بسته	frama-c-emacs
نام فایل بسته	frama-c-emacs-26.1-2.fc38.noarch.rpm
نسخه بسته	26.1
انتشار بسته	2.fc38
معماری بسته	noarch
نگهدارنده	-
تاریخ ساخت	Wed 18 Oct 2023 08
هاست سازنده	buildvm-x86-30.iad2.fedoraproject.org
نوع بسته	.rpm
آدرس صفحه اصلی	https://frama-c.com/
مجوز	LGPL-2.1-only
حجم دانلود	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.fc38.noarch.rpm	26.1	noarch	Fedora Everything

مقدار	نام
-	emacs(bin)
= 26.1-2.fc38	frama-c

مقدار	نام
= 26.1-2.fc38	frama-c-emacs

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

dnf install frama-c-emacs-26.1-2.fc38.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

تاریخ آخرین تغییر	جزئیات
2023-10-18	Rebuild for coq 8.17.1
2023-02-15	Version 26.1
2023-01-24	Bump release and rebuild
2023-01-24	Rebuild OCaml packages for F38
2023-01-19	Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
2022-12-07	Rebuild to fix ocaml-dune-site dependency
2022-11-26	Version 26.0 Add Requires on ppx_import (bz 2148391)
2022-11-01	Rebuild for ocaml-ppxlib 0.28.0
2022-10-29	Fix a path in e-acsl-gcc.sh (bz 2137875)
2022-10-18	Rebuild for ocaml-stdint 0.7.1
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