{"categories":[],"packages":[],"usage":[{"description":"Enable \"native_compute\" and compile the Coq Standard Library","isdefault":false,"packageid":42174,"use":"native-compiler"}],"use":{"description":"Enable \"native_compute\" and compile the Coq Standard Library","isdefault":false,"packageid":42174,"use":"native-compiler"}}