mirror/nixpkgs - Nix packages collection

Age	Commit message (Collapse)	Author	Files	Lines
2023-12-01	treewide: remove unreferenced patch files	Peder Bergebakken Sundt	2	-131/+0
	Found with `fd \\.patch$ pkgs/ -x bash -c 'rg -F "{/}" pkgs/ -q \|\| echo {}'`
2023-09-16	boogie: move out of dotnet-packages.nix	mdarocha	1	-197/+0
	dotnet-packages.nix is deprecated and being removed
2023-04-29	dafny: move to separate file	whonore	1	-367/+0

2023-04-29	dafny: 3.7.3 -> 4.0.0	whonore	1	-18/+30

2023-04-29	dafny: fix build by pruning old deps	Guillaume Maudoux	1	-3/+5

2023-04-29	dafny: add missing deps	whonore	1	-0/+34

2023-04-29	buildDotnetModule: add support for dotnet tools	Guillaume Maudoux	2	-0/+106

2023-04-29	pkgs.dafny: 2.3.0 -> 3.7.3	John Wiegley	1	-0/+214

2023-02-18	python-language-server: remove	Jamie Magee	3	-176/+0

2022-12-19	build-dotnet-module: restore for current runtime by default	David McFarland	1	-2/+0

2022-12-19	treewide: update all dotnet lockfiles	David McFarland	1	-0/+46

2022-12-19	dotnetCorePackages: move systemToDotnetRid out of sdk	David McFarland	1	-1/+1

2022-10-02	dotnet: update lock files of packages using nuget-to-nix	David McFarland	1	-17/+3

2022-10-02	python-language-server: restore for current platform only	David McFarland	1	-0/+3

2022-09-11	python-language-server: migrate lockfile generation to fetch-deps	Ivar Scholten	1	-20/+2

2022-08-02	pkgs.boogie: 2.4.1 -> 2.15.7	John Wiegley	1	-0/+150
	Builds newer than 2.4.1 require buildDotnetModule instead of buildDotnetPackage.
2022-06-20	python-language-server: update dependencies	mdarocha	1	-11/+11

2022-03-16	python-language-server: 2021-09-08 -> 2022-02-18	R. Ryantm	1	-3/+3

2021-12-23	nuget-to-nix: update to use pname instead of name	Felix Buehler	1	-119/+119

2021-11-21	python-language-server: 2021-05-20 -> 2021-09-08, use buildDotnetModule	Ivar Scholten	7	-1431/+179

2021-11-16	python-language-server: Update dependencies	Claudio Bley	2	-6/+6

2021-09-17	python-language-server: Update dependencies	Claudio Bley	2	-6/+6

2021-07-10	python-language-server: 2020-10-08 -> 2021-05-20	Jörg Thalheim	1	-4/+3

2021-05-15	python-language-server: cleanup deps, add missing phase hooks	Felix Rath	4	-100/+12
	also improve script a little bit
2021-05-15	python-language-server: 2020-06-19 -> 2020-10-08	Felix Rath	3	-53/+85
	Update for Python 3.9 support
2021-01-11	treewide: with stdenv.lib; in meta -> with lib;	Profpatsch	1	-2/+2
	Part of: https://github.com/NixOS/nixpkgs/issues/108938 meta = with stdenv.lib; is a widely used pattern. We want to slowly remove the `stdenv.lib` indirection and encourage people to use `lib` directly. Thus let’s start with the meta field. This used a rewriting script to mostly automatically replace all occurances of this pattern, and add the `lib` argument to the package header if it doesn’t exist yet. The script in its current form is available at https://cs.tvl.fyi/depot@2f807d7f141068d2d60676a89213eaa5353ca6e0/-/blob/users/Profpatsch/nixpkgs-rewriter/default.nix
2020-09-23	dotnetCorePackages.sdk_3_1: fix dependent packages	Jamie Magee	1	-36/+6

2020-06-27	python-language-server: 2020-04-24 -> 2020-06-19 (#91469)	Jörg Thalheim	2	-390/+384

2020-05-09	python-language-server: init at 2020-04-24	Tom McLaughlin	6	-0/+1552

2019-05-04	[treewide] delete unused patches	c0bw3b	1	-11/+0

2015-06-06	Lay down the foundation for packaging the .NET echosystem	obadz	3	-0/+142
	- fetchNuGet can fetch binaries from nuget servers - buildDotnetPackage can build .NET packages using mono/xbuild - Places nuget & paket as they would clash with nix - Patch project files because F# targets are expected to be found in the mono directory (and we know that's not going to happen on nix) - Find DLLs that were copied from buildInputs and replace by symlink for sharing - Export produced DLL via the pkg-config mechanism - Create wrappers for produced EXEs - Repackaged this new infrastructure: keepass, monodevelop - Newly packaged: ExtCore, UnionArgParser, FSharp.Data, Paket, and a bunch more.. This is a combination of 73 commits.