Verifpal 0.19.5

2 jobs for master