about summary refs log tree commit diff
path: root/pkgs/top-level/dotnet-packages.nix
AgeCommit message (Expand)AuthorFilesLines
2023-03-11Merge pull request #218598 from DamienCassou/bump-nugetDamien Cassou1-2/+2
2023-03-08boogie: install vim-plugin to nvim/siteDoron Behar1-0/+2
2023-02-27dotnetPackages.Nuget: 5.6.0.6489->6.3.1.1Damien Cassou1-2/+2
2022-10-10RestSharp: 105.2.3 -> 106.12.0Yorick van Pelt1-2/+2
2022-08-02Maintain Boogie 2.4.1 for use with DafnyJohn Wiegley1-1/+54
2022-08-02Drop an unneeded pkgs.John Wiegley1-1/+1
2022-08-02pkgs.boogie: 2.4.1 -> 2.15.7John Wiegley1-19/+11
2022-05-15dotnetPackages.SharpZipLib: 0.86.0 -> 1.3.3Thomas Gerbet1-2/+2
2021-12-23buildDotnetPackage: rename baseName to pnameFelix Buehler1-26/+26
2021-11-11buildDotnetPackage: fix nativeBuildInputsArtturin1-1/+0
2021-07-21dotnetPackages.Nuget: 4.9.1 -> 5.6.0.6489Jörg Thalheim1-6/+6
2021-07-21dotnetPackages.Nuget: fix runtime erroroxalica1-0/+3
2021-07-20dotnetPackages.Nuget: deprecate phasesFelix Buehler1-1/+1
2021-06-14nixos/dotnetPackages: remove packagesVictor Freire1-171/+0
2021-06-09dotnetPackages.YamlDotNet: removeVictor Freire1-14/+0
2021-06-08nixos/dotnetPackages: remove packagesVictor Freire1-480/+0
2021-06-06dotnetPackages.FSharpFormatting: 2.9.8 -> 11.2.0Victor Freire1-3/+17
2021-06-05Merge pull request #125826 from ratsclub/dotnetPackages.FSharpData-4.1.1Sandro1-44/+14
2021-06-05dotnetPackages.YamlDotNet: 11.1.1Victor Freire1-0/+14
2021-06-05dotnetPackages.FSharpData: 2.2.3 -> 4.1.1Victor Freire1-44/+14
2021-06-05maintainers: add ratsclubVictor Freire1-0/+7
2021-06-04dotnetPackages.Fantomas: 1.6.0 -> 4.4.0Victor Freire1-2/+2
2021-05-23Prefer `pname` and `version` in `mkDerivation`s instead of `name` (#123438)Samuel Ainsworth1-4/+3
2021-05-16treewide: remove unzip where not neededBen Siraphob1-3/+0
2021-02-20treewide: unzip buildInputs to nativeBuildInputs (#112302)Ben Siraphob1-1/+1
2021-01-19treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nixJonathan Ringer1-2/+2
2021-01-10toplevel: stdenv.lib -> libProfpatsch1-40/+41
2020-10-24dafny: use pinned z3 in the full closureGuillaume Maudoux1-6/+8
2020-10-24dafny: pin z3 and Boogie versionGuillaume Maudoux1-7/+20
2020-06-14dotnetPackages.FSharpAutoComplete: add missing glib dependencyPierre Bourdon1-0/+2
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-8/+8
2019-10-08treewide: mark some broken packages as brokenLinus Heckemann1-0/+1
2019-08-28treewide: remove redundant recvolth1-6/+6
2019-08-08fsharp41: 4.1.7 -> 4.1.34; mono = mono6Jiri Danek1-9/+30
2019-08-07dotnetPackages.Nuget: 3.4.3 -> 4.9.1Jiri Danek1-3/+3
2019-06-20dafny: 2.1.0 -> 2.3.0Guillaume Maudoux1-5/+5
2019-04-22treewide: Change URLs to HTTPSDaniel Schaefer1-6/+6
2019-04-05dotnetPackages.FsLexYaccRuntime: init at 6.1.0Vincent Laporte1-0/+7
2018-10-31dotnetPackages.SharpFont: 3.1.0 -> 4.0.1 (#49545)Tristan Helmich1-2/+2
2018-09-15Deedle: 1.2.0 -> 1.2.5 (#46702)Bob van der Linden1-43/+4
2018-09-15Paket: 1.18.2 -> 5.179.1 (#46701)Bob van der Linden1-59/+4
2018-09-15Newtonsoft.Json: 6.0.8 -> 11.0.2 (#46679)Bob van der Linden1-33/+4
2018-07-21pkgs/*: remove unreferenced function argumentsvolth1-1/+0
2018-05-29Merge pull request #40612 from symphorien/boogie_vimxeji1-0/+12
2018-05-28dotnetPackages.Boogie: 2017-01-03 -> 2018-05-28Guillaume Maudoux1-3/+3
2018-05-28dotnetPackages.Boogie: use a recent NUnitGuillaume Maudoux1-1/+11
2018-05-03boogie: enable usage as a vim pluginSymphorien Gibol1-0/+12
2018-03-08dotnetPackages.Nuget: fix binary casing issueDan Peebles1-1/+1
2018-03-08Upgrade Nuget version from 2.8.5 to 3.4.3Cody Yu1-3/+3
2018-01-31dafny: 1.9.8 -> 2.1.0Guillaume Maudoux1-3/+10
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-22 23:27:33 +0000