1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
{ pkgs ? import <nixpkgs> {} }:
let
  my-python = pkgs.python3.buildEnv.override {
    extraLibs = [ pkgs.python3Packages.z3 ];
  };
in

pkgs.mkShell {
  nativeBuildInputs = [
    pkgs.go
    my-python
    pkgs.ruby
    pkgs.z3
  ];
}