Paul Liétar 6f8eb1e65a coq: enable coqide on darwin ... This was disabled a while ago, when itstool was broken on darwin. Now that itstool works again, it can be re-enabled.		2021-03-23 08:17:13 +01:00
..
default.nix	coq: enable coqide on darwin	2021-03-23 08:17:13 +01:00