Miroirs/slackbuilds_ponce
1
0
Fork 0
mirror of https://github.com/Ponce/slackbuilds synced 2024-10-20 10:27:20 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions
25278 commits 316 branches 1134 tags 281 MiB
Commit graph

3 commits

Author SHA1 Message Date
Ryan P.C. McQuen
d356f9aef7 development/mcrl2: Updated for version 201310.0. + new maintainer. 
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
 2014-05-12 07:35:46 +07:00
dsomero
d0c108251a various: Update find command to match template. 
Signed-off-by: dsomero <xgizzmo@slackbuilds.org>
 2013-11-22 02:37:19 -05:00
Jockey S. Kyd
3515f10a97 development/mcrl2: Added (micro Common Representation Language 2) 
Signed-off-by: Niels Horn <niels.horn@slackbuilds.org>
 2011-10-21 17:28:40 -02:00