Quelle  HoTT.nix   Sprache: unbekannt

{ autoconf, automake }:
{
  buildInputs = [ autoconf automake ];
  configure = "./autogen.sh && ./configure";
  make = "make all validate";
}