Age | Commit message (Collapse) | Author | |
---|---|---|---|
2021-04-21 | development/mcrl2: Removed (no maintainer) | Robby Workman | |
2020-10-17 | development/mcrl2: Fix README. | B. Watson | |
Signed-off-by: B. Watson <yalhcru@gmail.com> Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org> | |||
2018-05-02 | development/mcrl2: Updated homepage and download. | David Spencer | |
Signed-off-by: David Spencer <idlemoor@slackbuilds.org> | |||
2017-04-15 | development/mcrl2: Orphan build. | Ryan P.C. McQuen | |
Signed-off-by: Ryan P.C. McQuen <ryanpcmcquen@member.fsf.org> | |||
2017-01-07 | development/mcrl2: Change email. | Ryan P.C. McQuen | |
Signed-off-by: Ryan P.C. McQuen <ryan.q@linux.com> | |||
2016-05-27 | development/mcrl2: Fix invalid chars in desc. | Matteo Bernardini | |
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org> | |||
2015-09-12 | development/mcrl2: Allow GPLv2. | Ryan P.C. McQuen | |
Signed-off-by: Ryan P.C. McQuen <ryan.q@linux.com> | |||
2014-12-31 | development/mcrl2: Updated for version 201409.1. | Ryan P.C. McQuen | |
Signed-off-by: Ryan P.C. McQuen <ryan.q@linux.com> | |||
2014-10-03 | development/mcrl2: updated for version 201409.0 + build fix | Ryan P.C. McQuen | |
2014-05-12 | development/mcrl2: Updated for version 201310.0. + new maintainer. | Ryan P.C. McQuen | |
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org> | |||
2013-11-22 | various: Update find command to match template. | dsomero | |
Signed-off-by: dsomero <xgizzmo@slackbuilds.org> | |||
2013-11-22 | various: Fix slack-desc formatting and comment nit picks. | dsomero | |
Signed-off-by: dsomero <xgizzmo@slackbuilds.org> | |||
2012-08-19 | Add REQUIRED field to .info files. | Erik Hanson | |
Signed-off-by: Erik Hanson <erik@slackbuilds.org> | |||
2012-08-14 | Entire Repo: Remove APPROVED field from .info files | Robby Workman | |
This field used to make sense in our pre-git days, but the Signed-Off-By: line serves the same purpose (and even more) now, so APPROVED has been rejected. ;-) Signed-off-by: Robby Workman <rworkman@slackbuilds.org> | |||
2011-10-21 | development/mcrl2: Added (micro Common Representation Language 2) | Jockey S. Kyd | |
Signed-off-by: Niels Horn <niels.horn@slackbuilds.org> |