truh/nixpkgs
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity
nixpkgs/pkgs/applications/science/logic/mcrl2
History
Exact
Markus Mueller 300b9f13de
 mcrl2: 201409 -> 201707 
(cherry picked from commit edd94f5fcd)
2017-09-10 17:55:46 +02:00
..
default.nix mcrl2: 201409 -> 201707 2017-09-10 17:55:46 +02:00