Publishing details

• Removed from disk on 2018-06-22.
• Removal requested on 2018-06-22.
• Published on 2016-12-29
• Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)

Changelog

matita (0.99.3-1) unstable; urgency=medium

  * New upstream release
  * Remove patch 0001-configure, applied upstream 
  * Remove patch 0002-Help-..., applied upstream 
  * New patch to remove dependency for mysql in configure.ac 

 -- Enrico Tassi <email address hidden>  Tue, 24 May 2016 21:57:11 +0200

Builds

• amd64
• arm64
• armhf
• i386
• powerpc
• ppc64el
• s390x

Package files

• matita-dbgsym_0.99.3-1_amd64.ddeb (787.7 KiB)
• matita-dbgsym_0.99.3-1_arm64.ddeb (789.4 KiB)
• matita-dbgsym_0.99.3-1_armhf.ddeb (808.4 KiB)
• matita-dbgsym_0.99.3-1_i386.ddeb (738.5 KiB)
• matita-dbgsym_0.99.3-1_powerpc.ddeb (678.6 KiB)
• matita_0.99.3-1.debian.tar.xz (4.2 KiB)
• matita_0.99.3-1.dsc (2.1 KiB)
• matita_0.99.3-1_amd64.deb (3.2 MiB)
• matita_0.99.3-1_arm64.deb (2.8 MiB)
• matita_0.99.3-1_armhf.deb (2.8 MiB)
• matita_0.99.3-1_i386.deb (2.7 MiB)
• matita_0.99.3-1_powerpc.deb (2.5 MiB)
• matita_0.99.3-1_ppc64el.deb (8.3 MiB)
• matita_0.99.3-1_s390x.deb (8.3 MiB)
• matita_0.99.3.orig.tar.gz (3.0 MiB)