Move minacalc to 64bit

etternagame · May 25, 2018 · 92d9cf2 · 92d9cf2
1 parent 09f0461
commit 92d9cf2
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/extern/MinaCalc/libMinaCalc.a b/extern/MinaCalc/libMinaCalc.a