Franz Pletz b19fa00e3e Revert "mcrl2: force use of gcc5 to prevent compilation errors" ... This reverts commit 5e5e57b57b. Already fixed with edd94f5fcd.		2017-09-15 21:51:35 +02:00
..
default.nix	Revert "mcrl2: force use of gcc5 to prevent compilation errors"	2017-09-15 21:51:35 +02:00