Jason Gross (Nov 25 2022 at 00:44): Jason Gross (Nov 25 2022 at 00:44):Why does template-coq/gen-src/cRelationClasses.mli.orig change when I run make? (See also https://github.com/MetaCoq/metacoq/pull/791)
Last updated: Jun 10 2023 at 06:31 UTC