16 Commits

Author	SHA1	Message	Date
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