معرفی شرکت ها


logiweb-0.2.12-16.fc38.x86_64.rpm


Card image cap
تبلیغات ما

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

مشاهده بیشتر
Card image cap
تبلیغات ما

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

مشاهده بیشتر
Card image cap
تبلیغات ما

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

مشاهده بیشتر
Card image cap
تبلیغات ما

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

مشاهده بیشتر
Card image cap
تبلیغات ما

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

مشاهده بیشتر

توضیحات

A system for electronic distribution of mathematics
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 38
مخزن Fedora Everything x86_64
نام بسته logiweb
نام فایل بسته logiweb-0.2.12-16.fc38.x86_64.rpm
نسخه بسته 0.2.12
انتشار بسته 16.fc38
معماری بسته x86_64
نگهدارنده -
تاریخ ساخت Fri 20 Jan 2023 12
هاست سازنده buildhw-x86-11.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی http://logiweb.eu/
مجوز GPLv2+
حجم دانلود 1.9M
حجم نصب 4.721M
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.src.rpm 0.2.12 i686 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


نیازمندی

مقدار نام
- dvipdfm
- gcc
- libc.so.6()(64bit)
- libc.so.6(GLIBC_2.14)(64bit)
- libc.so.6(GLIBC_2.2.5)(64bit)
- libc.so.6(GLIBC_2.3.4)(64bit)
- libc.so.6(GLIBC_2.33)(64bit)
- libc.so.6(GLIBC_2.34)(64bit)
- libc.so.6(GLIBC_2.4)(64bit)
- rtld(GNU_HASH)
- tex(latex)


ارائه دهنده

مقدار نام
= 0.2.12-16.fc38 logiweb
= 0.2.12-16.fc38 logiweb(x86-64)


نحوه نصب


نصب پکیج rpm logiweb:

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


فایل ها

مسیرها
/usr/bin/lgc
/usr/bin/lgwam
/usr/lib/.build-id
/usr/lib/.build-id/8c
/usr/lib/.build-id/8c/3bfbfbae23931e57c2a7a390b878d16c218b81
/usr/share/doc/logiweb
/usr/share/doc/logiweb/CHANGELOG
/usr/share/doc/logiweb/COPYING
/usr/share/doc/logiweb/README
/usr/share/doc/logiweb/TODO
/usr/share/doc/logiweb/examples
/usr/share/doc/logiweb/examples/Peano.lgs
/usr/share/doc/logiweb/examples/README
/usr/share/doc/logiweb/examples/base.lgs
/usr/share/doc/logiweb/examples/check.lgs
/usr/share/doc/logiweb/examples/combinations.lgs
/usr/share/doc/logiweb/examples/compile.sh
/usr/share/doc/logiweb/examples/hello.lgs
/usr/share/doc/logiweb/examples/lgc.lgs
/usr/share/doc/logiweb/examples/logiweb.eps
/usr/share/doc/logiweb/examples/logiweb.ico
/usr/share/doc/logiweb/examples/logiweb.png
/usr/share/doc/logiweb/examples/makefile
/usr/share/doc/logiweb/examples/multzero.lgs
/usr/share/doc/logiweb/examples/test.lgs
/usr/share/doc/logiweb/examples/testmachine.lgs
/usr/share/doc/logiweb/examples/version
/usr/share/man/man1/lgc.1.gz
/usr/share/man/man1/lgwam.1.gz
/usr/share/man/man5/lgc.5.gz
/usr/share/man/man5/lgc.conf.5.gz
/usr/share/man/man5/logiweb.5.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