Register
|
Log in
News for package
coq-quickchick
[
2022-07-18
]
Accepted coq-quickchick 1.6.3-1 (source amd64) into unstable, unstable
(
Debian FTP Masters
)
(signed by:
Julien Puydt
)
1
2
