coq/dev/build/windows, branch master The formal proof system [win] remove old scripts, we now use the platform ones 2021-01-04T09:18:25+00:00 Enrico Tassi 2020-12-08T14:33:21+00:00 fa7c0f9d55a5a33a0f76ddb0c5794a06117c6914 






Fix failing Windows CI builds.
2020-12-30T14:01:41+00:00

Théo Zimmermann

2020-12-30T10:35:33+00:00

83bce173cf47ce216b656f47cf5fa0215375e127

Following a recent change in Cygwin.

Co-authored-by: Michael Soegtrop <michael.soegtrop@intel.com>





Following a recent change in Cygwin.

Co-authored-by: Michael Soegtrop <michael.soegtrop@intel.com>







Do not load overlay data (workaround to fix CI).
2020-12-18T12:13:10+00:00

Théo Zimmermann

2020-12-18T12:13:10+00:00

c99cf105cc62b640b8b6cc97ad85bdca59aa84fe












[ci/gitlab/windows] Bump OCaml to 4.10.2 to fix Windows CI.
2020-12-17T10:59:25+00:00

Théo Zimmermann

2020-12-17T09:07:47+00:00

e11d3f6d5a5045f38f0a17fb15e9674c714d372f












[ci] bump elpi to 1.12.0
2020-11-26T10:26:59+00:00

Enrico Tassi

2020-11-26T09:10:04+00:00

f3f813a11ac70950d2f5938728bbb337d7873b44












[ci] make compcert use flocq and menhir
2020-11-25T14:59:42+00:00

Enrico Tassi

2020-11-24T08:46:54+00:00

dc8e605d9cadf0d7ead78481e0e68756713f7aa0












[ci/gitlab/windows] Do not load user overlays.
2020-11-15T14:35:43+00:00

Théo Zimmermann

2020-11-15T14:35:43+00:00

c02301699e9014862c52f069a130b8131fd9d692

This was broken since #13177.  We remove support for user overlays in
Windows build instead of fixing it since there is no specific use
case.





This was broken since #13177.  We remove support for user overlays in
Windows build instead of fixing it since there is no specific use
case.







elpi 1.11.4
2020-10-12T09:22:28+00:00

Enrico Tassi

2020-10-12T09:22:28+00:00

ab7b0f26e1742874157b26f1600f2954d3bf44f7












Fix issue #13065 - Windows CI broken
2020-09-23T20:06:36+00:00

Michael Soegtrop

2020-09-23T20:06:36+00:00

768af575bd6336665c094bf6fd8de3d5daf2636b












[zarith] [micromega] Bump to 1.10 and remove some hacks
2020-09-15T13:57:43+00:00

Emilio Jesus Gallego Arias

2020-09-14T16:23:55+00:00

7bf884b7c525092db74ac2effcf1091bd3c3d46c

In particular, behavior of `Z.gcd` and `Z.lcm` has been fixed in
1.10, see

https://github.com/ocaml/Zarith/issues/58





In particular, behavior of `Z.gcd` and `Z.lcm` has been fixed in
1.10, see

https://github.com/ocaml/Zarith/issues/58