Commit ff673f8

committed

[ fix ] Run bootstrap-install with IDRIS2_PREFIX

1 parent c09c20c commit ff673f8Copy full SHA for ff673f8

3 files changed

+28

-27

lines changed

micropack
- micropack.rkt
- micropack.ss
src/Pack/Runner
- Install.idr

3 files changed

+28

-27

lines changed

Comments

(0)