Gedichte
Musik
Bilder
Quellcodebibliothek
Diashow
Normaldarstellung
products
/
Sources
/
formale Sprachen
/
Coq
/
dev
/
ci
/
nix
/
Quellcode-Bibliothek
©
Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: atan2.pvs Sprache: Coq
rahmenlose Ansicht.nix DruckansichtShell {Shell[79] Scala[118] Lex[124]}diese Dinge liegen außhalb unserer Verantwortung
{ autoconf, automake }:
{
buildInputs = [ autoconf automake ];
configure =
"./autogen.sh && ./configure"
;
make
=
"make all validate"
;
}
[ Verzeichnis aufwärts0.104unsichere Verbindung
]