/gnu/store/65him2b02r99zk5k2sf3qd85xa3ncgh9-ghc-ieee754-0.8.0.drv