[Bug 523715] New: Review Request: logiweb - a system for electronic distribution of mathematics
bugzilla at redhat.com
bugzilla at redhat.com
Wed Sep 16 14:27:33 UTC 2009
Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.
Summary: Review Request: logiweb - a system for electronic distribution of mathematics
https://bugzilla.redhat.com/show_bug.cgi?id=523715
Summary: Review Request: logiweb - a system for electronic
distribution of mathematics
Product: Fedora
Version: rawhide
Platform: All
OS/Version: Linux
Status: NEW
Severity: medium
Priority: low
Component: Package Review
AssignedTo: nobody at fedoraproject.org
ReportedBy: grue at diku.dk
QAContact: extras-qa at fedoraproject.org
CC: notting at redhat.com, fedora-package-review at redhat.com
Estimated Hours: 0.0
Classification: Fedora
This is my first package and I need a sponsor.
Spec URL: http://logiweb.eu/0.2/0.2.2/download/rpmspec
SRPM URL: http://logiweb.eu/0.2/0.2.2/download/logiweb-0.2.2-1.src.rpm
HTML URL: http://logiweb.eu/0.2/0.2.2/download/rpm.html
Mirror: http://logiweb.imm.dtu.dk/0.2/0.2.2/download/rpm.html
Mirror: http://topps.diku.dk/logiweb/0.2/0.2.2/download/rpm.html
Description:
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.
--
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
More information about the Fedora-package-review
mailing list