Skip to content

GitLab

Merged
Created by Tej Chajed@tchajedMaintainer

Fix coq-lint.sh on macOS

Fixes the build on macOS. Once this is merged I'll make the same fix to Iris.

Edited by Tej Chajed