Stream: Coq Platform devs & users

Topics:

• Convergence of auto, eauto and typeclasses eauto tactics? (2 messages, latest: Oct 08 2024 at 06:16)
• Coq Platform 8.19 release, or beta release? (126 messages, latest: Oct 03 2024 at 13:25)
• Opam and platform docs (5 messages, latest: Sep 23 2024 at 09:39)
• [Job Offer] Production Engineer for the Coq Platform (13 messages, latest: Sep 18 2024 at 13:03)
• Do we need a replacement for snap? (173 messages, latest: Aug 16 2024 at 23:37)
• Run Coq Platform install scripts with custom Coq build (3 messages, latest: Aug 13 2024 at 16:27)
• Build script for Windows fails (23 messages, latest: Jul 26 2024 at 12:29)
• Help with z3 for snap (11 messages, latest: Jul 22 2024 at 16:49)
• Tactician in the Platform (8 messages, latest: Jul 19 2024 at 02:11)
• Guix packages (18 messages, latest: Jul 18 2024 at 12:21)
• Platform 8.19 packages (44 messages, latest: Jul 17 2024 at 09:50)
• 8.20 compatibility (1 message, latest: Jun 30 2024 at 11:29)
• Lablgtk upstream fix (7 messages, latest: Jun 20 2024 at 07:52)
• broken links / missing installers? (3 messages, latest: Jun 11 2024 at 16:13)
• In need of a review for a tutorial about Require and Import (2 messages, latest: Jun 01 2024 at 17:06)
• Issue ubuntu 24.04 (35 messages, latest: May 16 2024 at 18:39)
• 2023.11 release (41 messages, latest: Apr 25 2024 at 12:29)
• *Need help* testing on MacOS Sonoma (1 message, latest: Apr 22 2024 at 12:45)
• Installing Tactician through Coq Platform (23 messages, latest: Apr 12 2024 at 08:23)
• coq platform and nixpkgs (54 messages, latest: Apr 09 2024 at 10:49)
• latest coq platform failures on Mac M2 (18 messages, latest: Mar 27 2024 at 13:58)
• Windows failure likely due to opam change since tonight (12 messages, latest: Mar 20 2024 at 19:00)
• Proposal maintainer approvals (3 messages, latest: Jan 29 2024 at 18:25)
• Platform board (21 messages, latest: Jan 22 2024 at 14:01)
• Coq 8.17 platform with OCaml 5.0? (24 messages, latest: Jan 08 2024 at 18:35)
• Coq on Steam Deck (6 messages, latest: Jan 08 2024 at 11:32)
• Issues with cygwin (7 messages, latest: Dec 21 2023 at 13:09)
• Platform on Windows SE question (3 messages, latest: Dec 18 2023 at 16:34)
• MathComp 2.0 in 8.18 Platform? (27 messages, latest: Dec 07 2023 at 15:36)
• ✔ MPI-SWS GitLab down (2 messages, latest: Dec 05 2023 at 14:57)
• OCaml Platform (3 messages, latest: Dec 04 2023 at 10:06)
• ✔ Q on installing from source on Ubuntu (2 messages, latest: Nov 28 2023 at 11:14)
• Q on installing from source on Ubuntu (13 messages, latest: Nov 28 2023 at 10:44)
• Determine path length from source tree (15 messages, latest: Nov 23 2023 at 10:02)
• Updated picks for previous Coq version (10 messages, latest: Nov 23 2023 at 09:57)
• Inter-library conflicts (12 messages, latest: Nov 22 2023 at 07:34)
• What to expect from install script (20 messages, latest: Nov 17 2023 at 08:06)
• VST 2.13 (11 messages, latest: Nov 08 2023 at 21:32)
• ✔ sertop missing in 8.17.1 (47 messages, latest: Nov 06 2023 at 11:48)
• Focus and Unfocus commands (1 message, latest: Nov 06 2023 at 07:24)
• (no topic) (1 message, latest: Nov 06 2023 at 00:00)
• sertop missing in 8.17.1 (9 messages, latest: Nov 03 2023 at 12:56)
• Plans for new inclusions (13 messages, latest: Oct 20 2023 at 18:29)
• Help with opam CompCert 3.13 in 8.18 platform (6 messages, latest: Oct 09 2023 at 09:18)
• Process to add new package (10 messages, latest: Oct 04 2023 at 07:20)
• coq-native (60 messages, latest: Sep 25 2023 at 17:11)
• 2023.03 (Coq 8.17.1) release ready for review (42 messages, latest: Sep 18 2023 at 16:52)
• 8.16 is the "latest" version in Coq platform (10 messages, latest: Sep 18 2023 at 12:14)
• Windows and `make` (74 messages, latest: Sep 15 2023 at 07:11)
• Windows Distribution (5 messages, latest: Sep 14 2023 at 11:38)
• ci-bignums.sh fails on my system (4 messages, latest: Sep 13 2023 at 07:20)
• schedule for next Coq Platform release? (4 messages, latest: Sep 12 2023 at 07:28)
• Platform release for 8.17 (9 messages, latest: Sep 07 2023 at 09:56)
• Install only coq and its dependencies (16 messages, latest: Aug 28 2023 at 08:08)
• Symbol for Platform? (31 messages, latest: Aug 28 2023 at 07:43)
• Plugin releases for 8.18 (2 messages, latest: Aug 21 2023 at 14:30)
• Order of package picks (4 messages, latest: Aug 18 2023 at 15:04)
• Coq and production level (5 messages, latest: Aug 18 2023 at 14:02)
• About to release 2023.03 - Coq 8.17.1 (144 messages, latest: Aug 16 2023 at 20:22)
• Use on GitHub CI (10 messages, latest: Aug 07 2023 at 09:29)
• About to release (6 messages, latest: Aug 04 2023 at 12:00)
• Snap discussion (21 messages, latest: Aug 03 2023 at 08:28)
• Status update (21 messages, latest: Aug 02 2023 at 13:50)
• OCaml variant for 2023.03 (50 messages, latest: Jul 10 2023 at 08:31)
• Strange command length limit on Linux (78 messages, latest: Jun 09 2023 at 14:23)
• Platform package documentation (44 messages, latest: May 03 2023 at 15:54)
• Logpath for coq-vst-32 and coq-compcert-32 (2 messages, latest: Apr 28 2023 at 14:19)
• "Please pick" issues for packages with Coq versioning (16 messages, latest: Apr 27 2023 at 14:18)
• opam publish advice (29 messages, latest: Apr 18 2023 at 12:03)
• 2022.03.0 release (12 messages, latest: Apr 17 2023 at 12:46)
• VST continuous integration (4 messages, latest: Mar 31 2023 at 20:17)
• 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)
• 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: Oct 13 2024 at 01:02 UTC