Skip to content

Allow Coq 8.18 for coq-simple-io.1.8.0 #397

Allow Coq 8.18 for coq-simple-io.1.8.0

Allow Coq 8.18 for coq-simple-io.1.8.0 #397