path: root/dev/ci/nix/lambda-rust.nix

{ iris }:
{
  coqBuildInputs = [ iris ];
}