coq/dev/build, branch master The formal proof system Remove macOS dmg build. 2021-04-16T10:10:45+00:00 Théo Zimmermann 2021-04-16T10:10:45+00:00 ed4a399cd7d7738c920aafabff749c742ef1ebc8 Now that the platform takes care of it. 
Now that the platform takes care of it.
Merge PR #13740: [osx] macpack also coqidetop (for libgmp) 2021-01-13T20:36:07+00:00 Michael Soegtrop 2021-01-13T20:36:07+00:00 b8a3ebaa9695596f062298f5913ae4f4debb0124 Reviewed-by: MSoegtropIMC 
Reviewed-by: MSoegtropIMC
[osx] macpack all binaries, not just coqide 2021-01-12T10:05:28+00:00 Enrico Tassi 2021-01-11T20:09:28+00:00 d784ac437a3924324f88f1e06e398d326f847ab4 






[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.