about summary refs log tree commit diff
path: root/pkgs/top-level/dotnet-packages.nix
AgeCommit message (Expand)AuthorFilesLines
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
2018-01-05treewide: homepage+src updates (found by repology, #33263)Samuel Dionne-Riel1-2/+2
2017-11-21dotnetPackages.SmartIrc4net: rehash sourceOrivej Desh1-1/+1
2017-08-03Update homepage attributes: http -> httpsmimadrid1-1/+1
2017-04-17fsharp: 4.0.1.1 -> 4.1.7Roman Kuznetsov1-0/+77
2017-02-07dafny: fix meta attributeGuillaume Maudoux1-2/+2
2017-02-07dafny: init at v1.9.8Guillaume Maudoux1-0/+45
2017-02-06boogie: fix basename issues; promote to packageGuillaume Maudoux1-3/+4
2017-02-04dotnetPackages.Boogie: init at 2017-01-03Remy Goldschmidt1-0/+31
2016-10-29OpenNAT: init at 2.1.0Andrew Cann1-0/+7
2016-09-12treewide: explicitly specify gtk and related package versionsKirill Boltaev1-1/+1
2016-08-19dotnetPackages.GitVersionTree: init at 2013-10-01obadz1-0/+48
2016-05-08dotnetPackages.MonoNat: 1.2.21 -> 1.2.24Ricardo Ardissone1-2/+2
2016-05-08dotnetPackages.SharpFont: 3.0.1 -> 3.1.0Ricardo Ardissone1-2/+2
2016-05-08dotnetPackages.NUnitConsole: init at 3.0.1Ricardo Ardissone1-0/+7
2016-05-08dotnetPackages.NUnit3: init at 3.0.1Ricardo Ardissone1-1/+10
2016-04-29dotnetPackages.RestSharp: init at 105.2.3Ricardo Ardissone1-0/+7