New formula : Cryptoverif 1.19 (clean PR)

Why does this have to be done manually? Also it doesn't seem to be a great idea to move files around after installing.