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

Scoop update for verifpal version v0.15.0

parent a595f8d4
Pipeline #524 passed with stages
in 1 minute and 9 seconds