nixpkgs-suyu/pkgs/applications/science/logic/isabelle
John Ericson 2c2f1e37d4 reewide: Purge all uses stdenv.system and top-level system
It is deprecated and will be removed after 18.09.
2018-08-30 17:20:32 -04:00
..
default.nix reewide: Purge all uses stdenv.system and top-level system 2018-08-30 17:20:32 -04:00