Stream: MetaCoq

Topic: template-coq/gen-src/cRelationClasses.mli.orig


view this post on Zulip 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: Feb 22 2024 at 03:02 UTC