starkware-libs / stone-prover

Apache License 2.0
254 stars 76 forks source link

Specify the SymPy version in the Dockerfile #31

Open jaehunkim opened 2 months ago

jaehunkim commented 2 months ago

Resolve ImportError: cannot import name 'igcdex' from 'sympy.core.numbers' when building with Docker SymPy was updated last week, and the location of igcdex has changed.

The new version of cairo-lang is still in pre-release, so fix the SymPy version instead.