Register
|
Log in
News for package
rocq-micromega-plugin
[
2026-07-18
]
Accepted rocq-micromega-plugin 1.1.0-1 (source amd64) into experimental
(
Debian FTP Masters
)
(signed by:
Julien Puydt
)
