Stream: Nix toolbox devs & users

Topic: Documentation


view this post on Zulip Karl Palmskog (Jan 02 2024 at 11:12):

OK if I merge this PR? https://github.com/coq-community/coq-nix-toolbox/pull/190

For me this was the "missing command" that I dug up on this stream


Last updated: May 25 2024 at 21:01 UTC