logiweb-0.2.12-7.fc29.x86_64.rpm


Advertisement

Description

logiweb - A system for electronic distribution of mathematics

Property Value
Distribution Fedora 29
Repository Fedora x86_64
Package name logiweb
Package version 0.2.12
Package release 7.fc29
Package architecture x86_64
Package type rpm
Installed size 4.74 MB
Download size 1.60 MB
Official Mirror download-ib01.fedoraproject.org
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.

Alternatives

Package Version Architecture Repository
logiweb-0.2.12-7.fc29.i686.rpm 0.2.12 i686 Fedora
logiweb - - -

Requires

Name Value
dvipdfm -
gcc -
libc.so.6(GLIBC_2.14)(64bit) -
libdl.so.2()(64bit) -
libdl.so.2(GLIBC_2.2.5)(64bit) -
rtld(GNU_HASH) -
tex(latex) -

Provides

Name Value
logiweb = 0.2.12-7.fc29
logiweb(x86-64) = 0.2.12-7.fc29

Download

Type URL
Binary Package logiweb-0.2.12-7.fc29.x86_64.rpm
Source Package logiweb-0.2.12-7.fc29.src.rpm

Install Howto

Install logiweb rpm package:

# dnf install logiweb

Files

Path
/usr/bin/lgc
/usr/bin/lgwam
/usr/lib/.build-id/
/usr/lib/.build-id/84/db5825955a4e9ff864f38dde0c14a4b4479c80
/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/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
/usr/share/man/man7/logiweb.7.gz

Changelog

2018-07-13 - Fedora Release Engineering <releng@fedoraproject.org> - 0.2.12-7
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
2018-02-08 - Fedora Release Engineering <releng@fedoraproject.org> - 0.2.12-6
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
2017-08-03 - Fedora Release Engineering <releng@fedoraproject.org> - 0.2.12-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
2017-07-26 - Fedora Release Engineering <releng@fedoraproject.org> - 0.2.12-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
2017-02-10 - Fedora Release Engineering <releng@fedoraproject.org> - 0.2.12-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild

See Also

Package Description
logjam-4.6.2-19.fc29.x86_64.rpm GTK2 client for LiveJournal
logjam-xmms-4.6.2-19.fc29.x86_64.rpm LogJam helper binary
logrotate-3.14.0-4.fc29.x86_64.rpm Rotates, compresses, removes and mails system log files
logserial-0.4.2-23.fc29.x86_64.rpm Package for logging incoming bytes on asynchronous serial ports
logstalgia-1.1.2-3.fc29.x86_64.rpm Web server access log visualizer
logwatch-7.4.3-11.fc29.noarch.rpm A log file analysis program
lohit-assamese-fonts-2.91.5-5.fc29.noarch.rpm Free Assamese font
lohit-bengali-fonts-2.91.5-5.fc29.noarch.rpm Free Bengali script font
lohit-devanagari-fonts-2.95.4-5.fc29.noarch.rpm Free Devanagari Script Font
lohit-gujarati-fonts-2.92.4-5.fc29.noarch.rpm Free Gujarati font
lohit-gurmukhi-fonts-2.91.2-5.fc29.noarch.rpm Free Gurmukhi truetype font for Punjabi language
lohit-kannada-fonts-2.5.4-4.fc29.noarch.rpm Free Kannada font
lohit-malayalam-fonts-2.92.2-5.fc29.noarch.rpm Free Malayalam font
lohit-marathi-fonts-2.94.2-6.fc29.noarch.rpm Free truetype font for Marathi language
lohit-nepali-fonts-2.94.2-5.fc29.noarch.rpm Free TrueType fonts for Nepali language
Advertisement
Advertisement