1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-21 05:00:16 +00:00
nixpkgs/doc
Gabor Greif 7932fb22cb ghcHEAD: bump to 8.11.20200403 (#84217)
* ghcHEAD: bump to 8.11.20200403

* ghcHead: reduce diff vs. 8.10.1

dontAddExtraLibs was removed by accident (IMO) in ea19a8ed1e

* ghcHEAD: add ability to use system libffi

- enable nixpkgs' libffi
- minimise diffs against 8.10.1
- remove patching

* remove configure warning about --with-curses-includes

configure: WARNING: unrecognized options: --with-curses-includes
2020-04-17 20:50:48 +02:00
..
builders doc/ociTools: exec is a shell builtin, not an external command 2020-02-16 17:41:06 +00:00
contributing jdiskreport: remove builder.sh link from docs 2020-02-10 20:17:59 +01:00
doc-support Revert "make-tarball.nix: Restore the 'commit' field in packages.json" 2020-03-29 20:57:50 +02:00
functions Merge pull request #68491 from roberth/fix-dontRecurseIntoAttrs 2020-03-01 11:05:34 +01:00
languages-frameworks ghcHEAD: bump to 8.11.20200403 (#84217) 2020-04-17 20:50:48 +02:00
old reewide: Purge all uses stdenv.system and top-level system 2018-08-30 17:20:32 -04:00
stdenv doc/stdenv: Update default for stripDebugList. 2020-04-06 21:26:52 -07:00
using Merge branch 'wrapper-pname-support-19.09' into wrapper-pname-support 2019-11-24 17:37:19 +00:00
.gitignore doc: format the documentation (#57102) 2019-03-08 21:07:11 -08:00
default.nix doc: move parameters to an XML file 2019-07-04 09:16:06 -04:00
functions.xml doc: move fhs and mkShell under builders/special 2019-10-21 11:39:46 +02:00
Makefile nixpkgs manual: fix build after pandoc(?) update 2020-03-02 08:24:54 +01:00
manual.xml nixpkgs manual: move builders into one folder 2019-10-30 11:17:14 +01:00
overrides.css doc: Make callout marks in code unselectable 2020-01-14 15:24:57 +01:00
preface.chapter.md nixpkgs manual preface: change howoldis link to status page link 2020-04-02 21:52:44 -04:00
release-notes.xml doc: re-format 2019-09-18 22:12:54 +02:00
shell.nix Generate links to function definitions 2018-10-05 11:20:46 -04:00
style.css manual: limit text width 2019-01-08 15:08:42 +00:00