Skip to content

Adapt to coq/coq#19078 (different module type for unordered maps)#412

Merged
SkySkimmer merged 1 commit intorocq-archive:mainfrom SkySkimmer:csig-umapMay 29, 2024
+8-8

Commits