1{ pkgs, src }:
2
3pkgs.writeShellApplication {
4  name = "pinact";
5  runtimeInputs = with pkgs; [ pinact ];
6  text = "pinact run --check --verify";
7}