Miroirs/slackbuilds_ponce
1
0
Fork 0
mirror of https://github.com/Ponce/slackbuilds synced 2024-10-04 07:54:46 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions
47246 commits 308 branches 1127 tags 276 MiB
Commit graph

3 commits

Author SHA1 Message Date
Matteo Bernardini
60b0f370c0 development/mcrl2: Fix invalid chars in desc. 
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
 2016-05-27 07:23:29 +07:00
dsomero
610e8461bb various: Fix slack-desc formatting and comment nit picks. 
Signed-off-by: dsomero <xgizzmo@slackbuilds.org>
 2013-11-22 02:29:22 -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