_CoqProject

-Q aneris aneris

-Q external/stdpp/stdpp stdpp
-Q external/stdpp/stdpp_unstable stdpp.unstable
-Q external/iris/iris iris
-Q external/trillium/trillium trillium
-Q external/record-update/src RecordUpdate
-Q external/paco/src Paco
-Q external/actris/theories actris

-Q external/iris/iris_deprecated iris.deprecated
-Q external/iris/iris_unstable iris.unstable
-Q external/iris/iris_heap_lang iris.heap_lang
-Q external/trillium/fairis trillium.fairness

-arg -w -arg -notation-overridden
-arg -w -arg -redundant-canonical-projection
-arg -w -arg -convert_concl_no_check
-arg -w -arg -undeclared-scope
-arg -w -arg -ambiguous-paths
-arg -w -arg -ssr-search-moved
-arg -w -arg -deprecated-hint-without-locality
-arg -w -arg -deprecated-instance-without-locality
-arg -w -arg -deprecated-typeclasses-transparency-without-locality
-arg -w -arg -future-coercion-class-field