Stream: VsCoq devs & users

Topic: Change of nix dev setup

view this post on Zulip Maxime Dénès (Feb 14 2023 at 13:26):

In case some of you are still using nix-shell to setup a vscoq developer build, after you'll have to switch to nix develop. The documentation was updated, please let me know if some things are missing.

Last updated: Jun 23 2024 at 01:02 UTC