Revision 6f4c98ae44eb1c859aee5cb736798d29832d7891 authored by Richard Davison on 19 April 2022, 23:32:17 UTC, committed by Marge Bot on 13 May 2022, 09:41:52 UTC
1 parent 02e9aab
dune-workspace
(lang dune 2.9)
(env
(release (ocamlopt_flags (:standard -O3)))
(static (ocamlopt_flags (:standard -O3))))
(context (default (paths (ORIGINAL_PATH :standard))))
; This file was automatically generated, do not edit.
; Edit file manifest/manifest.ml instead.
Computing file changes ...
