I believe this repo assumes that it'sits dependencies live in the same parent folder. So you need to clone coq-record-update and any other dependencies. See https://github.com/mit-plv/bedrock2/tree/master/deps for an example of this in action.
I believe this repo assumes that it's dependencies live in the same parent folder. So you need to clone coq-record-update and any other dependencies. See https://github.com/mit-plv/bedrock2/tree/master/deps for an example of this in action.
I believe this repo assumes that its dependencies live in the same parent folder. So you need to clone coq-record-update and any other dependencies. See https://github.com/mit-plv/bedrock2/tree/master/deps for an example of this in action.
I believe this repo assumes that it's dependencies live in the same parent folder. So you need to clone coq-record-update and any other dependencies. See https://github.com/mit-plv/bedrock2/tree/master/deps for an example of this in action.