Register
|
Log in
News for package
rocq-micromega-plugin
[
2026-09-01
]
rocq-micromega-plugin 1.1.1-2 MIGRATED to testing
(
Debian testing watch
)
[
2026-08-26
]
Accepted rocq-micromega-plugin 1.1.1-2 (source) into unstable
(
Stéphane Glondu
)
[
2026-08-10
]
rocq-micromega-plugin 1.1.1-1 MIGRATED to testing
(
Debian testing watch
)
[
2026-07-28
]
Accepted rocq-micromega-plugin 1.1.1-1 (source amd64) into unstable
(
Julien Puydt
)
[
2026-07-18
]
Accepted rocq-micromega-plugin 1.1.0-1 (source amd64) into experimental
(
Debian FTP Masters
)
(signed by:
Julien Puydt
)
