riscv-coq icon indicating copy to clipboard operation
riscv-coq copied to clipboard

Published 20 hours ago • verified publisher icon mit-plv

Adapt to https://github.com/coq/coq/pull/19530

Open proux01 opened this issue 5 months ago • 0 comments

Adapt to https://github.com/coq/coq/pull/19530 This is an adaptation in anticipation of the day the temporary backward compatibility introduced in the upstream PR will be removed (probably a few years in the future). Merging this is not required for the upstream PR, you can do whatever you want with it.

proux01 avatar Sep 17 '24 10:09 proux01