Maarten Hoogendoorn 5e5e57b57b mcrl2: force use of gcc5 to prevent compilation errors		2017-09-10 15:09:46 +02:00
..
default.nix	mcrl2: force use of gcc5 to prevent compilation errors	2017-09-10 15:09:46 +02:00