Commit ed0fc44d authored by drone's avatar drone Committed by Nadim Kobeissi

Scoop update for verifpal version v0.21.5

parent 147c7332
Pipeline #841 passed with stages
in 2 minutes and 4 seconds