Add a Version file allowing to identify the stdlib version from Rocq#263
Open
mattam82 wants to merge 1 commit into
Open
Add a Version file allowing to identify the stdlib version from Rocq#263mattam82 wants to merge 1 commit into
mattam82 wants to merge 1 commit into
