Ubuntu
matita package

  1. Bug #384758
  2. Comment #4

Comment 4 for bug 384758

Revision history for this message
Launchpad Janitor (janitor) wrote :

This bug was fixed in the package matita - 0.5.7-2ubuntu1

---------------
matita (0.5.7-2ubuntu1) karmic; urgency=low

  * Fix FTBFS: (LP: #384758)
    - debian/patches/nonet.dpatch: use --nonet calling xsltproc to generate
      docs
    - debian/control: added build-dependency to docbook-{xsl,xml} packages

 -- Andrea Gasparini <email address hidden> Sat, 06 Jun 2009 09:55:37 +0200