/gnu/store/9rc544lv4ml8vwxgcm67hgczdh7i4w7l-jikes-1.22.drv