UbuntuUpdates.org

Package "ssreflect"

Name: ssreflect

Description:

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

  • Mathematical Components library for Coq (all)
  • Mathematical Components library for Coq (algebra)
  • Mathematical Components library for Coq (character)
  • Mathematical Components library for Coq (field)
Latest version: 2.3.0-1build19
Release: resolute (26.04)
Level: base
Repository: universe

Links

All versions of this package
Bug fixes

List of files in package
Repository home page

Other versions of "ssreflect" in Resolute

No other version of this package is available in the Resolute 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