This is a workaround for https://github.com/coq/coq/issues/14571
This fixes #114 (closed).
This fixes a regression caused by !270 (merged).
00:04:58
3 years ago
No artifacts found
00:05:36
