Topics:
- Migrating Coq Community to dune-coq 0.7 (47 messages, latest: Sep 04 2023 at 16:36)
- Dune-Coq 0.3 dependency model (120 messages, latest: Jul 06 2023 at 21:22)
- Adding transitive deps into theories (242 messages, latest: Jul 04 2023 at 10:24)
- ✔ Updating dune in Debian (2 messages, latest: Jul 04 2023 at 06:49)
- Updating dune in Debian (9 messages, latest: Jul 03 2023 at 18:42)
- Template Coq plugin repo (33 messages, latest: Jun 26 2023 at 11:06)
- Several extraction in same dune file (10 messages, latest: Jun 24 2023 at 19:25)
- dune cache cleanup vs dune build (5 messages, latest: Jun 24 2023 at 14:18)
- Warning for cmxs using different paths (10 messages, latest: Jun 23 2023 at 09:20)
- Elpi Support (15 messages, latest: Jun 21 2023 at 11:48)
- Dune 3.8 theories declarations (99 messages, latest: Jun 20 2023 at 21:59)
- dune install verbosity (3 messages, latest: Jun 08 2023 at 11:44)
- Passing flags to coqdoc (19 messages, latest: Jun 07 2023 at 12:22)
- Detection of plugins used by a .v file (3 messages, latest: Jun 05 2023 at 19:09)
- Mixing coq & ocaml (7 messages, latest: Jun 01 2023 at 16:13)
- ✔ OCaml annotations (2 messages, latest: May 25 2023 at 12:37)
- OCaml annotations (5 messages, latest: May 25 2023 at 11:09)
- Upcoming deprecation of `(coq lang)` < 0.8 (77 messages, latest: Apr 21 2023 at 14:09)
- Composition of installed theories (59 messages, latest: Apr 21 2023 at 13:42)
- dune build works but cannot import (10 messages, latest: Apr 20 2023 at 06:55)
- Dune concurrency setting (8 messages, latest: Mar 22 2023 at 19:06)
- ✔ Confused with cram tests using Coq in the dune repo (5 messages, latest: Mar 16 2023 at 16:48)
- Confused with cram tests using Coq in the dune repo (1 message, latest: Mar 16 2023 at 08:22)
- Compiling against multiple versions of Coq (1 message, latest: Mar 10 2023 at 00:10)
- Import file from another directory (6 messages, latest: Feb 26 2023 at 19:10)
- Plugin with extra OCaml dependencies (97 messages, latest: Feb 22 2023 at 02:04)
- Dune now passes -color to coqc (31 messages, latest: Feb 13 2023 at 01:22)
- Single coqdep call for theories (1 message, latest: Feb 12 2023 at 01:34)
- user-contrib (99 messages, latest: Jan 04 2023 at 16:06)
- menhir: .automaton file vanishes in rebuild (8 messages, latest: Dec 20 2022 at 10:23)
- profiling extracted code (action+instrumentation) (1 message, latest: Nov 24 2022 at 22:55)
- dune install in multiple-packages repo (5 messages, latest: Nov 15 2022 at 15:20)
- debugging extracted code (24 messages, latest: Nov 03 2022 at 04:13)
- Can dune coq top pass flags to coqtop? (19 messages, latest: Nov 02 2022 at 19:30)
- Plugins with Coq 8.16 (29 messages, latest: Oct 14 2022 at 11:27)
- linkall source? (6 messages, latest: Oct 14 2022 at 11:08)
- ocaml-cohttp dependency on crowbar (1 message, latest: Oct 04 2022 at 09:29)
- per file flags? (18 messages, latest: Sep 29 2022 at 19:51)
- Coq Roadmap for 3.5 (3 messages, latest: Sep 20 2022 at 14:38)
- Pending PR on plugins (5 messages, latest: Sep 02 2022 at 15:27)
- confused by coq.extraction (4 messages, latest: Aug 30 2022 at 11:43)
- Issues with building Elpi for Coq Platform on Windows (19 messages, latest: Aug 23 2022 at 19:21)
- Cram test support for Coq (1 message, latest: Jul 27 2022 at 07:28)
- `--cache-check-probability` reports `.aux` files, which a... (13 messages, latest: Jul 26 2022 at 15:43)
- Is it normal `-p` ignores dependencies? (26 messages, latest: Jul 11 2022 at 18:24)
- vos/vok support for dune (87 messages, latest: Jul 11 2022 at 17:51)
- Can public Coq theories depend on private OCaml libraries? (29 messages, latest: Jul 11 2022 at 17:19)
- Caching/sharing ~/.cache/dune on Gitlab/via NFS (55 messages, latest: Jul 09 2022 at 05:35)
- Problem with alt-ergo on quite a few architectures (20 messages, latest: Jul 04 2022 at 16:43)
- Silent builds (5 messages, latest: Jun 27 2022 at 11:58)
- Warnings and dune (46 messages, latest: Jun 27 2022 at 11:56)
- coq:version variable (41 messages, latest: Jun 23 2022 at 13:17)
- Dune Hacking event (119 messages, latest: Jun 22 2022 at 15:44)
- Dune plugin template (5 messages, latest: Jun 15 2022 at 09:48)
- [laodpath] Coqdep vs. Coqmod (212 messages, latest: Jun 13 2022 at 00:52)
- Coqdep vs. Coqmod (294 messages, latest: Jun 12 2022 at 15:23)
- coqdep 8.15 slowdown, and per-library coqdep (50 messages, latest: Jun 12 2022 at 12:32)
- coqdoc and boot build (52 messages, latest: Jun 11 2022 at 12:43)
- include_subdirs qualified (5 messages, latest: Jun 10 2022 at 15:30)
- vos/vok builds (146 messages, latest: Jun 07 2022 at 19:23)
- Multiple `-Q` options per library (13 messages, latest: Jun 06 2022 at 21:52)
- Applying a patch onto an extracted file (14 messages, latest: Jun 05 2022 at 14:46)
- Renaming libraries field to plugins (13 messages, latest: Jun 04 2022 at 10:07)
- Public/Private names? (347 messages, latest: Jun 02 2022 at 15:07)
- Improving Dune documentation (8 messages, latest: Jun 01 2022 at 14:01)
- Boot library (161 messages, latest: Jun 01 2022 at 13:39)
- Extraction support (15 messages, latest: Jun 01 2022 at 12:07)
- Multi-package repo workflow (3 messages, latest: May 27 2022 at 18:34)
- Dune problems for newer Coq versions? (52 messages, latest: May 25 2022 at 17:12)
- META (153 messages, latest: May 17 2022 at 15:50)
- Extraction with dune (41 messages, latest: May 16 2022 at 21:43)
- Dune and plugins in 8.16 (74 messages, latest: May 11 2022 at 14:19)
- How to use dune coq top with coqide? (4 messages, latest: May 09 2022 at 14:57)
- stream events (3 messages, latest: Apr 16 2022 at 15:22)
- Dune and Windows (95 messages, latest: Apr 08 2022 at 07:40)
- Dune 3.0 performance (13 messages, latest: Apr 01 2022 at 11:52)
- env cleaning? (6 messages, latest: Mar 31 2022 at 15:42)
- coq.theory theories field (68 messages, latest: Mar 28 2022 at 12:53)
- ✔ Adding examples/ directory to dune Coq build (4 messages, latest: Feb 28 2022 at 15:40)
- Dune and coq_makefile parity (82 messages, latest: Feb 22 2022 at 12:41)
- Dune internals: build a target `--only-deps` (34 messages, latest: Feb 18 2022 at 08:04)
- Multi-package repositories (29 messages, latest: Feb 17 2022 at 17:18)
- Making PRs to Dune (46 messages, latest: Feb 03 2022 at 14:50)
- Dune session for the upcoming Working Group (3 messages, latest: Feb 03 2022 at 13:28)
- Error with Dune and Nix in CI (28 messages, latest: Dec 16 2021 at 14:13)
- Customizing Coq rules without OCaml code (33 messages, latest: Dec 03 2021 at 19:59)
- META file generation (54 messages, latest: Nov 22 2021 at 15:04)
- running clightgen with dune (4 messages, latest: Nov 19 2021 at 20:52)
- dune rule for coqchk? (55 messages, latest: Nov 15 2021 at 15:50)
- Running the test suite (13 messages, latest: Nov 15 2021 at 11:43)
- too much coqdep (22 messages, latest: Oct 28 2021 at 14:50)
- Coqdoc rules for dune (55 messages, latest: Oct 26 2021 at 19:02)
- Dune builds affected by coqrc (50 messages, latest: Oct 24 2021 at 19:17)
- Merlin errors on plugins with "wrong" name (14 messages, latest: Oct 21 2021 at 08:31)
- Generated files dependency (176 messages, latest: Oct 21 2021 at 02:42)
- generate_module (12 messages, latest: Oct 13 2021 at 15:47)
- recommended using coq version (16 messages, latest: Sep 23 2021 at 15:58)
- ✔ Warning: The native-compiler option is deprecated. (4 messages, latest: Sep 22 2021 at 11:53)
- ✔ Dune, _CoqProject and tests (23 messages, latest: Sep 13 2021 at 17:27)
- ✔ Dune, Coq and @runtests (4 messages, latest: Sep 08 2021 at 01:44)
- Target to build coqtop and plugins but not Prelude.vo (9 messages, latest: Aug 27 2021 at 15:19)
- Conditional dependency (16 messages, latest: May 26 2021 at 15:00)
- How to turn off "warnings are errors"? (7 messages, latest: May 25 2021 at 23:33)
- Workaround on OS X (31 messages, latest: May 05 2021 at 17:09)
- Should COQPATH invalidate caches (24 messages, latest: Apr 30 2021 at 21:26)
- `dune build -p` rebuilds sources (31 messages, latest: Apr 30 2021 at 21:14)
- _CoqProject (5 messages, latest: Feb 25 2021 at 16:31)
- coq lang changelog (1 message, latest: Jan 26 2021 at 12:51)
- Composable builds coqdep (78 messages, latest: Dec 18 2020 at 19:13)
- dune, theories composition and several package (29 messages, latest: Dec 15 2020 at 18:36)
- Generating .v files with non-ocaml in-repo executable (16 messages, latest: Dec 14 2020 at 00:32)
- dune and coqc -R vs -Q (149 messages, latest: Dec 13 2020 at 22:12)
- Make (boot) stable (21 messages, latest: Dec 02 2020 at 12:18)
- Workspace configuration (9 messages, latest: Dec 01 2020 at 21:49)
- Handling alerts in Dune (4 messages, latest: Nov 29 2020 at 22:36)
- Compositional Coq builds (145 messages, latest: Nov 29 2020 at 01:19)
- CoqHammer (115 messages, latest: Oct 24 2020 at 01:31)
- Cache poisoning (95 messages, latest: Oct 04 2020 at 21:30)
- Unification hints and canonical structures (1 message, latest: Sep 18 2020 at 10:59)
- Dune vs. SBT (60 messages, latest: Sep 17 2020 at 21:32)
- dependency on secondary ocaml compiler (41 messages, latest: Sep 17 2020 at 14:14)
- Same logical path in several directories (165 messages, latest: Sep 15 2020 at 09:37)
- Translating %.foo : %.bar to dune (10 messages, latest: Sep 14 2020 at 23:48)
- How to set up switch for developing on dune? (3 messages, latest: Sep 10 2020 at 17:39)
- Discrepancy between Dune and coq_makefile (25 messages, latest: Sep 09 2020 at 13:29)
- Generated files in version control (5 messages, latest: Sep 04 2020 at 19:50)
- Multiple bindings of same logical path revisited (22 messages, latest: Aug 31 2020 at 19:34)
- Backwards compatibility for building Coq projects with Dune (23 messages, latest: Aug 31 2020 at 19:23)
- Muting output of coq during dune build (14 messages, latest: Aug 27 2020 at 15:34)
- Dune 2.7.0 (8 messages, latest: Aug 18 2020 at 20:47)
- Composition with public libraries (17 messages, latest: Aug 18 2020 at 19:40)
- Building CoqHammer with Dune (1 message, latest: Aug 14 2020 at 15:23)
- dune and parallel builds (31 messages, latest: Jul 07 2020 at 13:32)
- Executable only used for testing (3 messages, latest: Jun 16 2020 at 22:20)
- dune as Makefile replacement (14 messages, latest: Jun 10 2020 at 13:29)
- arbitrary terms as hints (1 message, latest: Jun 10 2020 at 10:34)
- Removing an extracted mli file (12 messages, latest: Jun 09 2020 at 15:57)
- Extraction and dune build -p (29 messages, latest: Jun 02 2020 at 15:40)
- Building reflective tactics using dune (29 messages, latest: Jun 02 2020 at 11:35)
- Coq Load commands and dune build -p (12 messages, latest: May 30 2020 at 18:29)
- not failing builds on warnings (4 messages, latest: May 28 2020 at 17:05)
- releasing dune packages on GitHub and OPAM (9 messages, latest: May 27 2020 at 20:10)
- Dune extraction example (45 messages, latest: May 27 2020 at 19:23)
- Dune complains about a missing file (95 messages, latest: May 25 2020 at 20:27)
Last updated: Sep 28 2023 at 10:01 UTC