UbuntuUpdates.org

Package "libcoq-libhyps"

Name: libcoq-libhyps

Description:

Tactics on hypotheses in Coq

Latest version: 2.0.8-1build4
Release: noble (24.04)
Level: base
Repository: universe
Head package: coq-libhyps
Homepage: https://github.com/Matafou/LibHyps

Links


Download "libcoq-libhyps"


Other versions of "libcoq-libhyps" 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