You’re right, just checked the original repo and VRF never made it there.
Do I still have to apt-get install libsodium-dev ? Or can I ditch it altogether ?
Gonna use this piece of config.
I’ve actually seen this piece of config somewhere else… what does it do? Forces cabal to fetch the source explicitly ?