This is the mail archive of the
cygwin-apps
mailing list for the Cygwin project.
[ITP] logiweb-0.2.9
- From: Klaus Grue <grue at diku dot dk>
- To: cygwin-apps at cygwin dot com
- Date: Mon, 10 May 2010 14:54:41 +0200 (CEST)
- Subject: [ITP] logiweb-0.2.9
http://logiweb.eu/1.0/doc/download/cygwin/dist/logiweb/setup.hint
http://logiweb.eu/1.0/doc/download/cygwin/dist/logiweb/logiweb-0.2.9-1.tar.bz2
http://logiweb.eu/1.0/doc/download/cygwin/dist/logiweb/logiweb-0.2.9-1-src.tar.bz2
# setup.hint file for the Logiweb package for CYGWIN
sdesc: "a system for electronic distribution of mathematics"
ldesc: "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
and for publication of machine verified proofs. 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."
category: Devel
requires: Cygwin gcc tetex tetex-base tetex-extra make perl vim bzip2
diffutils man which
Accepted into Fedora 11, 12, 13 stable:
logiweb-0.2.8-10: https://bugzilla.redhat.com/show_bug.cgi?id=523715#c73
logiweb-0.2.8-11: https://bugzilla.redhat.com/show_bug.cgi?id=584729#c4
logiweb-0.2.9-1 contains a few Cygwin related bugfixes compared to
logiweb-0.2.8-11 (c.f. changelog).
For further information:
Upstream site: http://logiweb.eu/
Mirror: http://logiweb.imm.dtu.dk/
Mirror: http://topps.diku.dk/logiweb/
Instructions for installing unsigned logiweb package using setup.exe:
http://logiweb.eu/1.0/doc/download/cygwin.html
Cheers,
Klaus