diff options
| author | Jakub Kądziołka <kuba@kadziolka.net> | 2020-03-29 20:34:47 +0200 |
|---|---|---|
| committer | Jakub Kądziołka <kuba@kadziolka.net> | 2020-03-29 20:35:33 +0200 |
| commit | 8b87d095b39dee91056b88f96b374faa8c3a8891 (patch) | |
| tree | e74239496644593ba939904c3ad574065ead9570 /gnu/packages/patches/java-commons-collections-fix-java8.patch | |
| parent | 04950d1ff6816d69723bbb176483dfbe230dcf41 (diff) | |
gnu: z3: Fix build determinism.
* gnu/packages/maths.scm (z3)[arguments]: Add a phase to set
PYTHONHASHSEED=0.
Diffstat (limited to 'gnu/packages/patches/java-commons-collections-fix-java8.patch')
0 files changed, 0 insertions, 0 deletions