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.3-3build5 |
| Release: | oracular (24.10) |
| Level: | base |
| Repository: | universe |
Links
Other versions of "coq-quickchick" in Oracular
No other version of this package is available in the Oracular 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
