nixpkgs/doc/languages-frameworks
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-11-28 07:32:10 +01:00
2020-12-07 23:49:36 +01:00
2020-11-28 15:29:04 +01:00
2021-01-11 09:52:27 +01:00