Bugs from package versions fixed.

coq-quantum / CoqQ

MIT License

16 stars 1 forks source link

Bugs from package versions fixed. #2

Closed LucianoXu closed 2 years ago

LucianoXu commented 2 years ago

An extra specification of the package version (of mathcomp) is added to the "opam switch create" command in README. Installation with this command will put the code through.

Fixing Issue #1

strub commented 2 years ago

Thx !