Plasma GitLab Archive
Projects Blog Knowledge

# Specifications for the "spacetime" library:
requires = ""
description = "Support library for the spacetime profiler"
version = "[distributed with Ocaml]"
directory = "^"
browse_interfaces = "%%interfaces%%"
archive(byte) = "raw_spacetime_lib.cma"
archive(native) = "raw_spacetime_lib.cmxa"
plugin(byte) = "raw_spacetime_lib.cma"
plugin(native) = "raw_spacetime_lib.cmxs"


This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml