alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity
371882 commits 217 branches 121 tags 4.5 GiB
Commit graph

1963 commits

Author SHA1 Message Date
Sandro 226b043cef
doc/contributing: clarify stdenv.lib deprecation 2021-04-30 11:05:39 +02:00
Domen Kožar ba6f0e8f03
Merge pull request #110491 from neosimsim/agda-doc-fix-install-command 
agda: fix code snippet for installing Agda
 2021-04-27 17:40:36 +02:00
Patrick Hilhorst 04f82b9ebd doc/submitting-changes: remove incorrect remark 
Tests don't only apply to NixOS modules, see for example tests/vscodium
 2021-04-26 11:47:42 -04:00
John Ericson 14b427a7e4
Merge pull request #119092 from numinit/update-androidenv 
androidenv: Allow multiple ndkVersions to be specified
 2021-04-25 10:08:05 -04:00
fricklerhandwerk c30fe24120 docs/using: shellSession -> ShellSession 
Co-authored-by: Jan Tojnar <jtojnar@gmail.com>
 2021-04-25 10:31:02 +02:00
Jan Tojnar 0f1c4558d3
Merge branch 'master' into staging-next 
Choose binwalk 2.3.1, 27 is legacy version for Python 2.
 2021-04-25 02:50:48 +02:00
Morgan Jones a7e5b070be androidenv: Allow multiple ndkVersions to be specified 
Android is deprecating ndk.dir in favor of specifying exact NDK
version in Gradle configuration. Ensure that we can support multiple
NDKs, and link them into the location the Android Gradle Plugin expects.
 2021-04-24 15:56:08 -06:00
