Home My Page Projects Gappa
Summary Activity Tracker News SCM Files

Forum: Gappa 0.16.0 released

Posted by: Guillaume Melquiond
Date: 2012-01-06 15:22
Summary: Gappa 0.16.0 released
Project: Gappa

Content:

List of changes: https://gforge.inria.fr/frs/shownotes.php?release_id=6786

Source tarball: https://gforge.inria.fr/frs/download.php/30080/gappa-0.16.0.tar.gz
Latest News

Gappa Coq library 1.3.0 released

Guillaume Melquiond - 2016-07-20 17:05 -

Gappa 1.3.0 released

Guillaume Melquiond - 2016-07-20 17:05 -

Gappa 1.2.2 released

Guillaume Melquiond - 2016-06-22 19:29 -

Gappa Coq library 1.2.1 released

Guillaume Melquiond - 2016-02-09 08:41 -

Gappa 1.2.1 released

Guillaume Melquiond - 2016-01-26 16:46 -
Monitor Forum | Start New Thread Start New Thread