Skip to main content

Browse the archive

Revision f5fbc4eb1184ad2f354c286a87aef33f53ec06f6 authored by Pierre Roux on 19 March 2022, 20:26:51 UTC, committed by Andres Erbsen on 20 March 2022, 20:24:54 UTC 
Adapt to coq/coq#15754
1 parent 60180c1
Raw File
.gitmodules 
[submodule "bedrock2"]
	path = bedrock2
	url = https://github.com/mit-plv/bedrock2.git
back to top