1
2
3
4
5
6
7
8
9
10
{ pkgs ? import <nixpkgs> {} }:

pkgs.mkShell {
  nativeBuildInputs = [
    pkgs.go
    pkgs.python3
    pkgs.ruby_3_0
    pkgs.z3
  ];
}