Commit 9a6d4818 authored by drone's avatar drone Committed by Nadim Kobeissi

Scoop update for verifpal version v0.15.5

parent 7972ed78
Pipeline #561 passed with stages
in 39 seconds