Coq 8.15 compatibility#2

Open

haansn08 wants to merge 4 commits intouds-psl:masterfrom

haansn08:master

Commits on Jun 30, 2022

add refine attribute to instance declarations
Stefan Haan
committed
update smpl submodule url
Stefan Haan
committed

Commits on Aug 15, 2022

compatibility with coq 8.15: omega -> lia, ...
Stefan Haan
committed

Commits on Aug 17, 2022

export attribute for Hint and Instance
Stefan Haan
committed