hierarchy-builder icon indicating copy to clipboard operation
hierarchy-builder copied to clipboard

Published 20 hours ago • verified publisher icon math-comp

Update coq master

Open proux01 opened this issue 2 years ago • 0 comments

Just for the CI on math-comp/math-comp#733 to go through on coq master (this is just a merge commit).

proux01 avatar Aug 30 '22 13:08 proux01