{ autoconf, automake, ssreflect }:
{
buildInputs = [ autoconf automake ];
coqBuildInputs = [ ssreflect ];
configure = "./autogen.sh && ./configure";
make = "./remake";
clean = "./remake clean";
}
[ Dauer der Verarbeitung: 0.11 Sekunden
(vorverarbeitet)
]
