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 https://github.com/coq-community/vscoq/pull/378 you'll have to switch to nix develop. The documentation was updated, please let me know if some things are missing.


Last updated: Jun 04 2023 at 23:30 UTC