Felix Buehler
989e950f48
buildDotnetPackage: rename baseName to pname
3 years ago
Artturin
f77006c308
buildDotnetPackage: fix nativeBuildInputs
...
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
3 years ago
Jörg Thalheim
195f1b0cba
dotnetPackages.Nuget: 4.9.1 -> 5.6.0.6489
3 years ago
oxalica
a015aaf1c9
dotnetPackages.Nuget: fix runtime error
...
configurePhase breaks the binary and results in
`File does not contain a valid CIL image.`
3 years ago
Felix Buehler
0e9e040375
dotnetPackages.Nuget: deprecate phases
3 years ago
Victor Freire
0db88d9a1c
nixos/dotnetPackages: remove packages
3 years ago
Victor Freire
fbc06db82f
dotnetPackages.YamlDotNet: remove
3 years ago
Victor Freire
e52e7335dd
nixos/dotnetPackages: remove packages
...
F# packages have been removed for being unmaintaned.
3 years ago
Victor Freire
bfa89fbfca
dotnetPackages.FSharpFormatting: 2.9.8 -> 11.2.0
3 years ago
Victor Freire
a62c4253b4
dotnetPackages.YamlDotNet: 11.1.1
3 years ago
Victor Freire
974a30ce11
dotnetPackages.FSharpData: 2.2.3 -> 4.1.1
3 years ago
Victor Freire
841ae9708e
maintainers: add ratsclub
3 years ago
Victor Freire
9314f5d0d5
dotnetPackages.Fantomas: 1.6.0 -> 4.4.0
3 years ago
Samuel Ainsworth
02c595ebdb
Prefer `pname` and `version` in `mkDerivation`s instead of `name` ( #123438 )
...
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
Co-authored-by: nixpkgs-review <nixpkgs-review@example.com>
3 years ago
Ben Siraphob
c5a669d3f7
treewide: remove unzip where not needed
3 years ago
Ben Siraphob
127733211e
treewide: unzip buildInputs to nativeBuildInputs ( #112302 )
3 years ago
Jonathan Ringer
9bb3fccb5b
treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nix
...
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.
3 years ago
Profpatsch
2497553b23
toplevel: stdenv.lib -> lib
...
The library does not depend on stdenv, that `stdenv` exposes `lib` is
an artifact of the ancient origins of nixpkgs.
4 years ago
Guillaume Maudoux
7b7efa47e7
dafny: use pinned z3 in the full closure
4 years ago
Guillaume Maudoux
7769e32006
dafny: pin z3 and Boogie version
4 years ago
Pierre Bourdon
8dd26c6d85
dotnetPackages.FSharpAutoComplete: add missing glib dependency
4 years ago
Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs
4 years ago
Linus Heckemann
5aa4b19946
treewide: mark some broken packages as broken
...
Refs:
e6754980264fe927320d5ff2dbd24ca4fac9a160
1e9cc5b9844ef603fe160e9f671178f96200774f
793a2fe1e8bb886ca2096c5904e1193dc3268b6d
c19cf65261639f749012454932a532aa7c681e4b
f6544d618f30fae0bc4798c4387a8c7c9c047a7c
5 years ago
volth
08f68313a4
treewide: remove redundant rec
5 years ago
Jiri Danek
e57b145a81
fsharp41: 4.1.7 -> 4.1.34; mono = mono6
5 years ago
Jiri Danek
4e71b7ca93
dotnetPackages.Nuget: 3.4.3 -> 4.9.1
5 years ago
Guillaume Maudoux
514415dede
dafny: 2.1.0 -> 2.3.0
5 years ago
Daniel Schaefer
bac4d95aa2
treewide: Change URLs to HTTPS
...
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
5 years ago
Vincent Laporte
014196b7db
dotnetPackages.FsLexYaccRuntime: init at 6.1.0
5 years ago
Tristan Helmich
40ae90c9e4
dotnetPackages.SharpFont: 3.1.0 -> 4.0.1 ( #49545 )
6 years ago
Bob van der Linden
76001b8509
Deedle: 1.2.0 -> 1.2.5 ( #46702 )
6 years ago
Bob van der Linden
6a4b9dfa2f
Paket: 1.18.2 -> 5.179.1 ( #46701 )
6 years ago
Bob van der Linden
fb11065050
Newtonsoft.Json: 6.0.8 -> 11.0.2 ( #46679 )
6 years ago
volth
52f53c69ce
pkgs/*: remove unreferenced function arguments
6 years ago
Guillaume Maudoux
c8cb9a92d4
dotnetPackages.Boogie: 2017-01-03 -> 2018-05-28
6 years ago
Guillaume Maudoux
9a76a33e35
dotnetPackages.Boogie: use a recent NUnit
6 years ago
Symphorien Gibol
0bfa4e8195
boogie: enable usage as a vim plugin
6 years ago
Dan Peebles
8e0e8e57f8
dotnetPackages.Nuget: fix binary casing issue
...
Didn't notice the first time around because macOS isn't case-sensitive
by default, but on Linux the build failed to produce a wrapper script.
6 years ago
Cody Yu
a47adc152e
Upgrade Nuget version from 2.8.5 to 3.4.3
6 years ago
Guillaume Maudoux
e565dd8f2c
dafny: 1.9.8 -> 2.1.0
6 years ago
Samuel Dionne-Riel
7b97c8c0c8
treewide: homepage+src updates (found by repology, #33263 )
7 years ago
Orivej Desh
f82b44106c
dotnetPackages.SmartIrc4net: rehash source
...
The only change is in the package metadata.
7 years ago
mimadrid
09e0cc7cc7
Update homepage attributes: http -> https
...
Homepage link "http://.../ " is a permanent redirect to "https://.../ " and should be updated
https://repology.org/repository/nix_stable/problems
7 years ago
Roman Kuznetsov
a0466f7f22
fsharp: 4.0.1.1 -> 4.1.7
...
Build F# with default mono version
Introduce separate fsharp41 packages
7 years ago
Guillaume Maudoux
f7b7d8e7b5
dafny: fix meta attribute
7 years ago
Guillaume Maudoux
aeaf893e57
dafny: init at v1.9.8
7 years ago
Guillaume Maudoux
ccb2d83980
boogie: fix basename issues; promote to package
7 years ago
Remy Goldschmidt
d1aa065a5d
dotnetPackages.Boogie: init at 2017-01-03
7 years ago
Andrew Cann
40cab6182c
OpenNAT: init at 2.1.0
8 years ago
Kirill Boltaev
bccd75094f
treewide: explicitly specify gtk and related package versions
8 years ago