Skip to content

Commit b88693c

Browse files
committed
Use flint main branch
1 parent f554a0f commit b88693c

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

bin/pyodide_build_flint.sh

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@ set -e
55
# curl -L https://github.com/flintlib/flint/releases/download/v3.2.2/flint-3.2.2.tar.xz -o flint-3.2.2.tar.xz
66
# tar -xf flint-3.2.2.tar.xz
77

8-
git clone https://github.com/fredrik-johansson/flint flint-3.2.2 --branch clear
8+
git clone https://github.com/flintlib/flint flint-3.2.2 --branch main
99

1010
cd flint-3.2.2
1111

0 commit comments

Comments
 (0)