davidak c357fbeb51 doc: add instructions for creating package tests 2021-04-24 18:39:45 +02:00
Jan Tojnar ac0319febf
Merge pull request #120231 from bobby285271/master 
doc: Convert builders/images/* to markdown
 2021-04-24 16:36:26 +02:00
Bobby Rong 228276fbd0 doc/builders/images/*.xml: Convert to markdown 2021-04-24 09:06:33 +08:00
Alexander Ben Nasrallah 4e8641a415 agda: extend agda language frameworks manual section 
- add code snippets
- be more detailed on some aspects
 2021-04-23 18:31:04 +02:00
Alyssa Ross 4f4d95bbc2
Merge remote-tracking branch 'nixpkgs/master' into staging-next 
Conflicts:
	pkgs/development/python-modules/pyvex/default.nix
	pkgs/top-level/python-packages.nix
 2021-04-23 13:49:12 +00:00
fricklerhandwerk d8b5ed331d doc/using: convert to markdown 2021-04-23 12:02:07 +02:00
Bobby Rong 0fd55565d3 doc/contributing/*.xml: Convert to markdown 2021-04-23 12:53:58 +08:00
github-actions[bot] 8248f4db36
Merge master into staging-next 2021-04-22 06:05:51 +00:00
Sandro 9419ed621f
Merge pull request #108919 from bryanasdev000/doc-dlib 
dlib: Update doc to use CommonMark
 2021-04-22 03:35:39 +02:00
Sandro 2df2e5f330
Merge pull request #118269 from midchildan/feat/fuse/add-darwin 2021-04-22 03:27:36 +02:00
github-actions[bot] 77694c34c6
Merge master into staging-next 2021-04-22 00:16:15 +00:00
Samuel Dionne-Riel 5ce39b7ee1
Merge pull request #116475 from davidak/doc-remove-packages 
doc: add instructions to remove a package
 2021-04-21 20:14:24 -04:00
github-actions[bot] 99c7bab106
Merge master into staging-next 2021-04-21 00:15:20 +00:00
davidak c0b5d5bb9e doc: add instructions to remove a package 
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
Co-authored-by: Ben Siraphob <bensiraphob@gmail.com>
 2021-04-20 22:29:52 +02:00
Adrian Hesketh f86b57d708
Include custom package in vim docs (#92811) 
Describe how to package a plugin that doesn't exist in nixpkgs (and also how to include an external file).

Co-authored-by: Jörg Thalheim <Mic92@users.noreply.github.com>
 2021-04-20 21:28:06 +01:00
github-actions[bot] 960439e003
Merge master into staging-next 2021-04-20 12:06:46 +00:00
Evils 7b5850ee1b docs: correct some english 2021-04-20 02:52:09 +02:00
midchildan 80651c123e
docs: add FUSE packaging tip for Darwin 2021-04-20 00:52:07 +09:00
Bryan A. S a1e28d3740 doc/builders/packages/dlib.xml: Convert to markdown 
Signed-off-by: Bryan A. S <bryanasdev000@gmail.com>
 2021-04-13 03:40:27 -03:00
Luke Granger-Brown 08b22e605b Merge remote-tracking branch 'upstream/staging-next' into down-integrate-staging 2021-04-12 18:49:01 +00:00
Sandro e355946df1
Merge pull request #103546 from mnacamura/cdda-small-fix 2021-04-12 16:31:01 +02:00
Emery Hemingway 29bc87e961 Fix "platfrom" typos 2021-04-10 17:10:50 +02:00
Alexander Bantyev 544664d484
Merge pull request #112477 from happysalada/fix_build_mix 
buildMix: fix: initial try
 2021-04-09 12:09:22 +03:00
happysalada 481832b32d beam-modules: buildMix -> mixRelease 2021-04-08 20:54:48 +09:00
Robert Hensing 58b21dea78
Merge pull request #116749 from vroad/docker-layered-image-fakeroot 
dockerTools.streamLayeredImage: add fakeRootCommands option
 2021-04-07 15:02:24 +02:00
Sandro 3a6116c550
Merge pull request #116257 from SuperSandro2000/code-fences 
doc/languages-frameworks/*: add missing languages to code fences
 2021-04-05 05:38:38 +02:00
Sandro Jäckel 2c143a4614 doc/languages-frameworks/*: add missing languages to code fences 
convert shell -> ShellSession
 2021-04-05 05:23:19 +02:00
sternenseemann cf8da7eabd doc/stdenv/cross: fix typo 2021-04-02 10:03:00 +02:00
Sandro 899cfc82b9
Delete citrix.xml 2021-04-01 09:38:47 +02:00
Ryan Mulligan 86eedf1785
Merge pull request #108918 from bryanasdev000/doc-citrix 
citrix: Update doc to use CommonMark
 2021-03-31 22:02:52 -07:00
Ryan Mulligan d9b57bfc2c
Merge pull request #108917 from bryanasdev000/doc-ocitools 
ocitools: Update doc to use CommonMark
 2021-03-31 21:51:38 -07:00
github-actions[bot] f7049b343c
Merge master into staging-next 2021-03-29 18:13:15 +00:00
Doron Behar c2b66f2702
Merge pull request #98734 from ju1m/zerobin 2021-03-29 17:18:29 +00:00
github-actions[bot] eb499aa20e
Merge master into staging-next 2021-03-25 00:17:22 +00:00
Bernardo Meurer fa9cd72c09
Merge pull request #117360 from midchildan/feat/fuse/darwin 
fuse: use macfuse-stubs instead on Darwin
 2021-03-24 21:18:40 +00:00
github-actions[bot] 380cb1e995
Merge master into staging-next 2021-03-24 12:11:57 +00:00
Robert Schütz 7dfc2d269b
doc: improve Python section (#116344) 
Avoid confusion as in https://github.com/NixOS/nixpkgs/pull/116325#discussion_r593946638.
 2021-03-24 13:03:31 +01:00
github-actions[bot] 2417360191
Merge master into staging-next 2021-03-24 00:41:10 +00:00
vroad c420e650c9
dockerTools.streamLayeredImage: Update documentation 
Co-authored-by: Robert Hensing <roberth@users.noreply.github.com>
 2021-03-24 08:24:21 +09:00
Benjamin Hipple 561cc81ee6
Merge pull request #115857 from lbpdt/feature/docker-tools-layered-base-image 
dockerTools.buildLayeredImage: support fromImage
 2021-03-23 18:15:34 -04:00
midchildan b67362d7f7
doc: add section for FUSE 2021-03-24 02:22:15 +09:00
Louis Blin aae8588182 dockerTools.buildLayeredImage: support fromImage 
It is now possible to pass a `fromImage` to `buildLayeredImage` and
`streamLayeredImage`, similar to what `buildImage` currently supports.

This will prepend the layers of the given base image to the resulting
image, while ensuring that at most `maxLayers` are used. It will also
ensure that environment variables from the base image are propagated
to the final image.
 2021-03-23 14:50:42 +00:00
Bryan A. S fdc7280a87 doc/builders/images/ocitools.xml: Convert to markdown 
Signed-off-by: Bryan A. S <bryanasdev000@gmail.com>
 2021-03-22 20:13:51 -03:00
Bryan A. S dd50188f4b doc/builders/packages/citrix.xml: Convert to markdown 
Signed-off-by: Bryan A. S <bryanasdev000@gmail.com>
 2021-03-22 20:10:21 -03:00
github-actions[bot] b0455cafa7
Merge master into staging-next 2021-03-21 06:17:15 +00:00
Sandro faa9541165
Merge pull request #108921 from bryanasdev000/doc-ibus 
ibus: Update doc to use CommonMark
 2021-03-21 05:35:04 +01:00
github-actions[bot] 6e3a55e059
Merge staging-next into staging 2021-03-19 18:19:40 +00:00
Frederik Rietdijk 1ecb97eae9 Merge master into staging-next 2021-03-19 18:17:01 +01:00
Katharina Fey 29df3bc24c
doc: fix code formatting 2021-03-19 13:37:27 +01:00
github-actions[bot] 29278dcf45
Merge staging-next into staging 2021-03-19 12:26:59 +00:00
github-actions[bot] c804f22a81
Merge master into staging-next 2021-03-19 12:26:52 +00:00
Christian Kauhaus 260f5970d0
Merge pull request #116459 from Pamplemousse/document_vulnerability_roundup 
documentation: Add content about Vulnerability roundups
 2021-03-19 09:12:04 +01:00
vroad 2dce2253bc dockerTools.streamLayeredImage: document fakeRootCommands 2021-03-19 11:54:13 +09:00
Pamplemousse 1adef4a878 documentation: Add content about Vulnerability roundups 
Signed-off-by: Pamplemousse <xav.maso@gmail.com>
 2021-03-17 13:39:24 -07:00
github-actions[bot] 1398d44bac
Merge staging-next into staging 2021-03-16 00:39:16 +00:00
github-actions[bot] d18aaddde4
Merge master into staging-next 2021-03-16 00:39:08 +00:00
Sarah Brofeldt 2183d976f4
Merge pull request #116294 from StillerHarpo/doc 
Fix type description for attrByPath
 2021-03-15 19:35:26 +01:00
github-actions[bot] cc6e2d60db
Merge staging-next into staging 2021-03-14 18:17:15 +00:00
Martin Weinelt 0241873f7f
Merge branch 'master' into staging-next 2021-03-14 17:35:32 +01:00
Jan Tojnar 99fe978702
Merge pull request #113881 from jtojnar/stdenv.md 
doc: Port stdenv to Markdown
 2021-03-14 15:45:49 +01:00
github-actions[bot] 977005c64f
Merge staging-next into staging 2021-03-14 12:21:14 +00:00
github-actions[bot] 8c04f70ddd
Merge master into staging-next 2021-03-14 12:21:07 +00:00
Florian Engel 3329093c6a Remove repeating words from doc 2021-03-14 12:15:34 +01:00
Florian Engel 22cb630a66 Fix type description for attrByPath 
The output type was missing
 2021-03-14 10:27:26 +01:00
Jan Tojnar f854ee87f0
doc: Port stdenv to Markdown 
Added the following ids to avoid possible id conflicts from ids auto-generated from titles:

- setup-hook-perl
- setup-hook-python
- setup-hook-pkg-config
- setup-hook-automake
- setup-hook-autoconf
- setup-hook-libxml2
- setup-hook-gdk-pixbuf
 2021-03-14 02:18:52 +01:00
Jan Tojnar 53830ca04c
doc: Port stdenv/multiple-output to Markdown 2021-03-14 02:18:40 +01:00
Jan Tojnar 921d0269cc
doc: Port stdenv/meta to Markdown 2021-03-14 02:15:14 +01:00
Frederik Rietdijk a6a9548a32 python docs: update another incorrect claim regarding default interpreter 2021-03-13 14:14:06 +01:00
Frederik Rietdijk a9faf404c8 python docs: fix note regarding default interpreter 2021-03-13 14:11:31 +01:00
Frederik Rietdijk 9d03ff5222 python: reproducible builds 
Achieve reproducible builds of the interpreter. Note this meant
disabling optimizations again.
 2021-03-13 13:11:50 +01:00
Julien Moutinho a9ce4c4a0e zerobin: 20160108 -> 1.0.5 2021-03-13 13:06:06 +01:00
github-actions[bot] b4d5951d9e
Merge master into staging-next 2021-03-11 12:21:28 +00:00
Michael Weiss 938453eacd
Merge pull request #102225 from luc65r/fetchsrht 
Add fetcher: fetchFromSourcehut
 2021-03-11 12:51:13 +01:00
github-actions[bot] 6a3a358b0d
Merge master into staging-next 2021-03-10 18:23:15 +00:00
Benjamin Hipple 7ff22cb08c
Merge pull request #115651 from bhipple/doc/dockertools-cleanup 
doc: remove unnecessary \ escapes in dockertools.section.md
 2021-03-10 13:09:53 -05:00
Cyril Cohen 1550a4fe6b
coqPackages.multinomials: 1.5.2 -> 1.5.4 (#115427) 
- This is the first packages which uses Dune in order to build and install
  so I had to refactor build-support/coq/default.nix in order to support it.
- I added a new feature: one can now release.v.sha256 empty to try to download
  with a fake sha256, hence failures are reported and one can copy paste the
  sha256 given by the error message.
- I updated the documentation of languages-frameworks/coq.section.md accordingly.
 2021-03-10 16:25:32 +01:00
Benjamin Hipple 9c4353833f doc: remove unnecessary \ escapes in dockertools.section.md 
These pollute the plain text and, after re-running `nix-build` and looking at
the result, do not appear to have any impact on the rendered version.
 2021-03-09 19:02:56 -05:00
github-actions[bot] 5c2a7abde7
Merge master into staging-next 2021-03-08 18:22:56 +00:00
luc65r 83a0627f33
fetchFromSourcehut: init 2021-03-08 15:51:24 +01:00
Robert Schütz 11f4fa4a22 doc: mention up-to-date tools for generating Python expressions 2021-03-08 11:06:24 +01:00
github-actions[bot] dcea8212b5
Merge staging-next into staging 2021-03-07 12:20:40 +00:00
Jörg Thalheim 247c6f4ce3
Merge pull request #115322 from dotlambda/doc-lt 
doc: replace &lt; with < in Markdown
 2021-03-07 11:47:39 +00:00
Robert Schütz 52de3976b8 doc: replace &lt; with < in Markdown 2021-03-07 11:40:18 +01:00
Robert Hensing b53965f1d2 doc/README.md: Add more links 2021-03-06 12:35:33 +01:00
Jan Tojnar 6d1958ad2d
Merge branch 'staging-next' into staging 2021-03-04 22:16:45 +01:00
Robert Hensing 7d551ead60 doc: Format 2021-03-04 18:10:57 +01:00
Robert Hensing 0a4a486096 doc/README.md: init 2021-03-04 18:10:39 +01:00
Robert Hensing 16b327c0b4
Merge pull request #108914 from bryanasdev000/doc-dockertools 
dockertools: Update doc to use CommonMark
 2021-03-04 18:01:39 +01:00
Robert Hensing a1cf35fbfd doc/builders/images/dockertools.section.md: Fix link labels 2021-03-04 17:44:33 +01:00
Bryan A. S 5a1a08c0a7 doc/builders/images/dockertools.section.md: Fix anchor errors 
Also change note notation

Signed-off-by: Bryan A. S <bryanasdev000@gmail.com>
 2021-03-04 17:18:18 +01:00
Bryan A. S 06e40b3caf doc/builders/images/dockertools.section.md: Indent nix code 
Signed-off-by: Bryan A. S <bryanasdev000@gmail.com>
 2021-03-04 17:18:17 +01:00
Bryan A. S 4b99dbbbcc doc/builders/images/dockertools.xml: Convert to markdown and start improvements 
Need to verify things like `error: IDREF "" without matching ID` and `::: {.note}`

Signed-off-by: Bryan A. S <bryanasdev000@gmail.com>
 2021-03-04 17:18:17 +01:00
github-actions[bot] eef2c4e401
Merge staging-next into staging 2021-03-03 00:38:15 +00:00
Sandro d83c76ef5b
Merge pull request #113062 from SuperSandro2000/outputs-update 
doc: update multiple output section with more example paths
 2021-03-03 01:27:20 +01:00
Max Hausch ebe3ae4d4d
buildRustPackage: Add cargoTestFlags 
This makes it possible to pass flags to `cargo test`, which is needed if
a crate is compiled with custom feature flags.
 2021-03-02 09:45:26 +01:00
Max Hausch fa62f37160
doc: rust: Fix code blocks in markdown 
And add a word
 2021-03-02 09:40:58 +01:00
Jan Tojnar 913394a1d9
Merge branch 'staging-next' into staging 2021-03-01 19:30:56 +01:00
Jonathan Ringer 6ed55034ee doc/python: reword sorting gaurentee to be stronger 2021-02-28 16:18:58 -08:00
Daniël de Kok c50a347cb5 buildRustPackage: use checkType argument 
The `checkType` argument of buildRustPackage was not used anymore
since the refactoring of `buildRustPackage` into hooks. This was
an oversight that is fixed by this change.

The check type can also be passed directly to cargoCheckHook using the
`cargoCheckType` environment variable.
 2021-02-26 11:57:27 +01:00
Frederik Rietdijk c456a2512f Merge master into staging-next 2021-02-26 10:25:13 +01:00
WORLDofPEACE 4b10920ed1
stdenv/check-meta: change to allowlist and blocklist (#114127) 
* stdenv/check-meta: change to allowlist and blocklist

* Update pkgs/stdenv/generic/check-meta.nix

Co-authored-by: Graham Christensen <graham@grahamc.com>
 2021-02-23 10:25:18 -05:00
Graham Christensen 3ef281c3a2
Merge pull request #113176 from danieldk/cargoDepsName 
buildRustPackage: add cargoDepsName attribute
 2021-02-23 10:02:45 -05:00
github-actions[bot] 227aa2c9b0
Merge master into staging-next 2021-02-22 06:17:05 +00:00
Ben Siraphob 251897b40d stdenv/cross-compilation: add section on avoiding cross-compiling GCC 2021-02-22 10:57:30 +07:00
github-actions[bot] 93b17c1b4d
Merge master into staging-next 2021-02-21 18:17:22 +00:00
Ben Siraphob 4550d6596b docs/stdenv/cross-compilation: add binutils command section to cookbook 2021-02-21 21:56:48 +07:00
Léo Gaspard 037936b7a3
Merge pull request #107322 from sternenseemann/fetch-github-leavedotgit 
fetchFromGitHub: also use git if deepClone or leaveDotGit is used
 2021-02-21 13:28:00 +01:00
github-actions[bot] 2c8fa86436
Merge master into staging-next 2021-02-21 06:16:32 +00:00
Ben Siraphob 92d319d5d5
doc/stdenv/platform-notes: convert to markdown 2021-02-21 06:45:21 +01:00
Jan Tojnar 8f50f1ce10
Merge branch 'staging-next' into staging 
Resolved the following conflicts:

- kernel flags between 09176d28a0 and 2b28822d8d
- clojure-lsp between 3fa00685ce and e03c068af5
 2021-02-19 17:15:31 +01:00
Thomas Bereknyei 9c4839fe86 docs: clarify staging 
Specify that the merges from master to staging-next to staging are
performed by GitHub actions. This helps the reader understand the
relationship between the branches.
 2021-02-19 07:56:09 +01:00
Sandro 36ef53d337
Merge pull request #113167 from mweinelt/pytestcheckhook-paths 
pytestCheckHook: add support for disabling arbitrary paths
 2021-02-18 16:59:22 +01:00
Jörg Thalheim 236b56c94d
Merge pull request #113193 from danieldk/cargo-install-hook 2021-02-18 00:02:03 +00:00
github-actions[bot] c0f4dcb71d
Merge staging-next into staging 2021-02-16 18:17:00 +00:00
github-actions[bot] 287495a7aa
Merge master into staging-next 2021-02-16 18:16:57 +00:00
Niklaus Giger 76561002c2
doc: Convert Eclipse from Docbook to CommonMark 
Fixes: https://github.com/NixOS/nixpkgs/issues/105251
 2021-02-16 18:58:14 +01:00
Daniël de Kok 05e40e79a8 buildRustPackage: factor out check phase to cargoCheckHook 
API change:

`cargoParallelTestThreads` suggests that this attribute sets the
number of threads used during tests, while it is actually a boolean
option (use 1 thread or NIX_BUILD_CORES threads). In the hook, this
is replaced by a more canonical name `dontUseCargoParallelTests`.
 2021-02-16 08:09:15 +01:00
Daniël de Kok 9757c7101a buildRustPackage: factor out install phase to cargoInstallHook 2021-02-15 12:17:18 +01:00
Daniël de Kok d92396039d buildRustPackage: add cargoDepsName attribute 
The directory in the tarball of vendored dependencies contains `name`,
which is by default set to `${pname}-${version}`. This adds an
additional attribute to permit setting the name to something of the
user's choosing.

Since `cargoSha256`/`cargoHash` depend on the name of the directory of
vendored dependencies, `cargoDepsName` can be used to e.g. make the
hash invariant to the package version by setting `cargoDepsName =
pname`.
 2021-02-15 07:06:31 +01:00
Martin Weinelt d6d63aef7d
pytestCheckHook: add support for disabling arbitrary paths 
Renames `disabledTestFiles` to the more genereric `disabledTestPaths` to
reflect that change.
 2021-02-15 00:34:35 +01:00
Jörg Thalheim b5b47d6445
Merge pull request #112804 from danieldk/cargo-build-hook 2021-02-14 18:08:26 +00:00
Bryan A. S 8bb00cfb6b doc/builders/packages/ibus.xml: Convert to markdown 
Signed-off-by: Bryan A. S <bryanasdev000@gmail.com>
 2021-02-14 01:26:32 -03:00
Sandro Jäckel 061f514462
doc: update multiple output section with more example paths 2021-02-14 00:46:43 +01:00
github-actions[bot] 37c77840b8
Merge staging-next into staging 2021-02-13 12:19:41 +00:00
github-actions[bot] 257f90a43f
Merge master into staging-next 2021-02-13 12:19:38 +00:00
taku0 3bcfa06742
Merge pull request #108456 from siraben/elm-docs-md 
Convert Elm from Docbook to Commonmark
 2021-02-13 18:11:24 +09:00
github-actions[bot] 0667f269fc
Merge staging-next into staging 2021-02-12 18:16:50 +00:00
github-actions[bot] b23b455f9a
Merge master into staging-next 2021-02-12 18:16:46 +00:00
Alyssa Ross 503a772e02 doc: use lib.cleanSource 
Otherwise, running "nix-build" in the doc directory would create a
result symlink, so running "nix-build" again would produce a different
derivation, and so on forever, because the result symlink would keep
changing and wasn't ignored.
 2021-02-12 08:59:27 -08:00
Daniël de Kok 933c2425d9 doc: fix syntax error in BLAS/LAPACK overlay example 
Attribute-values pairs were not properly terminated by a semicolon.
 2021-02-12 10:37:16 +01:00
Daniël de Kok dbc8633daf doc: describe cargoBuildHook and maturinBuildHook in the Rust section 2021-02-12 08:40:46 +01:00
github-actions[bot] a480c1ebb1
Merge staging-next into staging 2021-02-11 18:16:52 +00:00
Alyssa Ross 1af73c223c
doc: fix XML syntax in Qt section 2021-02-11 13:58:32 +00:00
Daniël de Kok 198dd77635 doc: describe cargoSetupHook in the Rust section 2021-02-10 07:03:48 +01:00
github-actions[bot] 30dddce5e8
Merge master into staging-next 2021-02-09 06:16:02 +00:00
Martin Weinelt e95bf38429 qt.section.md: fix xml syntax 2021-02-09 02:06:19 +01:00
Bernardo Meurer 6eb8979452
doc: remove mentions of flashplayer 2021-02-08 09:38:42 -08:00
github-actions[bot] 1c86cb40e9
Merge master into staging-next 2021-02-08 00:36:16 +00:00
Jan Tojnar f53e0e28c3 doc: Add anchors to meta attributes 2021-02-07 23:11:41 +01:00
github-actions[bot] 2226996f6c
Merge master into staging-next 2021-02-07 18:16:08 +00:00
Doron Behar c858d0f63a
Merge pull request #105492 from alunduil/assertOneOf-typo 2021-02-07 18:44:50 +02:00
github-actions[bot] a93a3ec715
Merge staging-next into staging 2021-02-04 00:35:42 +00:00
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
github-actions[bot] e788d512e8
Merge staging-next into staging 2021-01-30 00:44:04 +00:00
Silvan Mosberger aa48e205a2
Merge pull request #110787 from tfc/cartesian-product 
lib/attrsets: add cartesianProductOfSets function
 2021-01-29 20:22:12 +01:00
Jacek Galowicz 123045a570 lib/attrsets: add cartesianProductOfSets function 2021-01-28 23:08:59 +01:00
Thomas Tuegel 0e418a1a18
Merge pull request #108888 from ttuegel/feature--staging--qt-no-mkDerivation 
Qt: Do not require mkDerivation
 2021-01-26 16:24:41 -06:00
github-actions[bot] c994c9d31e
Merge master into staging-next 2021-01-26 18:27:09 +00:00
Robert Hensing 1d0d9d26c6
Merge pull request #109663 from Pamplemousse/documentation 
documention corrections
 2021-01-26 15:37:45 +01:00
Thomas Tuegel 5590e365e4
qtbase: Check for wrapQtAppsHook in setupHook 2021-01-25 15:56:15 -06:00
Thomas Tuegel e605824a92
qt.section.md: use new syntax for admonitions 2021-01-25 15:56:14 -06:00
Thomas Tuegel 02924cf951
nixpkgs/manual: update Qt documentation 2021-01-25 15:56:14 -06:00
Jan Tojnar 01ee4ea574
Merge branch 'master' into staging-next 2021-01-24 00:09:45 +01:00
Markus Kowalewski 72f96278f7
nixpkgs/manual: add a paragraph about MPI switching mechanism 2021-01-23 12:15:18 +01:00
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
github-actions[bot] e5fef074d6
Merge staging-next into staging 2021-01-21 01:19:31 +00:00
V 7616206b77
doc: add function argument order convention (#110060) 
* doc: add function argument order convention

Ordering by usage is the de facto ordering given to arguments. It's
logical, and makes finding argument usage easier. Putting lib first is
common in NixOS modules, so it's reasonable to mirror this in nixpkgs
proper. Additionally, it's not a package as such, has zero dependencies,
and can be found used anywhere in a derivation.

* doc: clean up usage of lib
 2021-01-20 19:07:16 -05:00
Pamplemousse c803b2333b documentation: correct documentation help 
`PANDOC_LUA_FILTERS_DIR` is set in `makeFlags` in `doc/default.nix`,
and needs to be explicitely passed to `make` when called manually.

Signed-off-by: Pamplemousse <xav.maso@gmail.com>
 2021-01-19 18:22:18 -07:00
github-actions[bot] e064950cb7
Merge staging-next into staging 2021-01-19 18:52:27 +00:00
greizgh 94f850c3d1
doc: fix shell.nix (#109816) 2021-01-19 12:46:51 -05:00
Jan Tojnar fc7bd322df
Merge branch 'staging-next' into staging 2021-01-19 13:50:04 +01:00
Jonathan Ringer 7c64854b23 docs: pkgconfig -> pkg-config 2021-01-19 01:16:25 -08:00
Jörg Thalheim 57d863b1f0
Merge remote-tracking branch 'upstream/staging-next' into HEAD 2021-01-17 18:09:56 +01:00
Jörg Thalheim 1279bf812c
Merge remote-tracking branch 'upstream/master' into HEAD 2021-01-17 18:08:59 +01:00
Alexei Colin 72bebd8c0c doc: rust: fix syntax error in declarative overlay 
Otherwise pasting the snippet into shell.nix results in:

	error: syntax error, unexpected '=', expecting $end, at /.../shell.nix:2:9

Signed-off-by: Alexei Colin <ac@alexeicolin.com>
 2021-01-17 01:29:15 -05:00
Sandro Jäckel 6f7f01a244 pytestCheckHook: Add disabledTestFiles option 2021-01-16 09:09:26 -08:00
Jan Tojnar b813710c04
Merge branch 'master' into staging-next 2021-01-14 02:24:17 +01:00
adisbladis 4003f8cbc7
treewide: emacsPackages -> emacs.pkgs & emacsWithPackages -> emacs.pkgs.withPackages 
The previous names are now aliases and shouldn't be used anywhere inside nixpkgs.
 2021-01-13 17:13:10 +01:00
Jan Tojnar 2b9372b2ca
Merge branch 'master' into staging-next 2021-01-11 13:36:42 +01:00
Peter Simons c3c06134e2
Merge pull request #108268 from TikhonJelvis/bump-r-packages 
r-modules: Updated definitions of CRAN and Bioc packages.
 2021-01-11 10:45:42 +01:00
Cyril Cohen e87aef06e0
coqPackages: doc (#108937) 
changing bullet style
 2021-01-11 10:23:05 +01:00
Profpatsch b0c1583a0b doc: stdenv.lib -> lib 
Part of: https://github.com/NixOS/nixpkgs/issues/108938

Changing the documentation to not refer to stdenv.lib is the first
step to make people use it directly.
 2021-01-11 09:52:27 +01:00
Michele Guerini Rocco a306b088f6
Merge pull request #108491 from pacien/fishPlugins-wrapFish 
wrapFish: add fish shell wrapper package
 2021-01-11 09:10:52 +01:00
pacien 108fd69a8c fishPlugins.buildFishPlugin: rename checkFunctionPath parameter 2021-01-11 03:39:57 +01:00
pacien 165937d01e doc/fish: document fish plugins packaging 2021-01-11 02:37:36 +01:00
Jan Tojnar 88c998fb21
Merge branch 'staging-next' into staging 2021-01-10 23:24:57 +01:00
Dominik Xaver Hörl 25bef2d8f9 treewide: simplify pkgs.stdenv.lib -> pkgs.lib 
The library does not depend on stdenv, that `stdenv` exposes `lib` is
an artifact of the ancient origins of nixpkgs.
 2021-01-10 20:12:06 +01:00
github-actions[bot] bd9e17e21f
Merge staging-next into staging 2021-01-10 18:41:46 +00:00
Jörg Thalheim 51894963cb
Merge pull request #89775 from numinit/update-androidenv 2021-01-10 15:09:36 +00:00
Frederik Rietdijk df2b0589ae Qt docs: we now use qt5-packages.nix 2021-01-10 15:59:45 +01:00
Alyssa Ross c06b2b3d67 doc: add "prefer lib over stdenv.lib" convention 
I think we should have something in the manual people can point to
about this, to avoid rehashing it over and over in PRs.  "stdenv.lib"
makes it look like lib is part of stdenv, which it isn't, and makes it
even more confusing as a newcomer to figure out what stdenv is (and
isn't).
 2021-01-10 08:24:52 +01:00
Cyril Cohen 9ffd16b385 coqPackages: refactor 2021-01-09 11:56:17 +01:00
Ben Siraphob 6a544b73f9 Convert Elm from Docbook to Commonmark 2021-01-05 12:35:50 +07:00
numinit 5b91d4ab65 Rework androidenv package generation 
androidenv did not previously write license files, which caused certain
gradle-based Android tools to fail. Restructure androidenv's list of
Android packages into a single repo.json file to prevent duplication
and enable us to extract the EULA texts, which we then hash with
builtins.hashString to produce the license files that Android gradle
tools look for.

Remove includeDocs and lldbVersions, as these have been removed
from the Android package repositories.

Improve documentation and examples.
 2021-01-03 21:27:23 -07:00
Tikhon Jelvis 70cd2cb336 r-modules: update cran and bioc packages 
The last snapshot was 4 months ago (2020-08-19). I also found that I needed newer definitions when I was trying to fix the R arrow package.

This update required a couple of manual changes:

  1. Removing a few deleted packages from default.nix
  2. Renaming the "assert" package to "r_assert" in generate-r-packages.R because "assert" is a keyword in Nix
 2021-01-02 15:03:06 -08:00
Ryan Mulligan dd6c0efa62
Merge pull request #108147 from ryantm/doc-cleanup 
doc: explicit Markdown anchors for top-level headings; remove metadata
 2021-01-01 11:40:09 -08:00
Ryan Mulligan b8344f9e5c doc: explicit Markdown anchors for top-level headings; remove metadata 
I used the existing anchors generated by Docbook, so the anchor part
should be a no-op. This could be useful depending on the
infrastructure we choose to use, and it is better to be explicit than
rely on Docbook's id generating algorithms.

I got rid of the metadata segments of the Markdown files, because they
are outdated, inaccurate, and could make people less willing to change
them without speaking with the author.
 2021-01-01 10:02:57 -08:00
Daniël de Kok b6728fa15c docs/rust: describe cargoHash 2020-12-31 11:18:13 +01:00
Justus K 357f132b94 doc: convert Steam to CommonMark 2020-12-22 20:34:50 -08:00
Jan Tojnar 3dfcc7e3a5
Merge pull request #107044 from jtojnar/overridable-php-packages 2020-12-22 22:39:29 +01:00
sternenseemann 0096eb9274 doc/fetchers: document leaveDotGit, deepClone and fetchSubmodules 2020-12-21 14:22:39 +01:00
Jan Tojnar 5fb6fbcad9
Merge pull request #106845 from AndersonTorres/wip-documentation 2020-12-17 18:19:11 +01:00
AndersonTorres 30bfb2f5d0 Convert fetchers from DocBook to CommonMark 2020-12-17 12:00:49 -03:00
AndersonTorres 59f9db8b09 Convert trivial-builders from DocBook to CommonMark 2020-12-17 12:00:48 -03:00
AndersonTorres 4526fe9804 Convert locales from DocBook to CommonMark 2020-12-16 18:04:34 -03:00
AndersonTorres 7113b40fb3 Convert fhs-environments from DocBook to CommonMark 2020-12-16 14:51:43 -03:00
AndersonTorres 23d5784770 Convert mkShell from DocBook to CommonMark 2020-12-16 14:51:43 -03:00
Jan Tojnar b2594c71c2
php.packages: Make packages overridable 
This will allow patching extensions without having to manually having to patch all occurrences in the dependency tree.
 2020-12-16 18:32:27 +01:00
Lassulus 00b8fa792b
Merge pull request #106000 from Luis-Hebendanz/firefoxWrapperAddonSettings 
firefox: wrapper updating an addon perserves addon settings
 2020-12-15 22:16:48 +01:00
Luis Hebendanz 1c8c134972 firefox: wrapper updating an addon perserves addon settings 2020-12-15 22:02:34 +01:00
Robert Hensing 3393e110a9
doc/stdenv/cross-compilation.chapter.md typo 
Co-authored-by: John Ericson <git@JohnEricson.me>
 2020-12-15 15:57:27 +01:00
Robert Hensing c7e5c02374
doc/cross-compilation: Remove confusing re-explanation 
See https://github.com/NixOS/nixpkgs/issues/106950

> They way it's worded says buildInputs are for build-time and nativeBuildInputs are for run-time. The other documentation leads me to believe it is the other way around.
 2020-12-15 11:45:38 +01:00
Ben Siraphob 71a7249a48 doc/stdenv/cross-compilation: convert to markdown 2020-12-13 19:49:39 +07:00
Jan Tojnar ba11a96653
doc: Add staging workflow diagram 2020-12-09 05:26:55 +01:00
Ryan Mulligan c2effbb448
Merge pull request #105962 from jtojnar/db-submitting-changes 
doc: convert Submitting changes to Markdown
 2020-12-07 20:55:33 -08:00
Jan Tojnar 62248877ad
doc/stdenv: Fix xref to gdk-pixbuf setup hook 
DocBook does not support creating labels for unordered list items so we need to add a link label ourselves.
 2020-12-07 23:49:56 +01:00
Jan Tojnar be8a3b8d9d
doc: convert GNOME platform docs to markdown 2020-12-07 23:49:56 +01:00
Jan Tojnar 64b8489d54
doc: clean up makefile 
The sectn and ulink hacks are not necessary since pandoc has been defaulting to Docbook 5 for a long time.
With the pandoc patches, we can get rid of id→xml:id replacement and xmlns hacks as well.
 2020-12-07 23:49:56 +01:00
Jan Tojnar e4c3cda197
doc: rename gnome to section 2020-12-07 23:49:36 +01:00
Wil Taylor 2eb20aa8ce
doc: Converted Bower docs from xml to md 2020-12-07 09:38:47 +01:00
Stefan Schroeder 9d7082950b
doc: Port Perl to Markdown 2020-12-07 08:45:20 +01:00
github-actions[bot] 0947539ec1
Merge master into staging-next 2020-12-05 12:18:17 +00:00
Jan Tojnar cc3228e0bb
doc: Clean up submitting changes 2020-12-05 13:03:22 +01:00
Jan Tojnar 035960e4f6
doc: convert Submitting changes to Markdown 2020-12-05 12:43:25 +01:00
Jan Tojnar 5ad6509278
doc: Rename submitting-changes to chapter 2020-12-05 12:33:00 +01:00
Terin Stock edfe388d1e doc/firefox: correct manual generation 
Corrects the level of the "Troubleshooting" section, and adds an anchor
for Firefox.
 2020-12-05 00:31:21 -08:00
github-actions[bot] 55b348fe1b
Merge master into staging-next 2020-12-05 06:16:24 +00:00
Ryan Mulligan 25e00d8c7e
Merge pull request #105648 from AndersonTorres/wip-documentation 
Documentation updates from Docbook to CommonMark
 2020-12-04 21:37:09 -08:00
AndersonTorres f5baf84be5 Convert OCaml from DocBook to CommonMark 2020-12-04 23:35:26 -03:00
github-actions[bot] cb36dd7449
Merge master into staging-next 2020-12-04 18:14:51 +00:00
Jörg Thalheim 29566ca021
Merge pull request #105796 from Luis-Hebendanz/fix_firefox_wrapper 
Fix firefox wrapper
 2020-12-04 17:01:05 +00:00
Luis Hebendanz d3a6a124cf firefox: fix wrapper removing existing addons by default 2020-12-04 17:53:14 +01:00
github-actions[bot] 884a0b091b
Merge master into staging-next 2020-12-04 00:37:25 +00:00
Jan Tojnar 4fd3b00f06
doc/emacs: re-add anchor 2020-12-04 01:34:44 +01:00
github-actions[bot] 1aeec1f039
Merge master into staging-next 2020-12-03 18:14:40 +00:00
Stu 177023d3f1
doc: convert urxvt to CommonMark 
* convert urxvt documentation to common mark

* format urxvt documentation

* use ShellSession instead of nix
 2020-12-03 06:46:29 -08:00
github-actions[bot] 5b73e3087a
Merge master into staging-next 2020-12-03 12:18:45 +00:00
AndersonTorres bb0399be3d Convert Shell-Helpers from DocBook to CommonMark 2020-12-03 08:12:35 -03:00
Jörg Thalheim 3cd6bc103d
Merge branch 'master' into firefox-nix-addon-support 2020-12-03 07:20:16 +00:00
github-actions[bot] 6f36a7f7c3
Merge master into staging-next 2020-12-03 06:15:27 +00:00
Ryan Mulligan 3a2e9d2ac7
Merge pull request #105752 from ryantm/docbook2commonmark-packages-linux 
docs: convert packages/linux docbook -> commonmark
 2020-12-02 21:19:35 -08:00
Lucas Eduardo 543f084d62
doc: TeX Live to CommonMark 
* converted texlive doc to markdown

Signed-off-by: GitHub <noreply@github.com>

* Remove frontmatter (suggestion)

Co-authored-by: Ryan Mulligan <ryan@ryantm.com>

* Add anchor (suggestion)

Co-authored-by: Ryan Mulligan <ryan@ryantm.com>

* apply suggestions from @ryantm

Signed-off-by: GitHub <noreply@github.com>

* fix nesting of codeblocks into list items as suggested by @jtojnar

Signed-off-by: GitHub <noreply@github.com>

* add anchors for subtopics as said by @jtojnar

Signed-off-by: GitHub <noreply@github.com>

Co-authored-by: Ryan Mulligan <ryan@ryantm.com>
 2020-12-02 21:15:18 -08:00
Manuel Mendez cb912fe2d3 docs: convert packages/linux docbook -> commonmark 
Closes #105257
 2020-12-02 21:03:26 -08:00
Justus K 58baa3f39c
convert nginx documentation to common mark 2020-12-02 20:14:05 +01:00
github-actions[bot] 89e8bf0f2a
Merge master into staging-next 2020-12-02 12:30:55 +00:00
Jörg Thalheim 7c8994e40e
doc/firefox: initial documentation 2020-12-02 10:02:22 +01:00
Domen Kožar a0e24a6d40
Merge pull request #101806 from unode/docs 
docs: Add 'how to request merging rights'
 2020-12-01 17:12:20 +01:00
Frederik Rietdijk ff90abd5dd Merge staging-next into staging 2020-12-01 14:23:10 +01:00
Corbin Simpson 8c9c0eb38b
doc/builders/packages/opengl: Convert to CommonMark. (#105485) 
* doc/builders/packages/opengl: Convert to CommonMark.

* Update doc/builders/packages/opengl.section.md

NVIDIA™

Co-authored-by: Ryan Mulligan <ryan@ryantm.com>

* Update doc/builders/packages/opengl.section.md

NVIDIA™

Co-authored-by: Ryan Mulligan <ryan@ryantm.com>

Co-authored-by: Ryan Mulligan <ryan@ryantm.com>
 2020-11-30 22:10:43 -08:00
Ryan Mulligan 1810623a77
Merge pull request #105481 from MostAwesomeDude/docs-commonmark-xorg 
doc/builders/packages/xorg: Convert to CommonMark.
 2020-11-30 22:08:16 -08:00
Corbin 874e3587ee doc/builders/packages/xorg: Use ShellSession for shell. 
I was worried, but the HTML output can still be copy-and-pasted, so it's
not a problem.
 2020-11-30 22:03:23 -08:00
Ryan Mulligan 795f75f21d
Merge pull request #105230 from Mic92/java-doc 
doc/java: convert to markdown
 2020-11-30 21:57:35 -08:00
Corbin 65fe2546b7 doc/builders/packages/xorg: Fix pasto. 
I did double-check that the fixed version does what we would want. In
either case, the katamari script is mostly of historical value, and
there's nothing to change in pkgs.
 2020-11-30 21:55:39 -08:00
Corbin fc0f32e0f5 doc/builders/packages/xorg: Acknowledge the retired katamari. 
I tested the shell snippets shown here; they work. Note that, because
they're intended for copy-and-paste, I did *not* make them into
ShellSessions with prompts. But that's something I can do if desired.
 2020-11-30 21:55:39 -08:00
Corbin e0fbc4d14c doc/builders/packages/xorg: Convert to CommonMark. 
I had to pick 7.4 or 7.5. I picked 7.4 for now.
 2020-11-30 21:55:39 -08:00
Ryan Mulligan 6c407c7077
Merge pull request #105322 from fzakaria/ISSUE-105264 
doc: convert weechat docs to commonmark
 2020-11-30 21:50:31 -08:00
Ryan Mulligan 7812bf4535
Merge pull request #105120 from wayofthepie/coq-to-commonmark 
doc: convert coq to commonmark
 2020-11-30 21:44:54 -08:00
Jan Tojnar 27b974d84b
Merge branch 'staging-next' into staging 2020-12-01 03:26:36 +01:00
Alex Brandt 11b6ded912 nixos/nixpkgs/doc: add missing operator to attrsets.mapAttrs example. 
It looks like this operator was missing (just a dropped +) unless I'm
missing something unexpected about the Nix syntax I've forgotten.
 2020-11-30 21:19:50 +00:00
Alex Brandt 195fe01e8b nixos/nixpkgs/docs: fix typo in assertOneOf example 
This example was confusing at first because the element the message
indicated wasn't in the list of possible values was but the possible
values didn't match up either.  This ensures the example is consistent
with the logic being presented.
 2020-11-30 20:56:33 +00:00
Ryan Mulligan 01e1d5cc9f
Merge pull request #105300 from AndersonTorres/wip-docs 
Convert Emacs documentation from XML DocBook to Commonmark
 2020-11-30 11:35:51 -08:00
AndersonTorres 19973c1893 Convert Emacs documentation from XML DocBook to CommonMark 2020-11-30 16:16:46 -03:00
zimbatm bbc9af1f0a
tree-wide: do not use pkgs.extend in nixpkgs 
Each invocation of pkgs.extends adds 130MB of allocation to the hydra
evaluator. We are already struggling with the amount of memory nixpkgs
requires.

`pkgs.extend` is a useful escape-hatch, but should be not be used inside
of nixpkgs directly.
 2020-11-30 14:24:40 +01:00
Farid Zakaria aa7493063a doc: convert weechat docs to commonmark 
This is essentially an automatic pandoc conversion of the weechat
section in docbook as part of the larger CommonMark Docs project
(https://github.com/NixOS/nixpkgs/projects/37)

fixes #105264

Update doc/builders/packages/weechat.section.md

Co-authored-by: Frederik Rietdijk <freddyrietdijk@fridh.nl>

Update doc/builders/packages/weechat.section.md

Co-authored-by: Jan Tojnar <jtojnar@gmail.com>
 2020-11-29 21:52:17 -08:00
Wil Taylor b6bca3d806
doc/Qt: migrate to CommonMark (#105004) 
* Updated QT section

* Fixed trailing whitespace

* Update doc/languages-frameworks/qt.section.md

Co-authored-by: Jan Tojnar <jtojnar@gmail.com>

* Update doc/languages-frameworks/qt.section.md

Co-authored-by: Jan Tojnar <jtojnar@gmail.com>

* Made changes to docs as per jtojnar's review

* Added docbook tags for callouts back in

Co-authored-by: Jan Tojnar <jtojnar@gmail.com>
 2020-11-29 20:30:29 -08:00
AndersonTorres 25b8aa4a85 Convert Kakoune documentation from XML DocBook to Commonmark 2020-11-29 20:19:28 -03:00
John Ericson 73425f6c3b Merge remote-tracking branch 'upstream/master' into staging 2020-11-28 21:33:03 -05:00
John Ericson b7650aaa77 rust: Clean up target configs and test some more 
See the new docs for details. The difference is vis-a-vis older versions
of this PR, not master.
 2020-11-28 19:36:28 +00:00
John Ericson 8ddf5c6907 Merge remote-tracking branch 'upstream/master' into aj-rust-custom-target 2020-11-28 18:10:38 +00:00
John Ericson c6617d28ef Merge remote-tracking branch 'upstream/master' into aj-rust-custom-target 2020-11-28 17:09:12 +00:00
Ryan Mulligan 3c40c276fa
Merge pull request #105200 from ryantm/update-ruby-doc 
doc: Ruby to CommonMark
 2020-11-28 07:34:45 -08:00
Jörg Thalheim 762e414d6a
doc/java: convert to markdown 2020-11-28 15:29:04 +01:00
Jörg Thalheim bc9313d088
Merge pull request #105025 from Mic92/go-doc 
doc/go: convert to markdown
 2020-11-28 15:03:51 +01:00
Jörg Thalheim 4844ca43d8
Merge pull request #67496 from mb21/patch-1 
Docs: clarify Rust overlay on non-NixOS
 2020-11-28 14:29:04 +01:00
Graham Bennett 6771aa3093
doc: clarify whitelistedLicenses 
see the following for more info:
076860e034/pkgs/stdenv/generic/check-meta.nix (L229)
 2020-11-28 10:25:13 +01:00
Jörg Thalheim 80b395015b
doc/go: convert to markdown 2020-11-28 07:32:10 +01:00
applePrincess 698111962e
doc/python: Fix shebang link (#105196) 2020-11-28 04:06:50 +01:00
Ryan Mulligan 6c70fdfd07 doc: ruby improvements 
* no hard wrapping
* use ShellSession and nix info strings
* preserve old section anchor link
* update references to present default version
 2020-11-27 19:00:41 -08:00
Kamron Mahmoodzadeh 495c2b5112 doc: use newer ruby documentation 
With the addition of ruby.withPackages, manveru rewrote the nixpkgs
manual section for the ruby language but did not add it to the manual.
This commit replaces the previous documentation with manveru's updated
version.
 2020-11-27 18:59:56 -08:00
Jan Tojnar 136152af80
Merge pull request #101537 from jtojnar/gtk-tracker 2020-11-28 01:37:37 +01:00
Stephen OBrien a7e9047db3 doc: convert coq to commonmark 2020-11-27 08:13:55 +00:00
Jan Tojnar 95961244d3
doc/gnome: Document gdk-pixbuf setup hook 
It was briefly mentioned in stdenv docs but since it interacts with wrapGAppsHook, it should be documented here.
 2020-11-26 14:06:08 +01:00
Jan Tojnar acfc45bacc
wrapGAppsNoGuiHook: init 2020-11-26 14:06:07 +01:00
Stephen OBrien 2bb9e7c18a doc: convert beam docs to commonmark 2020-11-26 11:30:17 +00:00
Pamplemousse 805cedf8d3 doc/builders: Remove out-of-date example 
Signed-off-by: Pamplemousse <xav.maso@gmail.com>
 2020-11-17 09:13:40 -08:00
Jonathan Ringer 0e89c426c7 doc/contributing: remove label instructions 
ofborg largely does this now
 2020-11-14 16:39:43 -08:00
Mitsuhiro Nakamura cdfbdb0b2c doc: add usage for cataclysmDDA.attachPkgs 2020-11-13 10:29:50 +09:00
zowoq 3f20417b4c doc/*: fix indentation 2020-11-12 14:24:00 +10:00
Kevin Cox d3a30145c3
Make maintainer documentation more direct (#103455) 
Additionally fixes the "list of names and emails" to be a list of maintainer expressions.

A follow-up from the discussion in https://github.com/NixOS/nixpkgs/pull/96666
 2020-11-11 19:55:27 -05:00
Felix Tenley a94cc8dc92 dotnet: document new net packages 2020-11-11 15:35:23 -08:00
Kevin Cox be4d08b5b4
Merge pull request #96666 from raboof/nixpkgs-document-new-maintainer-convention 
Document conventions around adding new maintainers
 2020-11-11 09:01:31 -05:00
Arnout Engelen 292de46c5b
Document conventions around adding new maintainers 
Adding them to `maintainers/maintainer-list` in a separate commit.

Co-Authored-By: Pavol Rusnak <pavol@rusnak.io>
Co-Authored-By: Atemu <atemu.main@gmail.com>
Co-Authored-By: Kevin Cox <kevincox@kevincox.ca>
 2020-11-11 14:07:20 +01:00
Kevin Cox de57e3b630
Merge pull request #95165 from turion/patch-4 
Doc -> Languages & Frameworks -> Rust: Update
 2020-11-05 09:10:58 -05:00
Robert Hensing d24360033d
Merge pull request #98383 from raboof/document-jre 
openjdk: add derivation to generate bespoke minimal JRE's
 2020-11-05 10:40:39 +01:00
Arnout Engelen d4efa08b53
openjdk: add derivation to generate bespoke minimal JRE's 
Co-Authored-By: Robert Hensing <robert@roberthensing.nl>
 2020-11-04 17:47:18 +01:00
Frederik Rietdijk 9e6d7d3c74 Merge master into staging-next 2020-11-04 09:27:42 +01:00
Doron Behar 80b96cf4ad
Merge pull request #100660 from fzakaria/faridzakaria/maven-documentation 2020-11-04 00:24:19 +02:00
Farid Zakaria b9321adf1e documentation: add documentation for maven 
Add nice markdown documentation for how to use mvn2nix plugin and the
buildMaven function within nixpkgs.

Update doc/languages-frameworks/maven.md

Co-authored-by: Robert Hensing <roberth@users.noreply.github.com>

Apply suggestions from code review

Co-authored-by: Doron Behar <doron.behar@gmail.com>

Apply suggestions from code review

Co-authored-by: Doron Behar <doron.behar@gmail.com>

Apply suggestions from code review

Co-authored-by: Doron Behar <doron.behar@gmail.com>
 2020-11-03 09:23:05 -08:00
Frederik Rietdijk 237966224d Merge master into staging-next 2020-11-03 12:06:06 +01:00
Daniel Gorin 550389392a kakoune: rework plugin support 
The previous implementation of plugin-support for the kakoune derivation
was based on generating, at build time, a `plugins.kak` file that would
source all .kak files in the list of plugins, and wrap the `kak` binary
in a script that would add some command-line arguments so that this
file gets loaded on start-up. The main problem with this approach
is that the plugins' code get executed *after* the user's configuration
file is loaded, so effectively one cannot automatically activate/configure
these plugins.

The idiomatic way of loading plugins is ensuring they end up installed
somwhere under `share/kak/autoload`. Because plugins are already being
packaged to have their code in `share/kak/autoload/plugins/<name-of-plugin>`,
we can obtain a derivation that includes the plugins simply by doing a
`symlinkJoin` of `kakoune-unwrapped` and all the requested plugins.

For this to work, we need to fix two issues:

  1. By default, kakoune makes `share/kak/autoload` a symbolic link to
     `share/kak/rc`, which contains all builtin definitions. We need
     to patch this to put the symlink under `share/kak/autoload/rc`, so that
     the join works.

  2. By default kakoune expects the `autoload` directory to be in
     `../share/kak/autoload` relative to the location of the `kak` binary.
     We need to set the `KAKOUNE_RUNTIME` to point the symlinked
     share/kak for this to work.
 2020-11-01 14:35:49 +00:00
Vladimír Čunát dfd3ede68d
Merge branch 'master' into staging-next 2020-10-31 14:30:44 +01:00
Renato Alves 5c931c7299
docs: Add link to the GitHub issue on how to become a committer 2020-10-29 11:32:41 +01:00
Anderson Torres 066bf7dd5d
Merge pull request #101894 from AndersonTorres/terminal-emulators 
Create a directory-category for terminal emulators
 2020-10-28 23:27:05 -03:00
Austin Butler 7fd9976af3 vimPlugins: document update proces 2020-10-28 13:51:24 -07:00
AndersonTorres 2bb3a9da24 A directory-category for terminal emulators 
This is a mostly cosmetical commit, in the sense it doesn't change the contents
of any package, but reorganizes the overall Nixpkgs expressions.

Terminal emulators are an ubiquitous tool for any Unix user; even the beginners
are routinely familiarized to it. And, manifestly, there are many
implementations of terminal emulators out there, from those traditionally made
in C and C++ to those written in Haskell and Go.

Terminal emulators deserve more highlight. This commit does that by creating a
category for them.
 2020-10-28 10:22:39 -03:00
Vladimír Čunát 89023c38fc
Recover the complicated situation after my bad merge 
I made a mistake merge.  Reverting it in c778945806 undid the state
on master, but now I realize it crippled the git merge mechanism.
As the merge contained a mix of commits from `master..staging-next`
and other commits from `staging-next..staging`, it got the
`staging-next` branch into a state that was difficult to recover.

I reconstructed the "desired" state of staging-next tree by:
 - checking out the last commit of the problematic range: 4effe769e2
 - `git rebase -i --preserve-merges a8a018ddc0` - dropping the mistaken
   merge commit and its revert from that range (while keeping
   reapplication from 4effe769e2)
 - merging the last unaffected staging-next commit (803ca85c20)
 - fortunately no other commits have been pushed to staging-next yet
 - applying a diff on staging-next to get it into that state
 2020-10-26 09:01:04 +01:00
Vladimír Čunát c778945806
Revert "Merge #101508: libraw: 0.20.0 -> 0.20.2" 
I'm sorry; I didn't notice it contained staging commits.

This reverts commit 17f5305b6c, reversing
changes made to a8a018ddc0.
 2020-10-25 09:41:51 +01:00
Vladimír Čunát 17f5305b6c
Merge #101508: libraw: 0.20.0 -> 0.20.2 2020-10-25 09:28:53 +01:00
Peter Simons 5fe0939d18 The Haskell documentation has moved to <https://haskell4nix.readthedocs.io/>. 
That site is generated automatically from the set of text files found at
<https://github.com/NixOS/cabal2nix/tree/master/doc>.
 2020-10-23 21:00:26 +02:00
Jan Tojnar 5c766c5c24
Merge branch 'staging-next' into staging 2020-10-18 21:21:03 +02:00
Jan Tojnar 7d17b2d6f3
doc: Use mesa.drivers instead of legacy alias 
It was moved in 263f5891b6.
 2020-10-18 00:58:09 +02:00
Aaron Janse 2bccf2e554 add documentation 2020-10-17 00:48:07 -07:00
Peter Simons 56bc587444 Merge remote-tracking branch 'origin/master' into haskell-updates, 2020-10-15 19:39:16 +02:00
John Ericson c0df12de5d rust: Add support for managing target JSON in Nix 2020-10-14 04:20:23 +00:00
Frederik Rietdijk dc0aeee5db Merge staging-next into staging 2020-10-13 19:35:37 +02:00
Frederik Rietdijk 9e1943edc0 Merge master into staging-next 2020-10-13 19:34:34 +02:00
Frederik Rietdijk 748bc99520 docs: python39 is available 2020-10-13 18:53:40 +02:00
Kevin Cox 8b33d575e4
Merge pull request #98084 from turion/patch-5 
agda.section.md: Fix header and enumeration
 2020-10-11 07:29:58 -04:00
maralorn 0756b8a7bf
haskell-language-server: Init wrapper for multiple ghc versions at 0.5.0 (#99519) 
* haskell-language-server: Init wrapper for multiple ghc versions at 0.5.0

* Fix closure size

* docs: Add hls section to Haskell part of manual
 2020-10-10 16:01:57 +02:00
Lily Ballard 7e1e8543fc installShellFiles: Enhance installShellCompletion 
Teach installShellCompletion how to install completions from a named
pipe. Also add a convenience flag `--cmd NAME` that synthesizes the name
for each completion instead of requiring repeated `--name` flags.

Usage looks something like

    installShellCompletion --cmd foobar \
      --bash <($out/bin/foobar --bash-completion) \
      --fish <($out/bin/foobar --fish-completion) \
      --zsh <($out/bin/foobar --zsh-completion)

Fixes #83284
 2020-10-08 15:08:40 -07:00
Frederik Rietdijk 692d219a93 Merge staging-next into staging 2020-10-06 10:25:58 +02:00
Jan Tojnar 32b4375f10
Merge branch 'staging-next' into staging 2020-09-29 00:12:29 +02:00
Doron Behar f1d01c9d58
Merge pull request #93332 from wamserma/docs-remove-replace-link 
docs.stdenv: remove reference to replace tool
 2020-09-26 19:20:46 +03:00
Manuel Bärenz cd2dab91d6 Doc -> Languages & Frameworks -> Rust: Update 
Add information on declarative overlay usage
 2020-09-26 10:58:06 +02:00
Jörg Thalheim a2960ac430
Merge pull request #97603 from zowoq/rust-test-threads 2020-09-25 06:19:23 +02:00
Jan Tojnar d471c5d1f3
Merge branch 'staging-next' into staging 2020-09-24 23:09:00 +02:00
Jan Tojnar 6d518ddf77
Merge pull request #98503 from jtojnar/doc-prompts 2020-09-24 22:48:38 +02:00
Rok Garbas 882b95802f
Merge pull request #98640 from raboof/rename-guide-to-nixpkgs-manual 
doc: rename guide to 'Nixpkgs Manual'
 2020-09-24 14:36:09 +02:00
Arnout Engelen 926c7e8b4e
doc: rename guide to 'Nixpkgs Manual' 
For consistency with 'NixOS Manual' and 'Nix Manual', to better match what it's
often called in practice, and to match its URL and HTML title.
 2020-09-24 14:07:25 +02:00
Doron Behar 5819bca301 docs/go: Add examples for and explain buildFlags 
Move common attributes treated by both buildGoModule and buildGoPackage
to a separate section, out of the examples' "callouts".

Co-authored-by: zowoq <59103226+zowoq@users.noreply.github.com>
 2020-09-24 11:03:20 +10:00
zowoq e4c71e6c6c buildRustPackage: support setting test-threads 2020-09-24 07:19:58 +10:00
Jan Tojnar e1af37634b
doc: Improve code listings 
By adding prompts and removing unnecessary indentation.
 2020-09-23 01:25:25 +02:00
Frederik Rietdijk 7bff759fac Merge staging-next into staging 2020-09-22 18:31:56 +02:00
zowoq 069757550e doc/python: remove trailing whitespace 2020-09-21 09:35:27 +10:00
Manuel Bärenz 87cab901a3 agda.section.md: Fix header, enumerations, capitalisation 2020-09-18 12:42:06 +02:00
Robert Helgesson fbc5093649
hooks: add moveSystemdUserUnitsHook 
This hook moves systemd user service file from `lib/systemd/user` to
`share/systemd/user`. This is to allow systemd to find the user
services when installed into a user profile. The `lib/systemd/user`
path does not work since `lib` is not in `XDG_DATA_DIRS`.
 2020-09-12 18:29:46 +02:00
Alexandre Esteves 0cad09a68a docs/rust: fix typo 
Co-authored-by: Drew <drewrisinger@users.noreply.github.com>
 2020-09-10 19:10:27 +02:00
Daniël de Kok 466522c919
Merge pull request #97137 from danieldk/blis-0.7.0 
blis: init at 0.7.0
 2020-09-08 14:55:39 +02:00
zowoq 23c781a810 buildGoPackage: check/delete vendor 2020-09-08 16:32:39 +10:00
Daniël de Kok aeb5951978 doc/using/overlays.xml: add BLIS 2020-09-07 19:49:51 +02:00
Silvan Mosberger 560bb92473
Merge pull request #76794 from dudebout/document-nix-env-multiple-output-install-bug 
document nix-env bug relating to multiple output installation
 2020-09-05 15:40:26 +02:00
Nicolas Dudebout 611258f063 document nix-env bug relating to multiple output installation 2020-09-05 05:31:54 -04:00
Michele Guerini Rocco 2b575c5f1f
Merge pull request #96963 from doronbehar/doc/nodejs 
doc: nodejs: Update override example to use overlays
 2020-09-04 22:58:36 +02:00
Jake Waksbaum 58e585c93b vimPlugins: Document node-based plugins 2020-09-04 08:33:47 -07:00
Doron Behar c67bcd23d4 doc: nodejs: Update override example to use overlays 
Also: Add links so it'll be easier to find the referred files.
 2020-09-02 19:00:46 +03:00
John Ericson 31dae7d627
Merge pull request #84047 from aaronjanse/document-android-emulator-variable 
emulateApp: document $NIX_ANDROID_EMULATOR_FLAGS
 2020-08-20 00:26:53 -04:00
Jonathan Ringer 233dc9c7d1
doc/python: Add pythonImportsCheck mention 2020-08-17 13:41:39 -07:00
Jonathan Ringer 93e7292976
doc/python: add pytestCheckHook section 2020-08-17 13:41:39 -07:00
worldofpeace 0149bdac53
Merge pull request #95511 from jtojnar/var-anchors 
doc: Add anchors to stdenv variables
 2020-08-16 22:50:13 -04:00
zowoq 473536e3b5 buildRustPackage: remove platform.all from packages 2020-08-16 12:48:18 +10:00
Jan Tojnar 3f2b7beaf3
doc: Add anchors to stdenv variables 
Wanted to link them.
 2020-08-15 17:55:30 +02:00
Frederik Rietdijk 49f4475307
Merge pull request #95305 from jonringer/remove-py35 
python35: remove
 2020-08-15 09:08:47 +02:00
zowoq 961aa31455 buildGoModule: update deleteVendor docs 2020-08-14 07:50:37 +10:00
Jonathan Ringer 8c7d49b726
docs: update python interpreter versions 2020-08-12 21:57:40 -07:00
Daniël de Kok 14ac67cbb3 doc/using/overlays.xml: fix some small glitches 2020-08-10 15:47:38 +02:00
Daniël de Kok 8ffc74313e doc/using/overlays.xml: add AMD BLIS/LIBFLAME to the BLAS/LAPACK list 2020-08-10 15:41:33 +02:00
Matthew Mazzanti 2df0fda951 doc: Fix missing callout in go.xml 
Pull #89453 introduced a bug in the documentation that is preventing the
hydra build for nixpkgs-unstable from finishing. I have added the
additional option indroduced in that patch (runVend for go modules) and
added the callout tag so that the documenation can build again.
 2020-08-02 09:35:04 +10:00
zowoq e703f3f34b
Merge pull request #89453 from c00w/vend 
Add vend support to go-modules
 2020-07-31 15:16:47 +10:00
zowoq b3d71cd63d doc/*: editorconfig fixes 2020-07-31 15:06:53 +10:00
Maciej Krüger bee2b91b7f
doc/steam: add docs about new steam module 2020-07-30 20:26:33 +02:00
Colin L Rice 95be7b25be go-modules: Add useVend flag to go-modules 2020-07-28 21:11:28 -04:00
Mitsuhiro Nakamura f2b2347b29 doc: add section for cataclysm-dda 2020-07-18 14:23:25 +09:00
Mitsuhiro Nakamura c9c6f5f693 doc: fix MD_TARGETS 
globstar (**) does not work in Makefile
 2020-07-18 14:23:25 +09:00
zowoq ff3d205314 doc/perl: fix build 2020-07-18 15:12:37 +10:00
Jan Tojnar fb7507d068
Merge pull request #92348 from jtojnar/explicit-only-gpl 
licenses: Make single-version-only GPL explicit
 2020-07-18 06:48:41 +02:00
Maximilian Bosch 98d2458e66
Merge pull request #90692 from Ma27/citrix-workspace 
citrix_workspace: add more features, refactor derivation
 2020-07-17 16:12:55 +02:00
Jörg Thalheim 3829979d8d
Merge pull request #86589 from raboof/document-running-perl-scripts-from-the-shell 
doc: add section on running ad-hoc Perl programs to the nixpkgs manual
 2020-07-17 10:20:24 +01:00
Arnout Engelen 6093372069
Add section on running ad-hoc Perl programs to the nixpkgs manual 
Co-authored-by: Timo Kaufmann <timokau@zoho.com>
 2020-07-17 09:08:53 +02:00
Markus S. Wamser 92ad9e9dc4 docs.stdenv: remove reference to replace tool 2020-07-17 08:21:09 +02:00
Maximilian Bosch af83f9a24e
citrix_workspace: update docs about selfservice 2020-07-15 19:10:58 +02:00
Maximilian Bosch fa3948a7c5
citrix_workspace: add more features, refactor derivation 
In #89806 it has been reported that the final package is missing a lot
of features like support for the self-service GUI and the
config-management.

While working on supporting those components in the Nix-package, I
decided to refactor the package to simplify the entire setup.

This patch changes the following things:

* Binaries and libraries are patched using the `autoPatchelfHook` to
  avoid having unneeded libraries linked (e.g. some programs use gtk2,
  others use gtk3).

* Moved source-declarations into their own file.

* Wrapped `configmgr` and `selfservice` and added those to `$out/bin`.

* Don't mention the old `citrix_receiver`-packages in the manual anymore
  since those packages were removed in 19.09 and are EOLed anyways.

Closes #89806
 2020-07-15 19:10:58 +02:00
Jan Tojnar 13b5ae55cd
licenses: Make single-version-only GPL explicit 
I commonly see people use the former when they should use the latter.

Would be also in line with the SPDX change https://www.gnu.org/licenses/identify-licenses-clearly.html
 2020-07-05 17:51:30 +02:00
Frederik Rietdijk c33ca7c5ce Merge staging-next into staging 2020-07-02 17:14:53 +02:00
Sami Bouhlel c179ae6567 Fix typos in documentation (#91934) 2020-07-01 16:54:22 +01:00
DavHau c8c09b7dda add autoPatchelfIgnoreMissingDeps to auto-patchelf.sh 2020-06-22 10:41:35 +02:00
Steve Purcell c9e6a02c82
Add docs for dockerTools.streamLayeredImage 2020-06-22 15:19:44 +12:00
Maximilian Bosch 19dfc1b011
Merge pull request #90689 from cole-h/fix-manual 
agda: fix manual build -- blocks nixpkgs-unstable
 2020-06-17 23:05:58 +02:00
Cole Helbling 5baa7541d7
agda: fix manual build 
/build/doc/manual-full.xml:12764:35: error: ID "build-phase" has already been defined
    /build/doc/manual-full.xml:9029:33: error: first occurrence of ID "build-phase"
 2020-06-17 13:51:43 -07:00
zowoq c3a05f90ed doc/stdenv: fix build 
https://hydra.nixos.org/build/128037886/nixlog/1/tail
error: element "variable" not allowed anywhere
 2020-10-03 18:49:10 +10:00
Jan Tojnar 74c5472090
Merge pull request #98304 from jtojnar/updateScript-commit3 
maintainers/scripts/update.nix: Add support for auto-commiting changes
 2020-10-02 06:16:09 +02:00
Jan Tojnar 0c5ddf3358
maintainers/scripts/update.nix: run update script with UPDATE_NIX_ATTR_PATH 
The environment variable will contain the attribute path the script is supposed to update.
 2020-09-20 20:12:33 +02:00
Jan Tojnar c1b05442ff
doc: Undocument attr-set of passthru.updateScript 
We no longer need it for most use cases so I am making it experimental.

I have something in mind where it might be useful in the future (customizing commit messages)
but for now, it would only confuse people.
 2020-09-20 20:12:32 +02:00
Jan Tojnar c21a85c6a0
maintainers/scripts/update.nix: auto-detect attrPath 2020-09-20 20:11:46 +02:00
Jan Tojnar b828285933
maintainers/scripts/update.nix: support filling in auto-commit attributes 
We can determine all of them when attrPath is present so we might jsut as well do it.
 2020-09-20 20:11:46 +02:00
Jan Tojnar 4a161ddb3b
maintainers/scripts/update.nix: support auto-committing by passing attrPath 
Instead of having the updateScript support returning JSON object,
it should be sufficient to specify attrPath in passthru.updateScript.
It is much easier to use.

The former is now considered experimental.
 2020-09-20 20:11:46 +02:00
Jan Tojnar 1efc042d92
maintainers/scripts/update.nix: Add support for auto-commiting changes 
Update scripts can now declare features using

	passthru.updateScript = {
	  command = [ ../../update.sh pname ];
	  supportedFeatures = [ "commit" ];
	};

A `commit` feature means that when the update script finishes successfully,
it will print a JSON list like the following:

	[
	  {
	    "attrPath": "volume_key",
	    "oldVersion": "0.3.11",
	    "newVersion": "0.3.12",
	    "files": [
	      "/path/to/nixpkgs/pkgs/development/libraries/volume-key/default.nix"
	    ]
	  }
	]

and data from that will be used when update.nix is run with --argstr commit true
to create commits.

We will create a new git worktree for each thread in the pool and run the update
script there. Then we will commit the change and cherry pick it in the main repo,
releasing the worktree for a next change.
 2020-09-20 20:11:22 +02:00
Lassulus 453014b456
Merge pull request #89245 from alexarice/agda-literate 
agda: install literate files
 2020-06-16 14:11:01 +02:00
Daniël de Kok 58ec4d5c77 doc: pip install flags are specified with pipInstallFlags 
The documentation incorrectly stated that `installFlags` are passed to
`pip install`.
 2020-06-16 10:03:25 +02:00
Jan Tojnar acb53e0698
Merge branch 'staging-next' into staging 2020-06-10 04:10:57 +02:00
Aaron Andersen 38de173440
Merge pull request #89840 from berbiche/patch-1 
nixos/manual: s/environent/environment/g in configuration.xml
 2020-06-09 06:31:21 -04:00
Rok Garbas 29c4fc94cf
Merge pull request #55302 from teto/lua_doc 
doc: update lua documentation
 2020-06-09 11:02:08 +02:00
Nicolas Berbiche 071c0f935c
nixos/manual: spelling s/environent/environment/g in configuration.xml 2020-06-08 16:34:50 -04:00
Matthieu Coudron 8d05c66dc6 fixup! update 2020-06-07 20:12:56 +02:00
Matthieu Coudron 3042b38ce1 update 2020-06-06 20:20:27 +02:00
Matthieu Coudron 2909dc9f39 builds 2020-06-06 17:33:41 +02:00
Matthieu Coudron 404d057e89 Added an example about overlay 2020-06-06 17:33:39 +02:00
Matthieu Coudron 5cfcfc300b doc: update lua documentation 
Reflects the recent changes to the lua infrastructure.
Packaging from luarocks should be encouraged.
 2020-06-06 17:33:37 +02:00
Frederik Rietdijk 1c68570ab2 Merge staging-next into staging 2020-06-05 19:42:16 +02:00
Jörg Thalheim f0396574ab
buildRustPackage: add documentation on how to create cargo.lock patches 2020-06-05 10:41:46 +01:00
Vladimír Čunát 677e3960b5
Merge #82342: rustPlatform: increase build-speed of checkPhase 
...for rust-packages (into staging)
 2020-06-05 09:12:30 +02:00
Frederik Rietdijk b7ff746540 python3: now points to python38 
Note this also means python3Minimal is now also Python 3.8.

This reverts commit eb1369670b and adds more.
 2020-06-04 18:08:29 +02:00
Benjamin Hipple 4af635feff
Merge pull request #87866 from danieldk/validate-pkgconfig-hook 
validatePkgConfig: init
 2020-06-02 23:27:27 -04:00
Alex Rice e215c3bcac
agda: install literate files 2020-06-01 13:59:20 +01:00