diff options
| author | Nick Cao <nickcao@nichi.co> | 2022-11-21 15:55:07 +0800 |
|---|---|---|
| committer | Nick Cao <nickcao@nichi.co> | 2022-11-21 15:56:57 +0800 |
| commit | aec0480b206405db7b55d5699d6166ca122cac04 (patch) | |
| tree | 0bc9fa116c1dfecb7a661c894eef873ff6f95dac /pkgs/development/coq-modules | |
| parent | 801b38a29cd6d30080b12fa8559527fc4373f19c (diff) | |
guile_2_2: use correct version of guile for cross compilation
Diffstat (limited to 'pkgs/development/coq-modules')
0 files changed, 0 insertions, 0 deletions