UbuntuUpdates.org

Package "libcoq-ocaml-dev"

Name: libcoq-ocaml-dev

Description:

development libraries and tools for Coq

Latest version: 8.4pl4dfsg-3build2
Release: xenial (16.04)
Level: base
Repository: universe
Homepage: http://coq.inria.fr/

Links


Download "libcoq-ocaml-dev"


Other versions of "libcoq-ocaml-dev" in Xenial

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

Changelog

There is no recent update for this package.



About   -   Send Feedback to @ubuntu_updates