path: root/dev/ci/nix/iris.nix

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