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: | 1.6.4-3build3 |
| Release: | lunar (23.04) |
| Level: | base |
| Repository: | universe |
Links
Other versions of "coq-quickchick" in Lunar
No other version of this package is available in the Lunar 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
