Register
|
Log in
News for package
coq-highschoolgeometry
[
2017-04-04
]
Removed 8.4+20150620-1 from unstable
(
Debian FTP Masters
)
[
2017-02-10
]
coq-highschoolgeometry REMOVED from testing
(
Debian testing watch
)
[
2015-08-22
]
coq-highschoolgeometry 8.4+20150620-1 MIGRATED to testing
(
Britney
)
[
2015-08-11
]
Accepted coq-highschoolgeometry 8.4+20150620-1 (source all) into unstable, unstable
(
Riley Baird
)
(signed by:
Stéphane Glondu
)
