Untersuchungsergebnis.nix Download desShell {Shell[93] Ada[107] Abap[170]}zum Wurzelverzeichnis wechseln
{ autoconf, automake, ssreflect }:
{
buildInputs = [ autoconf automake ];
coqBuildInputs = [ ssreflect ];
configure = "./autogen.sh && ./configure";
make = "./remake";
clean = "./remake clean";
}
[ zur Elbe Produktseite wechseln0.79Quellennavigators
]
