Open ari-becker opened 4 years ago
Please package storm with nix and make it available on nixpkgs.
nix
nixpkgs
(recently bit by this when moving from an OS X based development environment to a NixOS based development environment)
Please package storm with
nix
and make it available onnixpkgs
.(recently bit by this when moving from an OS X based development environment to a NixOS based development environment)