Ubuntu
matita package

matita 0.5.7-2ubuntu1 source package in Ubuntu

Changelog

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

Upload details

Uploaded by:
Andrea Gasparini
Sponsored by:
Morten Kjeldgaard
Uploaded to:
Karmic
Original maintainer:
MOTU
Architectures:
any
Section:
math
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
matita_0.5.7.orig.tar.gz 3.5 MiB cc89f8902552b7ed0360633b33fcf0fef843611751a632fd14d2d4bea045b3d2
matita_0.5.7-2ubuntu1.diff.gz 5.4 KiB 62062d31d03b8791b3890a3d7ecaf3b861d89a1173134530c4eb7b795ae25561
matita_0.5.7-2ubuntu1.dsc 1.8 KiB 74f0ee0cd4eda78350d43253fa6047a36a6a8fcbea620273ef6c6bae642ba281

Available diffs

View changes file

Binary packages built by this source

matita: No summary available for matita in ubuntu karmic.

No description available for matita in ubuntu karmic.

matita-doc: No summary available for matita-doc in ubuntu karmic.

No description available for matita-doc in ubuntu karmic.

matita-standard-library: No summary available for matita-standard-library in ubuntu karmic.

No description available for matita-standard-library in ubuntu karmic.