Anderson Torres a27a2c4b15
Merge pull request #110501 from neosimsim/agda-ghc-ieee754
agda.withPackages: use GHC with ieee754 as default
2021-02-03 15:55:37 -03:00
..
2020-07-31 15:06:53 +10:00
2021-01-11 09:52:27 +01:00
2020-12-09 05:26:55 +01:00
2020-12-09 05:26:55 +01:00
2021-01-19 12:46:51 -05:00
2019-01-08 15:08:42 +00:00