Hello
It was suggested to write to you in Stack Exchange.
I'm in v9.0.0 of Rocq and get this error when I run make:
File "./coq/lib_utils/LibUtilsCoqLibAdd.v", line 33, characters 15-22:
Error: Cannot find a physical path bound to logical path Zdigits.
Your last commit is a bit old, maybe that's why.
Hello
It was suggested to write to you in Stack Exchange.
I'm in v9.0.0 of Rocq and get this error when I run
make:Your last commit is a bit old, maybe that's why.