Topics:
- Channel scope (3 messages, latest: Jun 28 2024 at 15:28)
- Coqhammer for 8.19 nix (8 messages, latest: Jun 26 2024 at 12:12)
- dune on nix (22 messages, latest: Jun 26 2024 at 04:41)
- Loading inconsistency in mathcomp dependencies (7 messages, latest: Jun 17 2024 at 12:29)
- ✔ Custom git source for nixpkgs compcert (1 message, latest: Jun 07 2024 at 21:57)
- Custom git source for nixpkgs compcert (7 messages, latest: Jun 07 2024 at 15:02)
- ✔ math-comp 1.17 not on CI (6 messages, latest: Apr 30 2024 at 15:24)
- math-comp 1.17 not on CI (40 messages, latest: Apr 30 2024 at 14:48)
- repo-local CI-runs for new projects (29 messages, latest: Apr 30 2024 at 08:39)
- Warning about overrideScope (6 messages, latest: Apr 16 2024 at 14:52)
- Switch to flakes brainstorming (56 messages, latest: Apr 04 2024 at 07:58)
- Crypto guys are offering us free money for nixpkgs cont... (15 messages, latest: Feb 27 2024 at 19:03)
- ✔ mathcomp2 via nix (3 messages, latest: Feb 23 2024 at 13:14)
- ✔ Crypto guys are offering us free money for nixpkgs cont... (8 messages, latest: Feb 23 2024 at 11:52)
- mathcomp-analysis outdated in Nix repo (66 messages, latest: Feb 22 2024 at 14:54)
- ✔ nix question (2 messages, latest: Jan 31 2024 at 10:02)
- nix question (5 messages, latest: Jan 30 2024 at 18:26)
- Elpi dev jobs failing (9 messages, latest: Jan 02 2024 at 11:18)
- Documentation (1 message, latest: Jan 02 2024 at 11:12)
- `nixpkgs` PR? (15 messages, latest: Nov 03 2023 at 17:52)
- mathcomp2 via nix (26 messages, latest: Oct 26 2023 at 08:00)
- mathcomp-extra via nix (7 messages, latest: Oct 12 2023 at 15:17)
- Adding a dependency only for development (12 messages, latest: Oct 10 2023 at 12:51)
- Repo with overlays (6 messages, latest: Oct 10 2023 at 05:05)
- Breakage after Coq website migration (5 messages, latest: Oct 07 2023 at 14:29)
- CI generation (2 messages, latest: Sep 26 2023 at 12:01)
- ✔ CI matrix (2 messages, latest: Sep 25 2023 at 09:05)
- CI matrix (4 messages, latest: Sep 25 2023 at 08:55)
- 404 for coq archive (35 messages, latest: Jun 07 2023 at 18:43)
- ✔ 404 for coq archive (8 messages, latest: Jun 07 2023 at 13:06)
- Ssreflect via Nix toolbox (9 messages, latest: May 30 2023 at 06:56)
- Coq master dependency from flake (19 messages, latest: May 29 2023 at 16:11)
- coq-hammer via nix (28 messages, latest: Apr 18 2023 at 17:39)
- Nix version of coq-native? (4 messages, latest: Mar 31 2023 at 18:37)
- ✔ 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)
- ✔ 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: Oct 13 2024 at 01:02 UTC