UbuntuUpdates.org

Package "coquelicot"




Name: coquelicot

Description:

This package is just an umbrella for a group of other packages, it has no description.
Description samples from packages in group:

  • Coq library for real analysis

Latest version: *DELETED*
Release: stonking (26.10)
Level: proposed
Repository: universe

Links



Other versions of "coquelicot" in Stonking

No other version of this package is available in the Stonking release.

Packages in group

Deleted packages are displayed in grey.


Changelog

Version: *DELETED* 2026-10-15 10:07:44 UTC
No changelog for deleted or moved packages.



About   -   Send Feedback to @ubuntu_updates