Home My Page Projects Gappa
Summary Activity Tracker News SCM Files

Forum: Gappa 0.15.1 released

Posted by: Guillaume Melquiond
Date: 2011-09-14 06:12
Summary:Gappa 0.15.1 released
Project:Gappa

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

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

Gappa 1.1.1 released

Guillaume Melquiond - 2014-03-25 10:25 -

Gappa 1.1.0 released

Guillaume Melquiond - 2014-01-10 14:43 -

Gappa 1.0.0 released

Guillaume Melquiond - 2013-07-19 15:38 -

Gappa Coq library 1.0.0 released

Guillaume Melquiond - 2013-07-19 15:37 -

Gappa Coq library 0.21.1 released

Guillaume Melquiond - 2013-07-03 14:13 -
Monitor Forum | Start New Thread Start New Thread