معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

A system for electronic distribution of mathematics

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 37
مخزن	Fedora Everything i686
نام بسته	logiweb
نام فایل بسته	logiweb-0.2.12-15.fc37.src.rpm
نسخه بسته	0.2.12
انتشار بسته	15.fc37
معماری بسته	i686
نگهدارنده	-
تاریخ ساخت	Fri 22 Jul 2022 12
هاست سازنده	buildvm-x86-04.iad2.fedoraproject.org
نوع بسته	.rpm
آدرس صفحه اصلی	http://logiweb.eu/
مجوز	GPLv2+
حجم دانلود	1.1M
حجم نصب	1.039M

Logiweb allows to web publish 'Logiweb pages', i.e. journal quality articles which contain machine readable objects like programs, testsuites, definitions, axioms, lemmas, and proofs. Among other, Logiweb is suited for literate programming, for publication of machine verified proofs, and for writing proof checkers. Logiweb allows Logiweb pages to reference previously published Logiweb pages such that programs on a page may call programs on referenced pages, proofs on a page may reference lemmas on referenced pages, and so on.

جایگزین ها

بسته	نسخه	معماری	مخزن
logiweb-0.2.12-15.fc37.x86_64.rpm	0.2.12	x86_64	Fedora Everything
logiweb-debuginfo-0.2.12-15.fc37.x86_64.rpm	0.2.12	x86_64	Fedora Everything
logiweb-debugsource-0.2.12-15.fc37.x86_64.rpm	0.2.12	x86_64	Fedora Everything

نیازمندی

مقدار	نام
-	clisp
-	dvipdfm
-	gcc
-	make
-	tex(latex)
-	vim-common

ارائه دهنده

مقدار	نام
= 0.2.12-15.fc37	logiweb
= 0.2.12-15.fc37	logiweb-debuginfo
= 0.2.12-15.fc37	logiweb-debugsource

نحوه نصب

نصب پکیج rpm logiweb:

dnf install logiweb-0.2.12-15.fc37.src.rpm

فایل ها

مسیرها
logiweb-0.2.12.tar.gz

گزارش تغییرات

تاریخ آخرین تغییر	جزئیات
2022-07-21	Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
2022-01-20	Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
2021-07-22	Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
2021-01-26	Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
2020-07-28	Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild