Inria - gforge.inria.fr - InriaForge Project News
General Information:
Latest News:
Kadeploy 3.1.6 is released 17 Apr 2013 | 06:23 pm
We are pleased to announce a new release of Kadeploy3. Here is the changelog: == User interface == * The CLI display has been modified to look more clear * Get the status of the deploying nodes by...
Gappa 0.17.0 released 17 Apr 2013 | 06:23 pm
List of changes: https://gforge.inria.fr/frs/shownotes.php?release_id=7938 Source tarball: https://gforge.inria.fr/frs/download.php/32249/gappa-0.17.0.tar.gz
Tom 2.10 is out! 17 Apr 2013 | 06:23 pm
Tom 2.10 announcement -------------------- It is our great privilege and pleasure to announce the availability of Tom version 2.10. This release continues our work on the integration of pattern mat...
Gappa Coq Library 0.19.0 released 17 Apr 2013 | 06:23 pm
List of changes: https://gforge.inria.fr/frs/shownotes.php?release_id=7973 Source tarball: https://gforge.inria.fr/frs/download.php/32293/gappalib-coq-0.19.0.tar.gz
Gappa Coq Library 0.20.0 released 17 Apr 2013 | 06:22 pm
List of changes: https://gforge.inria.fr/frs/shownotes.php?release_id=7976 Source tarball: https://gforge.inria.fr/frs/download.php/32296/gappalib-coq-0.20.0.tar.gz
Gappa 0.17.1 released 17 Apr 2013 | 06:22 pm
List of changes: https://gforge.inria.fr/frs/shownotes.php?release_id=7972 Source tarball: https://gforge.inria.fr/frs/download.php/32292/gappa-0.17.1.tar.gz
Release 1.6.1 is out 17 Apr 2013 | 06:22 pm
Version 1.6.1 mainly fix a bug in repeats and add additional logs to ouput for a run.
GNU MPFR 3.1.2 is released 18 Mar 2013 | 06:12 pm
GNU MPFR 3.1.2 ("canard à l'orange", patch level 2) is now available for download from the MPFR web site: http://www.mpfr.org/mpfr-3.1.2/ from INRIAGForge: https://gforge.inria.fr/projects/mpfr/ a...
Version 2.0.4 is released ! 21 Aug 2012 | 04:42 pm
Hi all A new kermeta 2 is officially available as version 2.0.4. (Reminder : All stable versions have an even version number, all snapshots have an odd version number. the new development version is...
New ! SimGrid Eclipse plug-in 21 Aug 2012 | 04:42 pm
We are proud to announce you that a new free tool is available to ease Simgrid use: a SimGrid plug-in for Eclipse! It adds to Eclipse wizards to create new SimGrid (java or C) MSG project, and includ...
