معرفی شرکت ها

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

مشاهده بیشتر

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

مشاهده بیشتر

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

مشاهده بیشتر

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

مشاهده بیشتر

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

مشاهده بیشتر

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

Emacs support file for ACSL markup

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 39
مخزن	Fedora Everything noarch
نام بسته	frama-c-emacs
نام فایل بسته	frama-c-emacs-28.1-2.fc39.noarch.rpm
نسخه بسته	28.1
انتشار بسته	2.fc39
معماری بسته	noarch
نگهدارنده	-
تاریخ ساخت	Thu 18 Apr 2024 10
هاست سازنده	buildvm-x86-05.iad2.fedoraproject.org
نوع بسته	.rpm
آدرس صفحه اصلی	https://frama-c.com/
مجوز	LGPL-2.1-only
حجم دانلود	19K
حجم نصب	28.958K

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

بسته	نسخه	معماری	مخزن
frama-c-emacs-27.1-4.fc39.noarch.rpm	27.1	noarch	Fedora Everything
frama-c-emacs-27.1-5.fc39.noarch.rpm	27.1	noarch	Fedora Everything

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

مقدار	نام
= 28.1-2.fc39	frama-c-emacs

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

dnf install frama-c-emacs-28.1-2.fc39.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

تاریخ آخرین تغییر	جزئیات
2024-04-18	Rebuild for why3 1.7.2
2024-03-04	Version 28.1
2024-02-02	Rebuild for why3 1.7.1
2024-01-02	Version 28.0 Drop upstreamed patches Add patch for whitespace differences in the tests
2023-11-14	Fix failure to find plugins (bz 2249607) Install the zsh completion file
2023-09-09	Rebuild for ocaml-ocamlgraph 2.1.0
2023-07-27	Rebuild for ocaml-zarith 1.13
2023-07-19	Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
2023-07-18	Version 27.1 Validate metainfo with appstream-util
2023-07-14	Rebuild for ocaml-ctypes 0.21.0
2023-07-12	OCaml 5.0 rebuild for Fedora 39
2023-07-10	Version 27.0
2023-06-10	Rebuild for ocaml-dune-site 3.8.1
2023-02-15	Version 26.1
2023-01-24	Bump release and rebuild
2023-01-24	Rebuild OCaml packages for F38