UbuntuUpdates.org

Package "libcoq-bignums"

Name: libcoq-bignums

Description:

Coq library for big numbers

Latest version: 9.0.0+coq8.18-1build3
Release: noble (24.04)
Level: base
Repository: universe
Head package: coq-bignums
Homepage: https://github.com/coq-community/bignums

Links


Download "libcoq-bignums"


Other versions of "libcoq-bignums" in Noble

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

Changelog

There is no recent update for this package.



About   -   Send Feedback to @ubuntu_updates