Topics:
- OCaml variant for 2023.03 (3 messages, latest: Mar 14 2023 at 15:45)
- Platform stats (32 messages, latest: Feb 20 2023 at 18:11)
- Coq on Apple M1 (ARM64) (56 messages, latest: Feb 14 2023 at 08:24)
- Snap CI failing (20 messages, latest: Feb 04 2023 at 09:58)
- Failed to get sources ... bad checksum (3 messages, latest: Feb 03 2023 at 09:22)
- MacOS notarisation (4 messages, latest: Feb 01 2023 at 09:15)
- Alternative way to install Coq Platform (30 messages, latest: Jan 24 2023 at 14:54)
- ✔ Two Julien Puydt accounts (7 messages, latest: Jan 24 2023 at 10:08)
- z3_tptp libz3 (2 messages, latest: Jan 23 2023 at 21:43)
- 2022.09.1 release (49 messages, latest: Jan 18 2023 at 10:10)
- Platform in opam repo README (1 message, latest: Dec 14 2022 at 17:34)
- Platform impact (1 message, latest: Dec 04 2022 at 21:52)
- Snap CI issues (26 messages, latest: Dec 03 2022 at 12:40)
- Coq-rewriter stack space (33 messages, latest: Dec 01 2022 at 14:37)
- Cygwin dropped 32 bit support (13 messages, latest: Nov 28 2022 at 13:20)
- 2022.09+beta1 release (444 messages, latest: Nov 25 2022 at 22:18)
- ✔ MacOS DMG package creation since runner update to 11.7.1 (5 messages, latest: Nov 18 2022 at 07:56)
- Nightly CI breakages (13 messages, latest: Nov 09 2022 at 13:58)
- ✔ HoTT opam packages: invalid checksum (17 messages, latest: Nov 09 2022 at 09:01)
- ✔ Windows failure since cygwin update (3 messages, latest: Oct 31 2022 at 21:13)
- Number of Snap installations (22 messages, latest: Oct 27 2022 at 07:00)
- GitHub event Zulip integration? (2 messages, latest: Oct 24 2022 at 09:16)
- Building from sources fails on Windows (44 messages, latest: Oct 17 2022 at 13:31)
- SMTCoq (40 messages, latest: Oct 12 2022 at 17:57)
- Serapi in snap (53 messages, latest: Oct 10 2022 at 14:18)
- Platform licensing (25 messages, latest: Sep 29 2022 at 09:04)
- ✔ Licensing of libhyps (19 messages, latest: Sep 23 2022 at 14:13)
- CI Timeouts (6 messages, latest: Sep 23 2022 at 12:14)
- RM issues in 8.17 (5 messages, latest: Sep 22 2022 at 09:08)
- ✔ Relation Algebra licensing (3 messages, latest: Sep 08 2022 at 19:05)
- opam metadata in package listing (7 messages, latest: Aug 30 2022 at 06:37)
- Coq not available after installation (9 messages, latest: Aug 29 2022 at 13:01)
- dependabot (9 messages, latest: Aug 24 2022 at 13:19)
- Expected installation time of Coq Platform (26 messages, latest: Aug 11 2022 at 12:19)
- Memory requirements for Coq machine (9 messages, latest: Aug 10 2022 at 18:31)
- Latest coq platform package table (20 messages, latest: Jul 28 2022 at 12:30)
- ✔ On the coq-coqprime and coq-coqprime-generator packages (29 messages, latest: Jul 20 2022 at 12:50)
- Coq Platform scripts on Alpine 3.16 (10 messages, latest: Jul 20 2022 at 11:19)
- Handling preview releases (12 messages, latest: Jul 13 2022 at 10:41)
- serapi requires ppxlib and sexplib downgrade (4 messages, latest: Jul 12 2022 at 11:39)
- 2022.04.2 (18 messages, latest: Jun 30 2022 at 20:12)
- CompCert 3.11 (9 messages, latest: Jun 29 2022 at 17:58)
- 2022.04.1 (22 messages, latest: Jun 28 2022 at 07:39)
- Issues finding a 8.16+rc1 dev pick for elpi (54 messages, latest: Jun 15 2022 at 09:34)
- ✔ coq-serapi in the coq platform (10 messages, latest: May 20 2022 at 11:30)
- Document the OCaml compiler+options (9 messages, latest: May 12 2022 at 08:39)
- itauto and intuition (8 messages, latest: Apr 26 2022 at 09:47)
- Cannot install via snap (19 messages, latest: Apr 26 2022 at 07:44)
- Snap vs. Flatpak vs. AppImage (12 messages, latest: Apr 25 2022 at 08:59)
- Documenting Platform packages (23 messages, latest: Apr 22 2022 at 16:13)
- Platform support for older Coq versions (9 messages, latest: Apr 21 2022 at 16:32)
- 2022.04 release ready (61 messages, latest: Apr 21 2022 at 13:18)
- Coq Platform and stack overflows (36 messages, latest: Apr 20 2022 at 07:24)
- stream events (2 messages, latest: Apr 16 2022 at 15:21)
- native_compute (18 messages, latest: Apr 16 2022 at 06:44)
- diskuvbox: cross-platform CLI tools (1 message, latest: Apr 14 2022 at 17:24)
- Should I add back OCaml (e.g. for Quickchick) (15 messages, latest: Apr 04 2022 at 18:09)
- 2022.03 or 2022.04 (3 messages, latest: Apr 04 2022 at 15:38)
- ATPs for Coq Hammer in Snap not installed (10 messages, latest: Mar 31 2022 at 12:30)
- Flocq 3 + Flocq 4 dual support in Coq Platform (127 messages, latest: Mar 30 2022 at 09:14)
- Weird opam effect (3 messages, latest: Mar 25 2022 at 10:55)
- Paper on the Platform (2 messages, latest: Mar 23 2022 at 10:31)
- Environment file for CoqIDE (16 messages, latest: Mar 22 2022 at 13:30)
- Coq platform and Debian (1 message, latest: Mar 18 2022 at 12:52)
- Global vs. Export for Platform projects (89 messages, latest: Mar 15 2022 at 12:51)
- AAC Tactics update for next Platform (2 messages, latest: Mar 15 2022 at 08:12)
- About to tag 2022.01.0 (73 messages, latest: Mar 10 2022 at 07:01)
- Docker images for the Coq Platform (32 messages, latest: Mar 09 2022 at 07:31)
- Mailing list (4 messages, latest: Mar 07 2022 at 12:52)
- Possible VST 2.9.1 release (4 messages, latest: Feb 23 2022 at 09:12)
- Coq Platform 8.14~2022.01 on macOS 10.13.6 (6 messages, latest: Feb 18 2022 at 19:54)
- Coq's vibrant ecosystem (23 messages, latest: Feb 05 2022 at 23:15)
- Platform changing switch by default (8 messages, latest: Jan 30 2022 at 21:38)
- VST 2.9 release (10 messages, latest: Jan 26 2022 at 15:38)
- Disabling QuickChick on Windows (also in older picks) (6 messages, latest: Jan 26 2022 at 09:08)
- Coq 8.15 (10 messages, latest: Jan 24 2022 at 13:28)
- Latcdebug (17 messages, latest: Jan 23 2022 at 19:23)
- Coq Platform on Steam (16 messages, latest: Jan 23 2022 at 16:53)
- Opam dev packages (2 messages, latest: Jan 23 2022 at 15:14)
- Naming of the next releases (20 messages, latest: Jan 21 2022 at 11:29)
- CompCert and gcc (7 messages, latest: Jan 20 2022 at 10:50)
- Installation metrics (33 messages, latest: Jan 07 2022 at 15:08)
- something is wrong in ci (1 message, latest: Dec 21 2021 at 10:11)
- 2021.11 status (32 messages, latest: Dec 19 2021 at 15:15)
- QuickChick installation issues (7 messages, latest: Dec 09 2021 at 13:23)
- Meaning of `-pick` suffixes? (7 messages, latest: Dec 03 2021 at 14:54)
- Meaning of `-jobs`? (7 messages, latest: Dec 03 2021 at 13:02)
- M1 performance (1 message, latest: Dec 01 2021 at 11:27)
- Summary of obligations of package maintainers (5 messages, latest: Nov 29 2021 at 19:43)
- axiom auditing of Platform (12 messages, latest: Nov 29 2021 at 13:01)
- Referring to variants of platform releases (31 messages, latest: Nov 26 2021 at 09:05)
- OCaml version (69 messages, latest: Nov 17 2021 at 08:30)
- Testing with multiple OCaml versions (1 message, latest: Nov 16 2021 at 14:11)
- Strange opam effect (78 messages, latest: Nov 15 2021 at 15:03)
- 2021.09 final cleanup (20 messages, latest: Nov 15 2021 at 10:04)
- opam upgrade in the Coq Platform (16 messages, latest: Nov 12 2021 at 16:42)
- Time to announce 2021.09 (46 messages, latest: Nov 08 2021 at 20:32)
- Thoughts on multiple snap packages (6 messages, latest: Nov 08 2021 at 10:13)
- Switched default branch to main (10 messages, latest: Nov 05 2021 at 19:52)
- 32 bit cygwin will discontinue next year (20 messages, latest: Nov 04 2021 at 12:55)
- Release process for Coq and Platform (55 messages, latest: Oct 21 2021 at 13:55)
- Exporting proof assistant libraries (17 messages, latest: Oct 21 2021 at 13:55)
- 2021.09: anything left to do? (33 messages, latest: Oct 19 2021 at 14:11)
- Doc update (8 messages, latest: Oct 19 2021 at 10:56)
- License of Gappa and Coq-Gappa in Opam (9 messages, latest: Oct 15 2021 at 06:22)
- 8.14 platform packages to move from extra-dev to released (5 messages, latest: Oct 07 2021 at 17:22)
- Coq platform on Nix (37 messages, latest: Oct 07 2021 at 13:13)
- Picks for Coq 8.9 ... 8.11 (20 messages, latest: Oct 04 2021 at 14:05)
- Merge opam patch repo to official repo (4 messages, latest: Oct 02 2021 at 17:49)
- LOC size of 2021.09 and later (43 messages, latest: Sep 30 2021 at 16:36)
- OCaml compatibility of 2021.09 (3 messages, latest: Sep 30 2021 at 15:45)
- Sequential build (17 messages, latest: Sep 30 2021 at 11:51)
- 2021.09 picking coming to an end (16 messages, latest: Sep 30 2021 at 08:03)
- Package categories (16 messages, latest: Sep 29 2021 at 17:42)
- Snap description (15 messages, latest: Sep 29 2021 at 11:00)
- CoqHammer (72 messages, latest: Sep 28 2021 at 08:24)
- Snap rework (41 messages, latest: Sep 27 2021 at 16:33)
- Smoke test kit files (3 messages, latest: Sep 26 2021 at 17:33)
- Package picking 8.13~2021.09 (12 messages, latest: Sep 26 2021 at 13:00)
- New Coq Platform master branch (48 messages, latest: Sep 22 2021 at 21:11)
- Snap package failing (15 messages, latest: Sep 18 2021 at 14:25)
- Certifying platform release packages by signature (35 messages, latest: Sep 15 2021 at 08:52)
- Dune version requirements in 2021.09 (15 messages, latest: Sep 12 2021 at 20:49)
- Platform use for research artifacts (49 messages, latest: Sep 12 2021 at 15:11)
- 2021.02 fix release (146 messages, latest: Sep 08 2021 at 13:15)
- Coq Platform 2021.07 (78 messages, latest: Aug 21 2021 at 17:56)
- Snap file (24 messages, latest: Jun 17 2021 at 08:11)
- Next Coq Platform release? (3 messages, latest: Jun 08 2021 at 08:31)
- Overwriting Existing Files? (1 message, latest: May 12 2021 at 16:59)
- Windows icons (8 messages, latest: May 12 2021 at 15:51)
- Windows escaping (15 messages, latest: May 04 2021 at 18:00)
- Coq-HoTT in the platform? (775 messages, latest: Apr 13 2021 at 14:59)
- Shall we have 2021.05? (22 messages, latest: Apr 08 2021 at 06:52)
- Patch Release 2021.02.1 (1 message, latest: Apr 07 2021 at 14:23)
- Question on Windows smoke test kit (11 messages, latest: Feb 28 2021 at 07:58)
- 2021.02.0 release open topics (81 messages, latest: Feb 26 2021 at 17:53)
- Issues with file explorer of CoqIDE on Windows (110 messages, latest: Feb 06 2021 at 14:15)
- Version naming (40 messages, latest: Feb 05 2021 at 13:32)
- Tar on Cygwin32 is broken - what shall we do? (17 messages, latest: Feb 01 2021 at 10:47)
- Long term policy for handling opam packages (13 messages, latest: Jan 31 2021 at 21:35)
- Inria gitlab commit hash tar file changed its hash (18 messages, latest: Jan 31 2021 at 09:12)
- Initial Flatpak bundle for Coq and remarks on Flatpak (8 messages, latest: Jan 18 2021 at 14:00)
- Feedback (1 message, latest: Jan 18 2021 at 12:04)
- Plans on Flatpak for Coq (+ associated libraries)? (16 messages, latest: Jan 18 2021 at 07:13)
- psatz and coinor-csdp (6 messages, latest: Jan 15 2021 at 20:04)
- Linux users, a snap package is finally available (1 message, latest: Jan 12 2021 at 09:51)
- [autoreconf] {dev} (11 messages, latest: Jan 04 2021 at 11:53)
- -compcert=o (2 messages, latest: Jan 03 2021 at 18:58)
- Smoke Test Kit (1 message, latest: Dec 31 2020 at 18:25)
- opam depext in opam-coq-archive CI (18 messages, latest: Dec 30 2020 at 18:10)
- 8.13+beta1 release (250 messages, latest: Dec 30 2020 at 11:20)
- ci (52 messages, latest: Dec 29 2020 at 13:34)
- 8.12.2 release (38 messages, latest: Dec 21 2020 at 11:16)
- 8.13 packages in extra-dev (79 messages, latest: Dec 19 2020 at 14:00)
- Opam help (1 message, latest: Dec 18 2020 at 20:28)
- Branch status (7 messages, latest: Dec 15 2020 at 09:10)
- Failing compilation of VST in 8.12.1 (14 messages, latest: Dec 06 2020 at 17:34)
- How to handle coq relocation in installers (3 messages, latest: Nov 29 2020 at 17:12)
- System components on platforms without sudo (10 messages, latest: Nov 09 2020 at 13:34)
- csdp in the platform? (3 messages, latest: Oct 24 2020 at 21:39)
- Status update (2 messages, latest: Oct 16 2020 at 12:26)
- CECILL licenses and (L)GPL compatibility (120 messages, latest: Oct 13 2020 at 16:01)
- Platform governance (6 messages, latest: Sep 30 2020 at 19:33)
- Elpi not listed in README.md (2 messages, latest: Sep 30 2020 at 16:23)
- GitHub issue management (7 messages, latest: Sep 30 2020 at 15:35)
- Ubuntu 16 support (9 messages, latest: Sep 29 2020 at 07:57)
- Coq platform 8.12.0+beta1 released (12 messages, latest: Sep 19 2020 at 17:46)
- OCaml Platform talk (2 messages, latest: Sep 15 2020 at 07:06)
- Coq template repo (17 messages, latest: Sep 10 2020 at 17:56)
- Mere aggregation vs larger work (12 messages, latest: Sep 05 2020 at 17:00)
- clightgen not getting installed with coq-compcert-64 (28 messages, latest: Sep 02 2020 at 12:39)
- Documenting gotchas in packages (1 message, latest: Sep 02 2020 at 09:31)
- opam os-family values (16 messages, latest: Sep 01 2020 at 13:59)
- GMP and Perl now dependencies of Coq (10 messages, latest: Aug 29 2020 at 15:41)
- C compiler and linker as part of the platform (1 message, latest: Aug 29 2020 at 13:17)
- Marketing the Coq platform (8 messages, latest: Aug 28 2020 at 16:17)
- Platform OCaml versions (13 messages, latest: Aug 26 2020 at 16:21)
- Certifying releases of the platform (13 messages, latest: Aug 26 2020 at 14:17)
- Windows (15 messages, latest: Aug 15 2020 at 13:23)
- Naming of Opam packages (17 messages, latest: Aug 11 2020 at 15:59)
- Opam question (3 messages, latest: Aug 11 2020 at 13:50)
- Coq Platform release naming conventions (16 messages, latest: Aug 11 2020 at 12:59)
- Release 8.12.0.alpha3 (1 message, latest: Aug 10 2020 at 20:47)
- Release 8.11.2.alpha3 (1 message, latest: Aug 10 2020 at 14:45)
- CoqIDE (3 messages, latest: Aug 10 2020 at 11:09)
- License for the platform charter and documentation (14 messages, latest: Aug 09 2020 at 17:16)
- Only maintainers open issues? (15 messages, latest: Aug 06 2020 at 18:20)
- jscoq in platform (8 messages, latest: Aug 06 2020 at 18:09)
- coq2html in platform (27 messages, latest: Aug 05 2020 at 19:49)
- 8.12.0.alpha2 release (2 messages, latest: Aug 05 2020 at 11:36)
- coq-ext-lib (10 messages, latest: Aug 02 2020 at 13:39)
- 8.12.0.alpha1 release (1 message, latest: Jul 30 2020 at 08:52)
- Linux binaries (23 messages, latest: Jul 29 2020 at 14:42)
- Coq Platform Discussion (2 messages, latest: Jul 29 2020 at 14:13)
- 8.12 coq platform release thread (7 messages, latest: Jul 29 2020 at 14:03)
- Relabeling as standard library (10 messages, latest: May 29 2020 at 22:09)
Last updated: Mar 25 2023 at 07:28 UTC