/gnu/store/nr556pyg7xrlrafcsa4wp2rnqzxvf6bs-ghc-ieee754-0.8.0.drv