Closed roddyyaga closed 4 years ago
There is no name field in dune-project, so opam pin add git://github.com/rgrinberg/opium.git#master fails with error
name
dune-project
opam pin add git://github.com/rgrinberg/opium.git#master
# Error: The project name is not defined, please add a (name <name>) field to # your dune-project file.
@roddyyaga Thanks for reporting this. This is now fixed on the master branch
There is no
name
field indune-project
, soopam pin add git://github.com/rgrinberg/opium.git#master
fails with error