Franz Pletz b19fa00e3e Revert "mcrl2: force use of gcc5 to prevent compilation errors" ... This reverts commit 5e5e57b57bc06119b63e07405a2550894e5bff83. Already fixed with edd94f5fcd077a9e7eb80102cc076a8f8bfe3524.		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