ERGO-Code/HiGHS

Update the flake.nix to get the version from `Version.txt`

Closed this issue · 0 comments

Presently the flake.nix file hard-codes the version; but it would be much more appropriate to grab it from the Version.txt file.

This should be simple enough; but would help in not being wrong if the versions go out of sync!