summaryrefslogtreecommitdiffstats
path: root/development/mcrl2
AgeCommit message (Expand)Author
2020-10-17development/mcrl2: Fix README. B. Watson
2018-05-02development/mcrl2: Updated homepage and download. David Spencer
2017-04-15development/mcrl2: Orphan build. Ryan P.C. McQuen
2017-01-07development/mcrl2: Change email. Ryan P.C. McQuen
2016-05-27development/mcrl2: Fix invalid chars in desc. Matteo Bernardini
2015-09-12development/mcrl2: Allow GPLv2. Ryan P.C. McQuen
2014-12-31development/mcrl2: Updated for version 201409.1. Ryan P.C. McQuen
2014-10-03development/mcrl2: updated for version 201409.0 + build fix Ryan P.C. McQuen
2014-05-12development/mcrl2: Updated for version 201310.0. + new maintainer. Ryan P.C. McQuen
2013-11-22various: Update find command to match template. dsomero
2013-11-22various: Fix slack-desc formatting and comment nit picks. dsomero
2012-08-20Add REQUIRED field to .info files. Erik Hanson
2012-08-15Entire Repo: Remove APPROVED field from .info files Robby Workman
2011-10-21development/mcrl2: Added (micro Common Representation Language 2) Jockey S. Kyd