# This file is updated on every release by the update-version script
passagemath-kissat == 10.8.1rc2
