diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2021-11-21 16:18:07 +0100 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2021-11-21 16:20:57 +0100 |
| commit | 29e9dc49cc104bf606a642627d537e8e496d1fc1 (patch) | |
| tree | 7ea5355d3750d2b4c0471b15a1df8e477bbba11b /gnu/packages/coq.scm | |
| parent | f0a30bf8aac0f2178543f9cd629011eb85f6df48 (diff) | |
gnu: camlboot: Increase max-silent-time.
* gnu/packages/ocaml.scm (camlboot)[properties]: Set max-silent-time to
10 hours.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions