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

Scoop update for verifpal version v0.18.1

parent 27b2af68
Pipeline #683 passed with stages
in 2 minutes and 19 seconds