dev/ci/nix/fiat_crypto.nix


1
2
3
4
5
6

{ coqprime }:
{
  coqBuildInputs = [ coqprime ];
  configure = "git submodule update --init --recursive && ulimit -s 32768";
  make = "make new-pipeline c-files";
}