yices_bare.drv 3.53 KB