Topics:
- Adding ${coq}/lib/coq as a dependency in a derivation (10 messages, latest: Jan 14 2022 at 16:16)
- home-manager on nixos package management help? (12 messages, latest: Jan 09 2022 at 23:05)
- export COQLIB for ML plugins (2 messages, latest: Jan 06 2022 at 09:56)
- `nix-shell https://coq.inria.fr/nix/toolbox --argstr job` (12 messages, latest: Dec 16 2021 at 13:21)
- nix-shell for coq.dev (4 messages, latest: Nov 18 2021 at 17:22)
- `.gitlab-ci.yml` (4 messages, latest: Nov 05 2021 at 18:22)
- doom (1 message, latest: Nov 05 2021 at 15:17)
- nix environment for mathcomp PRs (75 messages, latest: Jun 10 2021 at 18:01)
- Release 1.0? (23 messages, latest: Jun 08 2021 at 17:19)
- nix environment for PRs (2 messages, latest: Jun 07 2021 at 12:40)
- stream events (1 message, latest: Jun 02 2021 at 05:42)
Last updated: Jan 24 2022 at 17:03 UTC