27 Commits

Author	SHA1	Message	Date
github-actions[bot]	cfaff8dc7b	coq: Update to version 2025.01.0	2025-02-17 16:30:32 +00:00
github-actions[bot]	e1e7b8999d	coq: Update to version 2024.10.0	2024-10-28 16:31:05 +00:00
Hsiao-nan Cheung	85c75f1e10	coq: Fix env_set (#6001)	2024-07-08 23:53:51 +08:00
tech189	4a45a04007	coq: Update to version 2023.11.0, remove 32bit ... Removed 32bit because the binaries are no longer being built: https://github.com/coq/platform/issues/401#issuecomment-1971537818 Added icon to shortcut	2024-03-15 15:54:55 +00:00
Brian	4e9957b731	(chore): Use GitHub repo ID, instead of repo name in checkver (#5215)	2023-10-26 11:13:34 +05:30
github-actions[bot]	a0df98c813	coq: Update to version 2023.03.0	2023-09-18 20:25:19 +00:00
tech189	cfb6542f3d	coq: Update to version 2022.09.1 ... Fix checkver and autoupdate	2023-02-26 22:59:31 +00:00
tech189	7d8c4871cb	coq: Update to version 2022.04.1, fix checkver ... Checkver was failing in Excavator due to GitHub releases HTML not containing release file names, switched to API instead	2022-11-05 00:33:44 +00:00
tech189	ad1b3c6b5f	coq: Update to version 2022.04.0 (#3548)	2022-05-04 17:35:08 +05:30
tech189	a1869a8ae5	coq: Fix license to include its components (#3439)	2022-03-26 23:03:32 +08:00
tech189	db373f5f76	coq: Update to version 2022.01.0 (#3388) ... * coq: update to version 2022.01.0 * coq: remove checkver	2022-03-16 09:30:15 +05:30
Jakub Čábera	ec1220299d	ibmcloud-cli: Update to version 2.1.1	2021-09-24 23:50:47 -07:00
Jakub Čábera	6f9ddc8530	coq: Update to version 2021.02.1	2021-04-24 07:18:53 +02:00
khangp0000	5127a1cc58	coq: Add coqidetop.opt.exe shim (#2003)	2021-04-02 16:33:37 +08:00
github-actions[bot]	533dad331e	coq: hash fix (#1865)	2021-03-08 21:42:12 +08:00
Jakub Čábera	50b4ee820a	coq: Update to version 8.13.1	2021-02-23 08:12:03 +01:00
Jakub Čábera	3a7df1735c	coq: Update to version 8.13.0	2021-01-12 07:53:24 +01:00
Jakub Čábera	97b1a5d70f	coq: Update to version 8.12.2	2020-12-26 08:42:07 +01:00
Jakub Čábera	dbfe27bb21	coq: Update to version 8.12.1	2020-11-17 08:07:10 +01:00
Jakub Čábera	fc1af761ec	coq: Update to version 8.12.0	2020-07-27 21:51:18 +02:00
Jakub Čábera	a95fb49900	coq: Update to version 8.11.2	2020-06-09 21:52:07 +02:00
Ash258	523935ddfe	coq: Update to version 8.11.1	2020-04-10 19:30:23 +02:00
Richard Kuhnt	eb330125d9	coq: Update to version 8.11.0	2020-01-30 08:02:34 +00:00
Richard Kuhnt	7dda45954a	coq: Update to version 8.10.2	2019-11-29 15:00:54 +00:00
Richard Kuhnt	5f3388da53	coq: Update to version 8.10.1	2019-10-28 11:01:50 +00:00
Richard Kuhnt	4222e2a06c	coq: Update to version 8.10.0	2019-10-08 11:03:04 +00:00
linsui	5634a8ad47	coq: move from extra (#323) ... - Use %COQBIN% instead of adding bin to the path - Extract instead of running the installer - Update description - Add shortcut	2019-08-16 15:50:26 +02:00