about summary refs log tree commit diff
path: root/pkgs/top-level/dotnet-packages.nix
Commit message (Expand)AuthorAge
* nuget: move out of dotnet-packages and the dotnetPackages namespacesmdarocha2023-09-25
* boogie: move out of dotnet-packages.nixmdarocha2023-09-16
* dafny: move to separate filewhonore2023-04-29
* dafny: 3.7.3 -> 4.0.0whonore2023-04-29
* dafny: fix build by simulating gradleGuillaume Maudoux2023-04-29
* Simplify a deletion in BoogieJohn Wiegley2023-04-29
* Simplify a deletionJohn Wiegley2023-04-29
* Use fetchFromGitHub instead of fetchurlJohn Wiegley2023-04-29
* Some minor fixes, cleanup installed binaries for dafnyJohn Wiegley2023-04-29
* pkgs.dafny: 2.3.0 -> 3.7.3John Wiegley2023-04-29
* Remove some binaries installed with Boogie that conflict with DafnyJohn Wiegley2023-04-29
* Merge pull request #218598 from DamienCassou/bump-nugetDamien Cassou2023-03-11
|\
| * dotnetPackages.Nuget: 5.6.0.6489->6.3.1.1Damien Cassou2023-02-27
* | boogie: install vim-plugin to nvim/siteDoron Behar2023-03-08
|/
* RestSharp: 105.2.3 -> 106.12.0Yorick van Pelt2022-10-10
* Maintain Boogie 2.4.1 for use with DafnyJohn Wiegley2022-08-02
* Drop an unneeded pkgs.John Wiegley2022-08-02
* pkgs.boogie: 2.4.1 -> 2.15.7John Wiegley2022-08-02
* dotnetPackages.SharpZipLib: 0.86.0 -> 1.3.3Thomas Gerbet2022-05-15
* buildDotnetPackage: rename baseName to pnameFelix Buehler2021-12-23
* buildDotnetPackage: fix nativeBuildInputsArtturin2021-11-11
* dotnetPackages.Nuget: 4.9.1 -> 5.6.0.6489Jörg Thalheim2021-07-21
* dotnetPackages.Nuget: fix runtime erroroxalica2021-07-21
* dotnetPackages.Nuget: deprecate phasesFelix Buehler2021-07-20
* nixos/dotnetPackages: remove packagesVictor Freire2021-06-14
* dotnetPackages.YamlDotNet: removeVictor Freire2021-06-09
* nixos/dotnetPackages: remove packagesVictor Freire2021-06-08
* dotnetPackages.FSharpFormatting: 2.9.8 -> 11.2.0Victor Freire2021-06-06
* Merge pull request #125826 from ratsclub/dotnetPackages.FSharpData-4.1.1Sandro2021-06-05
|\
| * dotnetPackages.FSharpData: 2.2.3 -> 4.1.1Victor Freire2021-06-05
* | dotnetPackages.YamlDotNet: 11.1.1Victor Freire2021-06-05
|/
* maintainers: add ratsclubVictor Freire2021-06-05
* dotnetPackages.Fantomas: 1.6.0 -> 4.4.0Victor Freire2021-06-04
* Prefer `pname` and `version` in `mkDerivation`s instead of `name` (#123438)Samuel Ainsworth2021-05-23
* treewide: remove unzip where not neededBen Siraphob2021-05-16
* treewide: unzip buildInputs to nativeBuildInputs (#112302)Ben Siraphob2021-02-20
* treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nixJonathan Ringer2021-01-19
* toplevel: stdenv.lib -> libProfpatsch2021-01-10
* dafny: use pinned z3 in the full closureGuillaume Maudoux2020-10-24
* dafny: pin z3 and Boogie versionGuillaume Maudoux2020-10-24
* dotnetPackages.FSharpAutoComplete: add missing glib dependencyPierre Bourdon2020-06-14
* treewide: Per RFC45, remove all unquoted URLsMichael Reilly2020-04-10
* treewide: mark some broken packages as brokenLinus Heckemann2019-10-08
* treewide: remove redundant recvolth2019-08-28
* fsharp41: 4.1.7 -> 4.1.34; mono = mono6Jiri Danek2019-08-08
* dotnetPackages.Nuget: 3.4.3 -> 4.9.1Jiri Danek2019-08-07
* dafny: 2.1.0 -> 2.3.0Guillaume Maudoux2019-06-20
* treewide: Change URLs to HTTPSDaniel Schaefer2019-04-22
* dotnetPackages.FsLexYaccRuntime: init at 6.1.0Vincent Laporte2019-04-05
* dotnetPackages.SharpFont: 3.1.0 -> 4.0.1 (#49545)Tristan Helmich2018-10-31