diff options
| author | Andreas Baumann <mail@andreasbaumann.cc> | 2018-12-01 12:57:57 +0100 |
|---|---|---|
| committer | Andreas Baumann <mail@andreasbaumann.cc> | 2018-12-01 12:57:57 +0100 |
| commit | a2b909b8c06e0bfa13605ffe9ff41535fec16d64 (patch) | |
| tree | 43299cc45a0b4e220e723810d630f8af8fb86aae /community/opam | |
| parent | 008fca945570bb8c41a2c0546007abe27ac8afa7 (diff) | |
| download | packages-a2b909b8c06e0bfa13605ffe9ff41535fec16d64.tar.xz | |
community/gap: fixed chrpath patching for 32-bit
Diffstat (limited to 'community/opam')
0 files changed, 0 insertions, 0 deletions