whonore
d4f814d956
dafny: move to separate file
2023-04-29 19:11:12 -04:00
whonore
54149f4b1d
dafny: 3.7.3 -> 4.0.0
2023-04-29 19:10:36 -04:00
Guillaume Maudoux
bfebb2de80
dafny: fix build by pruning old deps
2023-04-29 18:54:04 -04:00
whonore
4025de0789
dafny: add missing deps
2023-04-29 18:54:04 -04:00
Guillaume Maudoux
6efefdc8c1
buildDotnetModule: add support for dotnet tools
2023-04-29 18:54:04 -04:00
John Wiegley
30124c4a5f
pkgs.dafny: 2.3.0 -> 3.7.3
2023-04-29 09:28:22 -04:00
Jamie Magee
a0f8ef409a
python-language-server: remove
2023-02-18 22:39:25 -08:00
David McFarland
824d40aa04
build-dotnet-module: restore for current runtime by default
2022-12-19 15:36:25 -04:00
David McFarland
13861970f4
treewide: update all dotnet lockfiles
2022-12-19 15:36:25 -04:00
David McFarland
3fdb6c5a90
dotnetCorePackages: move systemToDotnetRid out of sdk
2022-12-19 15:36:25 -04:00
David McFarland
9e0a1e7b8e
dotnet: update lock files of packages using nuget-to-nix
2022-10-02 16:09:27 -03:00
David McFarland
9a94932f38
python-language-server: restore for current platform only
2022-10-02 16:09:27 -03:00
Ivar Scholten
bb025eefd6
python-language-server: migrate lockfile generation to fetch-deps
2022-09-11 01:06:34 +02:00
John Wiegley
01fc89623b
pkgs.boogie: 2.4.1 -> 2.15.7
...
Builds newer than 2.4.1 require buildDotnetModule instead of
buildDotnetPackage.
2022-08-02 10:24:21 -07:00
mdarocha
6623b82593
python-language-server: update dependencies
2022-06-20 20:53:02 +02:00
R. Ryantm
6996fe2373
python-language-server: 2021-09-08 -> 2022-02-18
2022-03-16 06:31:49 +00:00
Felix Buehler
81eb599e8d
nuget-to-nix: update to use pname instead of name
2021-12-23 22:47:34 +01:00
Ivar Scholten
d820154199
python-language-server: 2021-05-20 -> 2021-09-08, use buildDotnetModule
2021-11-21 11:43:54 +01:00
Claudio Bley
be738c1590
python-language-server: Update dependencies
2021-11-16 15:54:33 +01:00
Claudio Bley
d23ff4d6d9
python-language-server: Update dependencies
2021-09-17 10:11:27 -07:00
Jörg Thalheim
796214bca6
python-language-server: 2020-10-08 -> 2021-05-20
2021-07-10 10:50:21 +02:00
Felix Rath
d68e0569a0
python-language-server: cleanup deps, add missing phase hooks
...
also improve script a little bit
2021-05-15 16:20:43 -07:00
Felix Rath
d3b00c99a9
python-language-server: 2020-06-19 -> 2020-10-08
...
Update for Python 3.9 support
2021-05-15 16:20:43 -07:00
Profpatsch
4a7f99d55d
treewide: with stdenv.lib; in meta -> with lib;
...
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
2021-01-11 10:38:22 +01:00
Jamie Magee
460c98ec69
dotnetCorePackages.sdk_3_1: fix dependent packages
2020-09-23 13:18:44 +02:00
Jörg Thalheim
efe0b7c6ae
python-language-server: 2020-04-24 -> 2020-06-19 ( #91469 )
2020-06-27 13:52:42 +02:00
Tom McLaughlin
d963bf30f5
python-language-server: init at 2020-04-24
2020-05-09 09:41:14 +02:00
c0bw3b
9cb260d091
[treewide] delete unused patches
2019-05-04 19:52:24 +02:00
obadz
d4681bf626
Lay down the foundation for packaging the .NET echosystem
...
- 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.
2015-06-06 09:06:22 -04:00
