UbuntuUpdates.org

Package "libcoq-reduction-effects"

Name: libcoq-reduction-effects

Description:

reduction effects for Coq

Latest version: 0.1.5-5build3
Release: oracular (24.10)
Level: base
Repository: universe
Head package: coq-reduction-effects
Homepage: https://github.com/coq-community/reduction-effects

Links


Download "libcoq-reduction-effects"


Other versions of "libcoq-reduction-effects" in Oracular

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

Changelog

There is no recent update for this package.



About   -   Send Feedback to @ubuntu_updates