about summary refs log tree commit diff
path: root/pkgs/top-level/dotnet-packages.nix
AgeCommit message (Expand)AuthorFilesLines
2024-06-09treewide: Remove indefinite article from meta.descriptionAlexis Hildebrandt1-1/+1
2024-03-19treewide: add meta.mainProgram to packages with a single binarystuebinm1-0/+1
2023-09-25nuget: move out of dotnet-packages and the dotnetPackages namespacesmdarocha1-21/+2
2023-09-16boogie: move out of dotnet-packages.nixmdarocha1-47/+4
2023-04-29dafny: move to separate filewhonore1-54/+0
2023-04-29dafny: 3.7.3 -> 4.0.0whonore1-20/+22
2023-04-29dafny: fix build by simulating gradleGuillaume Maudoux1-0/+8
2023-04-29Simplify a deletion in BoogieJohn Wiegley1-3/+1
2023-04-29Simplify a deletionJohn Wiegley1-4/+2
2023-04-29Use fetchFromGitHub instead of fetchurlJohn Wiegley1-3/+5
2023-04-29Some minor fixes, cleanup installed binaries for dafnyJohn Wiegley1-2/+3
2023-04-29pkgs.dafny: 2.3.0 -> 3.7.3John Wiegley1-90/+12
2023-04-29Remove some binaries installed with Boogie that conflict with DafnyJohn Wiegley1-0/+3
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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-02 18:26:45 +0000