Pavol Rusnak 461a252bee

verifast: change license to MIT ...

It seems verifast was relicensed to MIT in 2016:
b3c1bce76a

As this was the only package using lib.licenses.msrla I dropped it.

2020-04-23 09:59:33 +00:00

..

systems

lib/systems: Add Genode platform definitions

2020-03-24 20:41:21 +05:30

tests

lib/maintainer-list: Implement validity checks

2020-04-13 17:28:00 +02:00

asserts.nix

…

attrsets.nix

Merge pull request #83241 from Infinisil/valid-drv-name

2020-04-02 05:58:13 +02:00

cli.nix

lib/cli: mkKey -> mkOptionName, use generators.mkValueStringDefault

2020-01-23 14:47:38 +01:00

customisation.nix

lib.callPackages(With): guard against a repeated mistake

2020-03-12 09:40:15 +01:00

debug.nix

…

default.nix

lib: add shortcut for fake SRI hash

2020-04-05 01:48:20 +01:00

deprecated.nix

lib: add shortcut for fake SRI hash

2020-04-05 01:48:20 +01:00

fetchers.nix

…

filesystem.nix

…

fixed-points.nix

…

generators.nix

lib.generators: add toGitINI

2020-03-26 09:28:13 +01:00

kernel.nix

…

licenses.nix

verifast: change license to MIT

2020-04-23 09:59:33 +00:00

lists.nix

…

meta.nix

…

minver.nix

…

modules.nix

Revert "lib/modules: Throw better error when definitions assign to an option set"

2020-03-19 03:50:15 +01:00

options.nix

lib/options: fix showOption example

2020-04-14 20:38:31 +02:00

sources.nix

cleanSourceWith: don't use baseNameOf

2020-03-23 09:53:07 +00:00

strings-with-deps.nix

…

strings.nix

lib/strings: Introduce escapeNixIdentifier

2020-04-13 17:27:04 +02:00

trivial.nix

20.09 is Nightingale

2020-02-10 14:14:18 -05:00

types.nix

Replace short URL from #63103 with full URL.

2020-01-15 13:47:49 +00:00

versions.nix

…

zip-int-bits.nix

…