Register
|
Log in
News for package
matita
[
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
