Skip to content

Fix modules in _CoqProject

Lennard Gäherrequested to merge
lennard/fix-modules into main

This fixes the _CoqProject file so that projects depending on this can actually import modules under the iris_contrib path.

Merge request reports