summaryrefslogtreecommitdiffstats
path: root/pkgs/top-level/dotnet-packages.nix
AgeCommit message (Expand)Author
2024-03-19treewide: add meta.mainProgram to packages with a single binarystuebinm
2023-09-25nuget: move out of dotnet-packages and the dotnetPackages namespacesmdarocha
2023-09-16boogie: move out of dotnet-packages.nixmdarocha
2023-04-29dafny: move to separate filewhonore
2023-04-29dafny: 3.7.3 -> 4.0.0whonore
2023-04-29dafny: fix build by simulating gradleGuillaume Maudoux
2023-04-29Simplify a deletion in BoogieJohn Wiegley
2023-04-29Simplify a deletionJohn Wiegley
2023-04-29Use fetchFromGitHub instead of fetchurlJohn Wiegley
2023-04-29Some minor fixes, cleanup installed binaries for dafnyJohn Wiegley
2023-04-29pkgs.dafny: 2.3.0 -> 3.7.3John Wiegley
2023-04-29Remove some binaries installed with Boogie that conflict with DafnyJohn Wiegley
2023-03-11Merge pull request #218598 from DamienCassou/bump-nugetDamien Cassou
2023-03-08boogie: install vim-plugin to nvim/siteDoron Behar
2023-02-27dotnetPackages.Nuget: 5.6.0.6489->6.3.1.1Damien Cassou
2022-10-10RestSharp: 105.2.3 -> 106.12.0Yorick van Pelt
2022-08-02Maintain Boogie 2.4.1 for use with DafnyJohn Wiegley
2022-08-02Drop an unneeded pkgs.John Wiegley
2022-08-02pkgs.boogie: 2.4.1 -> 2.15.7John Wiegley
2022-05-15dotnetPackages.SharpZipLib: 0.86.0 -> 1.3.3Thomas Gerbet
2021-12-23buildDotnetPackage: rename baseName to pnameFelix Buehler
2021-11-11buildDotnetPackage: fix nativeBuildInputsArtturin
2021-07-21dotnetPackages.Nuget: 4.9.1 -> 5.6.0.6489Jörg Thalheim
2021-07-21dotnetPackages.Nuget: fix runtime erroroxalica
2021-07-20dotnetPackages.Nuget: deprecate phasesFelix Buehler
2021-06-14nixos/dotnetPackages: remove packagesVictor Freire
2021-06-09dotnetPackages.YamlDotNet: removeVictor Freire
2021-06-08nixos/dotnetPackages: remove packagesVictor Freire
2021-06-06dotnetPackages.FSharpFormatting: 2.9.8 -> 11.2.0Victor Freire
2021-06-05Merge pull request #125826 from ratsclub/dotnetPackages.FSharpData-4.1.1Sandro
2021-06-05dotnetPackages.YamlDotNet: 11.1.1Victor Freire
2021-06-05dotnetPackages.FSharpData: 2.2.3 -> 4.1.1Victor Freire
2021-06-05maintainers: add ratsclubVictor Freire
2021-06-04dotnetPackages.Fantomas: 1.6.0 -> 4.4.0Victor Freire
2021-05-23Prefer `pname` and `version` in `mkDerivation`s instead of `name` (#123438)Samuel Ainsworth
2021-05-16treewide: remove unzip where not neededBen Siraphob
2021-02-20treewide: unzip buildInputs to nativeBuildInputs (#112302)Ben Siraphob
2021-01-19treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nixJonathan Ringer
2021-01-10toplevel: stdenv.lib -> libProfpatsch
2020-10-24dafny: use pinned z3 in the full closureGuillaume Maudoux
2020-10-24dafny: pin z3 and Boogie versionGuillaume Maudoux
2020-06-14dotnetPackages.FSharpAutoComplete: add missing glib dependencyPierre Bourdon
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly
2019-10-08treewide: mark some broken packages as brokenLinus Heckemann
2019-08-28treewide: remove redundant recvolth
2019-08-08fsharp41: 4.1.7 -> 4.1.34; mono = mono6Jiri Danek
2019-08-07dotnetPackages.Nuget: 3.4.3 -> 4.9.1Jiri Danek
2019-06-20dafny: 2.1.0 -> 2.3.0Guillaume Maudoux
2019-04-22treewide: Change URLs to HTTPSDaniel Schaefer
2019-04-05dotnetPackages.FsLexYaccRuntime: init at 6.1.0Vincent Laporte
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-09 05:13:52 +0000