with import <nixpkgs> {};
stdenv.mkDerivation {
name = "GINsim-shell";
buildInputs = [ (callPackage ./ginsim.nix {}) ];
}