diff options
author | Ricardo Wurmus <rekado@elephly.net> | 2019-01-23 12:08:54 +0100 |
---|---|---|
committer | Ricardo Wurmus <rekado@elephly.net> | 2019-01-23 12:08:54 +0100 |
commit | 2b965485e2f3a8755efff58fc1abad75df3e37a0 (patch) | |
tree | 0f520ddf164f02955c4804fa695334b164bd4d51 /gnu/packages/ocaml.scm | |
parent | 5aaef5c5decbf4dd43dfd1bb8d2a7d9e049a8580 (diff) | |
parent | b2c08402f52b1f80d1c03ce207b596655bbe3cbd (diff) | |
download | patches-2b965485e2f3a8755efff58fc1abad75df3e37a0.tar patches-2b965485e2f3a8755efff58fc1abad75df3e37a0.tar.gz |
Merge branch 'master' into staging
Diffstat (limited to 'gnu/packages/ocaml.scm')
0 files changed, 0 insertions, 0 deletions