yices_bare.drv 3.4 KB