mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-21 21:23:06 +00:00
a27a2c4b15
agda.withPackages: use GHC with ieee754 as default |
||
---|---|---|
.. | ||
builders | ||
contributing | ||
doc-support | ||
functions | ||
languages-frameworks | ||
old | ||
stdenv | ||
using | ||
.gitignore | ||
default.nix | ||
functions.xml | ||
Makefile | ||
manual.xml | ||
overrides.css | ||
preface.chapter.md | ||
release-notes.xml | ||
shell.nix | ||
style.css |