Gedichte
Musik
Bilder
Quellcodebibliothek
Diashow
Normaldarstellung
Quellcodebibliothek
Statistik
Leitseite
products
/
sources
/
formale Sprachen
/
Roqc
/
dev
/
ci
/
nix
/ (
Beweissystem des Inria
Version 9.1.0
©
) Datei vom 15.8.2025 mit Größe 162 B
Quelle flocq.nix Sprache: unbekannt
{ autoconf, automake }:
{
buildInputs = [ autoconf automake ];
configure = "./autogen.sh && ./configure";
make = "./remake";
clean = "./remake clean";
}
[ Dauer der Verarbeitung: 0.10 Sekunden (vorverarbeitet)
]
2026-04-04