Register | Log in

matita

Choose email to subscribe with

general

source: matita (main)
version: 0.99.3-1
maintainer: Debian OCaml Maintainers (archive) (DMD)
uploaders: Enrico Tassi [DMD]
arch: any
std-ver: 3.8.3
VCS: Git (Browse)

versions [more versions can be listed by madison] [old versions available from snapshot.debian.org]

[pool directory]

o-o-stable: 0.99.3-1

binaries

matita

package is gone

This package is not part of any Debian distribution. Thus you won't find much information here. The package is either very new and hasn't appeared on mirrors yet, or it's an old package that eventually got removed. The old news are kept for historic purpose only.

news

[2018-12-13] matita REMOVED from testing (Debian testing watch)
[2016-05-30] matita 0.99.3-1 MIGRATED to testing (Debian testing watch)
[2016-05-24] Accepted matita 0.99.3-1 (source amd64) into unstable (Enrico Tassi)
[2016-01-27] matita 0.99.1-3 MIGRATED to testing (Debian testing watch)
[2015-11-01] matita REMOVED from testing (Britney)
[2013-12-12] matita 0.99.1-3 MIGRATED to testing (Debian testing watch)
[2013-12-10] Accepted matita 0.99.1-3 (source amd64) (Enrico Tassi)
[2013-10-13] matita 0.99.1-2 MIGRATED to testing (Debian testing watch)
[2013-10-02] Accepted matita 0.99.1-2 (source amd64) (Enrico Tassi)
[2012-05-17] matita 0.99.1-1 MIGRATED to testing (Debian testing watch)
[2012-05-06] Accepted matita 0.99.1-1 (source amd64) (Enrico Tassi)
[2012-04-07] matita 0.5.8-4 MIGRATED to testing (Debian testing watch)
[2012-04-01] Accepted matita 0.5.8-4 (source all amd64) (Stéphane Glondu)
[2011-06-17] matita 0.5.8-3 MIGRATED to testing (Debian testing watch)
[2011-05-31] Accepted matita 0.5.8-3 (source all amd64) (Stéphane Glondu)
[2011-02-12] matita REMOVED from testing (Debian testing watch)
[2009-12-12] matita 0.5.8-2 MIGRATED to testing (Debian testing watch)
[2009-12-04] Accepted matita 0.5.8-2 (source all amd64) (Enrico Tassi)
[2009-12-01] Accepted matita 0.5.8-1 (source all amd64) (Enrico Tassi)
[2009-04-06] matita 0.5.7-2 MIGRATED to testing (Debian testing watch)
[2009-03-20] Accepted matita 0.5.7-2 (source all amd64) (Enrico Tassi)
[2009-02-26] matita 0.5.7-1 MIGRATED to testing (Debian testing watch)
[2009-02-15] Accepted matita 0.5.7-1 (source all amd64) (Enrico Tassi)
[2008-12-01] Accepted matita 0.5.6-1 (source all amd64) (Enrico Tassi)
[2008-11-28] Accepted matita 0.5.5-2 (source all amd64) (Enrico Tassi)
[2008-11-17] Accepted matita 0.5.5-1 (source all amd64) (Enrico Tassi)
[2008-10-19] Accepted matita 0.5.4-1 (source all amd64) (Enrico Tassi)
[2008-08-03] matita 0.5.3-1 MIGRATED to testing (Debian testing watch)
[2008-07-23] Accepted matita 0.5.3-1 (source all amd64) (Enrico Tassi)
[2008-07-13] matita 0.5.2-1 MIGRATED to testing (Debian testing watch)

1
2

bugs [bug history graph]

all: 0

Debian Package Tracker — Copyright 2013-2025 The Distro Tracker Developers

Report problems to the tracker.debian.org pseudo-package in the Debian BTS.

Documentation — Bugs — Git Repository — Contributing