Skip to content

remove unneeded Ndigits dependency (adapt to coq/coq#18936)#206

Merged
proux01 merged 1 commit intocoq-community:masterfrom andres-erbsen:remove-NdigitsApr 17, 2024

Commits

Commits on Apr 16, 2024