index
:
nixpkgs
this commit
archive
master
rootfs
usbip
wayland
Downstream nixpkgs tree for Spectrum
Alyssa Ross
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
pkgs
/
development
/
dotnet-modules
Commit message (
Expand
)
Author
Age
*
boogie: move out of dotnet-packages.nix
mdarocha
2023-09-16
*
dafny: move to separate file
whonore
2023-04-29
*
dafny: 3.7.3 -> 4.0.0
whonore
2023-04-29
*
dafny: fix build by pruning old deps
Guillaume Maudoux
2023-04-29
*
dafny: add missing deps
whonore
2023-04-29
*
buildDotnetModule: add support for dotnet tools
Guillaume Maudoux
2023-04-29
*
pkgs.dafny: 2.3.0 -> 3.7.3
John Wiegley
2023-04-29
*
python-language-server: remove
Jamie Magee
2023-02-18
*
build-dotnet-module: restore for current runtime by default
David McFarland
2022-12-19
*
treewide: update all dotnet lockfiles
David McFarland
2022-12-19
*
dotnetCorePackages: move systemToDotnetRid out of sdk
David McFarland
2022-12-19
*
dotnet: update lock files of packages using nuget-to-nix
David McFarland
2022-10-02
*
python-language-server: restore for current platform only
David McFarland
2022-10-02
*
python-language-server: migrate lockfile generation to fetch-deps
Ivar Scholten
2022-09-11
*
pkgs.boogie: 2.4.1 -> 2.15.7
John Wiegley
2022-08-02
*
python-language-server: update dependencies
mdarocha
2022-06-20
*
python-language-server: 2021-09-08 -> 2022-02-18
R. Ryantm
2022-03-16
*
nuget-to-nix: update to use pname instead of name
Felix Buehler
2021-12-23
*
python-language-server: 2021-05-20 -> 2021-09-08, use buildDotnetModule
Ivar Scholten
2021-11-21
*
python-language-server: Update dependencies
Claudio Bley
2021-11-16
*
python-language-server: Update dependencies
Claudio Bley
2021-09-17
*
python-language-server: 2020-10-08 -> 2021-05-20
Jörg Thalheim
2021-07-10
*
python-language-server: cleanup deps, add missing phase hooks
Felix Rath
2021-05-15
*
python-language-server: 2020-06-19 -> 2020-10-08
Felix Rath
2021-05-15
*
treewide: with stdenv.lib; in meta -> with lib;
Profpatsch
2021-01-11
*
dotnetCorePackages.sdk_3_1: fix dependent packages
Jamie Magee
2020-09-23
*
python-language-server: 2020-04-24 -> 2020-06-19 (#91469)
Jörg Thalheim
2020-06-27
*
python-language-server: init at 2020-04-24
Tom McLaughlin
2020-05-09
*
[treewide] delete unused patches
c0bw3b
2019-05-04
*
Lay down the foundation for packaging the .NET echosystem
obadz
2015-06-06