stm/workerPool.ml · master · Maxime Dénès / coq

Exceptional GitLab maintenance is scheduled for June 24, 2025. The service will be unavailable between 8:00 am and 9:30 am. Please do not work on the platform until an announcement indicates that maintenance is complete.

Blame

Forked from The Rocq Prover / The Rocq Prover

Source project has a limited visibility.

2 years ago
b26e883c
[internal] Avoid deprecation warnings in OCaml 5.0 · b26e883c
Emilio Gallego authored 2 years ago
```
This should have `make world` working in OCaml 5.0
```
b26e883c

History
[internal] Avoid deprecation warnings in OCaml 5.0
Emilio Gallego authored 2 years ago
```
This should have `make world` working in OCaml 5.0
```

Admin message