Commit 2023-01-04 18:18 ba43d2dd

fix: multiple cache bugs (#1333)

• Fix "mathlib" cloned directory (was "Mathlib")
• Fix hash collisions due to files in different paths having the same content
• Fix curl commands that had too many parameters Closes #1323