aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/patches/coq-fix-envvars.patch
diff options
context:
space:
mode:
Diffstat (limited to 'gnu/packages/patches/coq-fix-envvars.patch')
0 files changed, 0 insertions, 0 deletions
arm-none-eabi-nano-toolchain-7-2018-q2-update with (make-arm-none-eabi-nano-toolchain-7-2018-q2-update). Series-changes: 2 - Use mlambda for procedures Maxim Cournoyer