Topics:
- Update for Coq 8.17+alpha (29 messages, latest: Jul 06 2022 at 21:23)
- mkDerivation finalAttrs (2 messages, latest: Jun 03 2022 at 16:20)
- Nix CI on mac OS ? (6 messages, latest: May 18 2022 at 12:15)
- stream events (2 messages, latest: Apr 19 2022 at 12:10)
- Upgrading coq with Nix (19 messages, latest: Mar 29 2022 at 18:35)
- Cachix trouble (4 messages, latest: Mar 15 2022 at 17:47)
- Simple Nix CI ocamlfind failure (4 messages, latest: Mar 06 2022 at 14:51)
- PG under nix (3 messages, latest: Feb 26 2022 at 09:01)
- Simple Nix CI zarith failure (4 messages, latest: Feb 13 2022 at 14:52)
- Adding ${coq}/lib/coq as a dependency in a derivation (12 messages, latest: Jan 14 2022 at 16:16)
- home-manager on nixos package management help? (12 messages, latest: Jan 09 2022 at 23:05)
- `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 (77 messages, latest: Jun 10 2021 at 18:01)
- Release 1.0? (23 messages, latest: Jun 08 2021 at 17:19)
Last updated: Jul 07 2022 at 04:04 UTC