Update meta.yml and require Rocq 9.0#124

pi8027 merged 1 commit into

mastermath-comp/multinomials:masterfrom

meta_ymlmath-comp/multinomials:meta_ymlCopy head branch name to clipboard