# Pastebin gMVbJFC0
_spyder: maybe instead of git pin, try local pin (it pins the project from your local directory):
cd ~
mkdir reason-tmp; cd reason-tmp
git clone --branch reason-0.0.1  https://github.com/the-lambda-church/merlin.git
opam pin add -y merlin merlin/