Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: logiweb | Distribution: Fedora Project |
Version: 0.2.12 | Vendor: Fedora Project |
Release: 15.fc37 | Build date: Thu Jul 21 22:28:27 2022 |
Group: Unspecified | Build host: buildvm-x86-22.iad2.fedoraproject.org |
Size: 4950004 | Source RPM: logiweb-0.2.12-15.fc37.src.rpm |
Packager: Fedora Project | |
Url: http://logiweb.eu/ | |
Summary: A system for electronic distribution of mathematics |
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.
GPLv2+
* Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.2.12-15 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.2.12-14 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Thu Jul 22 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0.2.12-13 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild * Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0.2.12-12 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild * Tue Jul 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.2.12-11 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
/usr/bin/lgc /usr/bin/lgwam /usr/lib/.build-id /usr/lib/.build-id/2a /usr/lib/.build-id/2a/8aa33c26a5999ce4284c83bc846fe61fa2d63f /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 /usr/share/man/man7/logiweb.7.gz
Generated by rpm2html 1.8.1
Fabrice Bellet, Thu May 9 19:58:19 2024