Register
|
Log in
News for package
matita
[
2008-07-02
]
Accepted matita 0.5.2-1 (source all amd64)
(
Enrico Tassi
)
[
2008-06-01
]
matita 0.5.1-1 MIGRATED to testing
(
Debian testing watch
)
[
2008-05-29
]
Accepted matita 0.5.1-1 (source all amd64)
(
Enrico Tassi
)
[
2008-05-21
]
matita 0.5.0-1 MIGRATED to testing
(
Debian testing watch
)
[
2008-05-10
]
Accepted matita 0.5.0-1 (source all amd64)
(
Enrico Tassi
)
[
2008-05-01
]
Accepted matita 0.5.0~rc1-1 (source all amd64)
(
Enrico Tassi
)
[
2008-03-21
]
matita 0.4.98-7 MIGRATED to testing
(
Debian testing watch
)
[
2008-03-03
]
Accepted matita 0.4.98-7 (source all amd64)
(
Enrico Tassi
)
[
2007-12-22
]
matita 0.4.98-5 MIGRATED to testing
(
Debian testing watch
)
[
2007-12-11
]
Accepted matita 0.4.98-5 (source all amd64)
(
Enrico Tassi
)
[
2007-12-08
]
matita 0.4.98-3 MIGRATED to testing
(
Debian testing watch
)
[
2007-12-08
]
Accepted matita 0.4.98-4 (source all amd64)
(
Enrico Tassi
)
[
2007-11-27
]
Accepted matita 0.4.98-3 (source all amd64)
(
Enrico Tassi
)
[
2007-11-26
]
Accepted matita 0.4.98-2 (source all amd64)
(
Enrico Tassi
)
[
2007-11-25
]
Accepted matita 0.4.98-1 (source all amd64)
(
Enrico Tassi
)
[
2007-11-17
]
Accepted matita 0.4.96-1 (source all amd64)
(
Enrico Tassi
)
[
2007-11-17
]
Accepted matita 0.4.97-1 (source all amd64)
(
Enrico Tassi
)
1
2
