diff options
| author | Eric Bavier <bavier@member.fsf.org> | 2016-07-08 16:00:07 -0500 |
|---|---|---|
| committer | Eric Bavier <bavier@member.fsf.org> | 2016-07-20 21:16:24 -0500 |
| commit | 9474a4b3ec568164583a4ca7aa3c01d02ac014da (patch) | |
| tree | 1e22139eddc20650c41ea60e1f2670d757f10766 /ChangeLog | |
| parent | 6876590fd446d23595aa9a8818a37373fabd4ca0 (diff) | |
gnu: openmpi: Make binaries reproducible.
* gnu/packages/mpi.scm (openmpi)[arguments]: Remove timestamps from
source files. Delete installed configure logs.
Diffstat (limited to 'ChangeLog')
0 files changed, 0 insertions, 0 deletions