Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | nuget: move out of dotnet-packages and the dotnetPackages namespaces | mdarocha | 2023-09-25 |
| | |||
* | boogie: move out of dotnet-packages.nix | mdarocha | 2023-09-16 |
| | | | | dotnet-packages.nix is deprecated and being removed | ||
* | dafny: move to separate file | whonore | 2023-04-29 |
| | |||
* | dafny: 3.7.3 -> 4.0.0 | whonore | 2023-04-29 |
| | |||
* | dafny: fix build by simulating gradle | Guillaume Maudoux | 2023-04-29 |
| | |||
* | Simplify a deletion in Boogie | John Wiegley | 2023-04-29 |
| | |||
* | Simplify a deletion | John Wiegley | 2023-04-29 |
| | |||
* | Use fetchFromGitHub instead of fetchurl | John Wiegley | 2023-04-29 |
| | |||
* | Some minor fixes, cleanup installed binaries for dafny | John Wiegley | 2023-04-29 |
| | |||
* | pkgs.dafny: 2.3.0 -> 3.7.3 | John Wiegley | 2023-04-29 |
| | |||
* | Remove some binaries installed with Boogie that conflict with Dafny | John Wiegley | 2023-04-29 |
| | |||
* | Merge pull request #218598 from DamienCassou/bump-nuget | Damien Cassou | 2023-03-11 |
|\ | |||
| * | dotnetPackages.Nuget: 5.6.0.6489->6.3.1.1 | Damien Cassou | 2023-02-27 |
| | | |||
* | | boogie: install vim-plugin to nvim/site | Doron Behar | 2023-03-08 |
|/ | |||
* | RestSharp: 105.2.3 -> 106.12.0 | Yorick van Pelt | 2022-10-10 |
| | | | | CVE-2021-27293 | ||
* | Maintain Boogie 2.4.1 for use with Dafny | John Wiegley | 2022-08-02 |
| | |||
* | Drop an unneeded pkgs. | John Wiegley | 2022-08-02 |
| | |||
* | pkgs.boogie: 2.4.1 -> 2.15.7 | John Wiegley | 2022-08-02 |
| | | | | | Builds newer than 2.4.1 require buildDotnetModule instead of buildDotnetPackage. | ||
* | dotnetPackages.SharpZipLib: 0.86.0 -> 1.3.3 | Thomas Gerbet | 2022-05-15 |
| | | | | Fixes CVE-2021-32840 | ||
* | buildDotnetPackage: rename baseName to pname | Felix Buehler | 2021-12-23 |
| | |||
* | buildDotnetPackage: fix nativeBuildInputs | Artturin | 2021-11-11 |
| | | | | | | | the nativeBuildInputs of the derivation that uses buildDotnetPackage overshadowed the nativeBuildInputs of buildDotnetPackage so pkg-config wasn't getting added to the path dotnet-packages: remove unused arg | ||
* | dotnetPackages.Nuget: 4.9.1 -> 5.6.0.6489 | Jörg Thalheim | 2021-07-21 |
| | |||
* | dotnetPackages.Nuget: fix runtime error | oxalica | 2021-07-21 |
| | | | | | configurePhase breaks the binary and results in `File does not contain a valid CIL image.` | ||
* | dotnetPackages.Nuget: deprecate phases | Felix Buehler | 2021-07-20 |
| | |||
* | nixos/dotnetPackages: remove packages | Victor Freire | 2021-06-14 |
| | |||
* | dotnetPackages.YamlDotNet: remove | Victor Freire | 2021-06-09 |
| | |||
* | nixos/dotnetPackages: remove packages | Victor Freire | 2021-06-08 |
| | | | | F# packages have been removed for being unmaintaned. | ||
* | dotnetPackages.FSharpFormatting: 2.9.8 -> 11.2.0 | Victor Freire | 2021-06-06 |
| | |||
* | Merge pull request #125826 from ratsclub/dotnetPackages.FSharpData-4.1.1 | Sandro | 2021-06-05 |
|\ | |||
| * | dotnetPackages.FSharpData: 2.2.3 -> 4.1.1 | Victor Freire | 2021-06-05 |
| | | |||
* | | dotnetPackages.YamlDotNet: 11.1.1 | Victor Freire | 2021-06-05 |
|/ | |||
* | maintainers: add ratsclub | Victor Freire | 2021-06-05 |
| | |||
* | dotnetPackages.Fantomas: 1.6.0 -> 4.4.0 | Victor Freire | 2021-06-04 |
| | |||
* | Prefer `pname` and `version` in `mkDerivation`s instead of `name` (#123438) | Samuel Ainsworth | 2021-05-23 |
| | | | | Co-authored-by: Sandro <sandro.jaeckel@gmail.com> Co-authored-by: nixpkgs-review <nixpkgs-review@example.com> | ||
* | treewide: remove unzip where not needed | Ben Siraphob | 2021-05-16 |
| | |||
* | treewide: unzip buildInputs to nativeBuildInputs (#112302) | Ben Siraphob | 2021-02-20 |
| | |||
* | treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nix | Jonathan Ringer | 2021-01-19 |
| | | | | | | | | | | | | | continuation of #109595 pkgconfig was aliased in 2018, however, it remained in all-packages.nix due to its wide usage. This cleans up the remaining references to pkgs.pkgsconfig and moves the entry to aliases.nix. python3Packages.pkgconfig remained unchanged because it's the canonical name of the upstream package on pypi. | ||
* | toplevel: stdenv.lib -> lib | Profpatsch | 2021-01-10 |
| | | | | | The library does not depend on stdenv, that `stdenv` exposes `lib` is an artifact of the ancient origins of nixpkgs. | ||
* | dafny: use pinned z3 in the full closure | Guillaume Maudoux | 2020-10-24 |
| | |||
* | dafny: pin z3 and Boogie version | Guillaume Maudoux | 2020-10-24 |
| | |||
* | dotnetPackages.FSharpAutoComplete: add missing glib dependency | Pierre Bourdon | 2020-06-14 |
| | |||
* | treewide: Per RFC45, remove all unquoted URLs | Michael Reilly | 2020-04-10 |
| | |||
* | treewide: mark some broken packages as broken | Linus Heckemann | 2019-10-08 |
| | | | | | | | | | Refs: e6754980264fe927320d5ff2dbd24ca4fac9a160 1e9cc5b9844ef603fe160e9f671178f96200774f 793a2fe1e8bb886ca2096c5904e1193dc3268b6d c19cf65261639f749012454932a532aa7c681e4b f6544d618f30fae0bc4798c4387a8c7c9c047a7c | ||
* | treewide: remove redundant rec | volth | 2019-08-28 |
| | |||
* | fsharp41: 4.1.7 -> 4.1.34; mono = mono6 | Jiri Danek | 2019-08-08 |
| | |||
* | dotnetPackages.Nuget: 3.4.3 -> 4.9.1 | Jiri Danek | 2019-08-07 |
| | |||
* | dafny: 2.1.0 -> 2.3.0 | Guillaume Maudoux | 2019-06-20 |
| | |||
* | treewide: Change URLs to HTTPS | Daniel Schaefer | 2019-04-22 |
| | | | | | | Lots of URLs were HTTP redirect to HTTPS. Changed those and checked them if there's actual content. Inspired by https://github.com/NixOS/nixpkgs/issues/60004 | ||
* | dotnetPackages.FsLexYaccRuntime: init at 6.1.0 | Vincent Laporte | 2019-04-05 |
| | |||
* | dotnetPackages.SharpFont: 3.1.0 -> 4.0.1 (#49545) | Tristan Helmich | 2018-10-31 |
| |