Archive for all Coq related OPAM packages organized in various repositories
GNU Lesser General Public License v2.1
127
stars
166
forks
source link
backwards-compatible patch to make coq-mmaps.1.1 work with Coq 8.20 #3141
Closed
palmskog closed 3 months ago