Mon, 02 Dec 2024 18:06:00 UTC | login

Information for RPM logiweb-0.2.12-11.fc33.riscv64.rpm

ID689066
Namelogiweb
Version0.2.12
Release11.fc33
Epoch
Archriscv64
SummaryA system for electronic distribution of mathematics
DescriptionLogiweb 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.
Build Time2020-08-14 13:56:07 GMT
Size1.89 MB
519ec4e3ddb86311a677915eafdbeec7
LicenseGPLv2+
Buildrootf33-build-295585-55515
Provides
logiweb = 0.2.12-11.fc33
logiweb(riscv-64) = 0.2.12-11.fc33
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
dvipdfm
gcc
ld-linux-riscv64-lp64d.so.1()(64bit)
ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.27)(64bit)
libdl.so.2()(64bit)
libdl.so.2(GLIBC_2.27)(64bit)
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
rtld(GNU_HASH)
tex(latex)
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 33 of 33
Name ascending sort Size
/usr/bin/lgc137.00 B
/usr/bin/lgwam3.59 MB
/usr/lib/.build-id0.00 B
/usr/lib/.build-id/660.00 B
/usr/lib/.build-id/66/bf66573a362823492e5338a369d922f9d51f2b25.00 B
/usr/share/doc/logiweb0.00 B
/usr/share/doc/logiweb/CHANGELOG21.22 KB
/usr/share/doc/logiweb/COPYING14.79 KB
/usr/share/doc/logiweb/README9.43 KB
/usr/share/doc/logiweb/TODO442.00 B
/usr/share/doc/logiweb/examples0.00 B
/usr/share/doc/logiweb/examples/Peano.lgs66.59 KB
/usr/share/doc/logiweb/examples/README895.00 B
/usr/share/doc/logiweb/examples/base.lgs256.67 KB
/usr/share/doc/logiweb/examples/check.lgs146.51 KB
/usr/share/doc/logiweb/examples/combinations.lgs1.30 KB
/usr/share/doc/logiweb/examples/compile.sh248.00 B
/usr/share/doc/logiweb/examples/hello.lgs821.00 B
/usr/share/doc/logiweb/examples/lgc.lgs379.20 KB
/usr/share/doc/logiweb/examples/logiweb.eps22.54 KB
/usr/share/doc/logiweb/examples/logiweb.ico894.00 B
/usr/share/doc/logiweb/examples/logiweb.png559.00 B
/usr/share/doc/logiweb/examples/makefile27.00 B
/usr/share/doc/logiweb/examples/multzero.lgs1.35 KB
/usr/share/doc/logiweb/examples/test.lgs183.97 KB
/usr/share/doc/logiweb/examples/testmachine.lgs2.44 KB
/usr/share/doc/logiweb/examples/version7.00 B
/usr/share/man/man1/lgc.1.gz4.65 KB
/usr/share/man/man1/lgwam.1.gz2.05 KB
/usr/share/man/man5/lgc.5.gz6.17 KB
/usr/share/man/man5/lgc.conf.5.gz417.00 B
/usr/share/man/man5/logiweb.5.gz4.46 KB
/usr/share/man/man7/logiweb.7.gz15.44 KB
Component of No Buildroots