Coq Library of Undecidability Proofs version 1.1.1+8.18

yforster released this 02 Nov 10:38

8880e19

Change license from CeCILL v2 to MPL-2.0 (more permissive) (#208)

* relicense to MPL-2.0 using a script

* changing license field in opam file, thx to @Zimmi48

* renamed MPL-2.0 license file for GitHub automatic recognition

Assets 2