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

{}:

{
  configure = "./etc/ci/remove_autogenerated.sh";
  make = "make print-old-pipeline-lite old-pipeline-lite lite-display";
}