Unverified Commit e0fd83a6 authored by github-actions[bot]'s avatar github-actions[bot] Committed by GitHub
Browse files

Merge master into staging-next

parents 8a8a6304 f32e786e

doc/functions/generators.section.md

+2 −1
Original line number Diff line number Diff line
@@ -6,8 +6,9 @@ All generators follow a similar call interface: `generatorName configFunctions d 
Generators can be fine-tuned to produce exactly the file format required by your application/service. One example is an INI-file format which uses `: ` as separator, the strings `"yes"`/`"no"` as boolean values and requires all string values to be quoted:



```nix

with lib;

let

  inherit (lib) generators isString;



  customToINI = generators.toINI {

    # specifies how to format a key/value pair

    mkKeyValue = generators.mkKeyValueDefault {

doc/languages-frameworks/coq.section.md

+7 −1
Original line number Diff line number Diff line
@@ -55,7 +55,13 @@ Here is a simple package example. It is a pure Coq library, thus it depends on C 
```nix

{ lib, mkCoqDerivation, version ? null

, coq, mathcomp, mathcomp-finmap, mathcomp-bigenough }:

with lib; mkCoqDerivation {



let

  inherit (lib) licenses maintainers switch;

  inherit (lib.versions) range;

in



mkCoqDerivation {

  /* namePrefix leads to e.g. `name = coq8.11-mathcomp1.11-multinomials-1.5.2` */

  namePrefix = [ "coq" "mathcomp" ];

  pname = "multinomials";

doc/languages-frameworks/dotnet.section.md

+3 −3
Original line number Diff line number Diff line
@@ -210,11 +210,11 @@ buildDotnetGlobalTool { 


  nugetSha256 = "sha256-ZG2HFyKYhVNVYd2kRlkbAjZJq88OADe3yjxmLuxXDUo=";



  meta = with lib; {

  meta = {

    homepage = "https://cmd.petabridge.com/index.html";

    changelog = "https://cmd.petabridge.com/articles/RELEASE_NOTES.html";

    license = licenses.unfree;

    platforms = platforms.linux;

    license = lib.licenses.unfree;

    platforms = lib.platforms.linux;

  };

}

```

doc/languages-frameworks/go.section.md

+3 −3
Original line number Diff line number Diff line
@@ -51,11 +51,11 @@ pet = buildGoModule rec { 


  vendorHash = "sha256-ciBIR+a1oaYH+H1PcC8cD8ncfJczk1IiJ8iYNM+R6aA=";



  meta = with lib; {

  meta = {

    description = "Simple command-line snippet manager, written in Go";

    homepage = "https://github.com/knqyf263/pet";

    license = licenses.mit;

    maintainers = with maintainers; [ kalbasit ];

    license = lib.licenses.mit;

    maintainers = with lib.maintainers; [ kalbasit ];

  };

}

```

doc/languages-frameworks/idris.section.md

+3 −3
Original line number Diff line number Diff line
@@ -93,11 +93,11 @@ build-idris-package { 
    hash = "sha256-h28F9EEPuvab6zrfeE+0k1XGQJGwINnsJEG8yjWIl7w=";

  };



  meta = with lib; {

  meta = {

    description = "Idris YAML lib";

    homepage = "https://github.com/Heather/Idris.Yaml";

    license = licenses.mit;

    maintainers = [ maintainers.brainrape ];

    license = lib.licenses.mit;

    maintainers = [ lib.maintainers.brainrape ];

  };

}

```