معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

A system for electronic distribution of mathematics

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 38
مخزن	Fedora Everything i686
نام بسته	logiweb
نام فایل بسته	logiweb-0.2.12-16.fc38.src.rpm
نسخه بسته	0.2.12
انتشار بسته	16.fc38
معماری بسته	i686
نگهدارنده	-
تاریخ ساخت	Fri 20 Jan 2023 12
هاست سازنده	buildhw-x86-08.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-16.fc38.x86_64.rpm	0.2.12	x86_64	Fedora Everything
logiweb-debuginfo-0.2.12-16.fc38.x86_64.rpm	0.2.12	x86_64	Fedora Everything
logiweb-debugsource-0.2.12-16.fc38.x86_64.rpm	0.2.12	x86_64	Fedora Everything

نیازمندی

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

ارائه دهنده

مقدار	نام
= 0.2.12-16.fc38	logiweb
= 0.2.12-16.fc38	logiweb-debuginfo
= 0.2.12-16.fc38	logiweb-debugsource

نحوه نصب

نصب پکیج rpm logiweb:

dnf install logiweb-0.2.12-16.fc38.src.rpm

فایل ها

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

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

تاریخ آخرین تغییر	جزئیات
2023-01-19	Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
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