nixpkgs/pkgs/build-support/agda
Alexander Ben Nasrallah b4b4e36921
agda.withPackages: use GHC with ieee754 as default
As mentioned in the package description of ieee on Hackage,
ieee is deprecated in favor of ieee754.
2021-01-22 16:13:46 +01:00
..
default.nix agda.withPackages: use GHC with ieee754 as default 2021-01-22 16:13:46 +01:00