UbuntuUpdates.org

Package "libcoq-mathcomp-ssreflect"

Name: libcoq-mathcomp-ssreflect

Description:

Mathematical Components library for Coq (small scale reflection)

Latest version: 1.14.0-7
Release: jammy (22.04)
Level: base
Repository: universe
Head package: ssreflect
Homepage: https://math-comp.github.io/math-comp/

Links


Download "libcoq-mathcomp-ssreflect"


Other versions of "libcoq-mathcomp-ssreflect" in Jammy

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

Changelog

There is no recent update for this package.



About   -   Send Feedback to @ubuntu_updates