Topics:
- ✔ mathcomp via nix (52 messages, latest: Mar 12 2023 at 06:15)
- ✔ Running OCaml with str.cma (6 messages, latest: Mar 09 2023 at 21:36)
- ✔ Running Coq 8.17 (5 messages, latest: Mar 09 2023 at 16:23)
- ✔ initNixConfig not found (4 messages, latest: Mar 08 2023 at 21:18)
- Recent github action failures (5 messages, latest: Mar 06 2023 at 10:23)
- ✔ Simple way to drop into a dev version of Coq (8 messages, latest: Mar 03 2023 at 20:19)
- Nix version of coq-native? (2 messages, latest: Nov 20 2022 at 11:31)
- ✔ Importing "ring" (13 messages, latest: Oct 04 2022 at 21:42)
- Advices on how to propagate ocaml's stdlib-shims (15 messages, latest: Sep 19 2022 at 18:55)
- ✔ nix pkg for equations 1.3 and coq8.16 (7 messages, latest: Sep 19 2022 at 09:29)
- ✔ Using coq-nix-toolbox with partial CI (19 messages, latest: Sep 19 2022 at 09:29)
- 8.16 CoqIDE (9 messages, latest: Sep 08 2022 at 17:39)
- reviewers for coq-related PRs in Nixpkgs (7 messages, latest: Sep 06 2022 at 02:51)
- Flake support (17 messages, latest: Aug 24 2022 at 08:33)
- Coq with nix (20 messages, latest: Jul 13 2022 at 10:53)
- ✔ Findlib error with master + nix (15 messages, latest: Jul 12 2022 at 20:30)
- Coq nix toolbox repaired for master (1 message, latest: Jul 09 2022 at 08:49)
- 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: Mar 25 2023 at 06:28 UTC