Register
|
Log in
News for package
rocq-micromega-plugin
[
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
)
