Closed brahyerr closed 1 year ago
This piece of code causes the error:
[coq.artifacts]
src.git = "https://github.com/ms-jpq/coq.artifacts"
fetch.git = "https://github.com/ms-jpq/coq.artifacts"
Previously coq.artifacts
will be the package name, but in order to fix #84, the config parser now follows the semantics of TOML, which means that artifacts
is considered to be an inline table in coq
table. To use dot as a part of key, you can quote the key like:
["coq.artifacts"]
src.git = "https://github.com/ms-jpq/coq.artifacts"
fetch.git = "https://github.com/ms-jpq/coq.artifacts"
The quotes are needed in config fed to nvchecker as well. I will push a commit to fix this soon.
Since the nixpkgs package is broken, I'm running the package from the flake in this repository. Running the current nvfetcher package results in the following error:
Running an older version (0.6.0, specifically commit 9785e4fa1ac59d3513a6f1ad26a0ee1ebc6c1ae5) does not run into any errors. Here's my nvfetcher config file for reference: