qsharp-core==0.25.228015b1
