Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/Roqc/test-suite/coq-makefile/findlib-package/findlib/foo/   (Beweissystem des Inria Version 9.1.0©)  Datei vom 15.8.2025 mit Größe 118 B image not shown  

Quelle  META   Sprache: unbekannt

 
archive(byte)="foo.cma"
archive(native)="foo.cmxa"
requires = "str"
plugin(byte)="foo.cma"
plugin(native)="foo.cmxs"


Messung V0.5
C=94 H=97 G=95

[ Dauer der Verarbeitung: 0.2 Sekunden  (vorverarbeitet)  ]