Package "coq-quickchick"
| Name: | coq-quickchick |
Description: |
This package is just an umbrella for a group of other packages,
it has no description.
|
| Latest version: | 2.0.2-1build5 |
| Release: | noble (24.04) |
| Level: | base |
| Repository: | universe |
Links
Other versions of "coq-quickchick" in Noble
No other version of this package is available in the Noble release.Packages in group
Deleted packages are displayed in grey.
Changelog
There is no recent update for this package.
About
-
Send Feedback to @ubuntu_updates
