index
:
nixlib
this commit
master
sixos
Alyssa's collection of Nix expressions
Alyssa Ross
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
pkgs
/
top-level
/
dotnet-packages.nix
Commit message (
Expand
)
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
*
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
*
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
*
dotnetPackages.SharpZipLib: 0.86.0 -> 1.3.3
Thomas Gerbet
2022-05-15
*
buildDotnetPackage: rename baseName to pname
Felix Buehler
2021-12-23
*
buildDotnetPackage: fix nativeBuildInputs
Artturin
2021-11-11
*
dotnetPackages.Nuget: 4.9.1 -> 5.6.0.6489
Jörg Thalheim
2021-07-21
*
dotnetPackages.Nuget: fix runtime error
oxalica
2021-07-21
*
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
*
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
*
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
*
toplevel: stdenv.lib -> lib
Profpatsch
2021-01-10
*
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
*
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
*
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
[next]