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@xxxxxxxxxxxxxxxxx ReportedBy: grue@xxxxxxx QAContact: extras-qa@xxxxxxxxxxxxxxxxx CC: notting@xxxxxxxxxx, fedora-package-review@xxxxxxxxxx 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. _______________________________________________ Fedora-package-review mailing list Fedora-package-review@xxxxxxxxxx http://www.redhat.com/mailman/listinfo/fedora-package-review