UbuntuUpdates.org

Package "libwhy-coq"




Name: libwhy-coq

Description:

Why library for Coq

Latest version: *DELETED*
Release: trusty (14.04)
Level: proposed
Repository: universe
Head package: why
Homepage: http://why.lri.fr/

Links


Download "libwhy-coq"


Other versions of "libwhy-coq" in Trusty

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

Changelog

Version: *DELETED* 2014-04-26 06:06:43 UTC
No changelog for deleted or moved packages.

Version: 2.33-2 2014-02-19 14:07:07 UTC
No changelog available yet.
Source diff to previous version

Version: 2.33-1 2014-02-15 20:34:32 UTC
No changelog available yet.



About   -   Send Feedback to @ubuntu_updates