Commit Graph

82 Commits

Author SHA1 Message Date
Jörg Thalheim
195f1b0cba dotnetPackages.Nuget: 4.9.1 -> 5.6.0.6489 2021-07-21 23:22:42 +02:00
oxalica
a015aaf1c9
dotnetPackages.Nuget: fix runtime error
configurePhase breaks the binary and results in
`File does not contain a valid CIL image.`
2021-07-21 02:31:52 +08:00
Felix Buehler
0e9e040375 dotnetPackages.Nuget: deprecate phases 2021-07-20 11:53:09 +02:00
Victor Freire
0db88d9a1c nixos/dotnetPackages: remove packages 2021-06-14 18:33:39 -03:00
Victor Freire
fbc06db82f dotnetPackages.YamlDotNet: remove 2021-06-09 04:09:00 -03:00
Victor Freire
e52e7335dd nixos/dotnetPackages: remove packages
F# packages have been removed for being unmaintaned.
2021-06-08 21:01:30 -07:00
Victor Freire
bfa89fbfca dotnetPackages.FSharpFormatting: 2.9.8 -> 11.2.0 2021-06-06 13:35:10 -03:00
Sandro
7e77d58f2a
Merge pull request #125826 from ratsclub/dotnetPackages.FSharpData-4.1.1 2021-06-05 23:26:04 +02:00
Victor Freire
a62c4253b4 dotnetPackages.YamlDotNet: 11.1.1 2021-06-05 14:56:09 -03:00
Victor Freire
974a30ce11 dotnetPackages.FSharpData: 2.2.3 -> 4.1.1 2021-06-05 14:29:19 -03:00
Victor Freire
841ae9708e maintainers: add ratsclub 2021-06-05 01:21:10 -03:00
Victor Freire
9314f5d0d5 dotnetPackages.Fantomas: 1.6.0 -> 4.4.0 2021-06-04 22:38:30 -03:00
Samuel Ainsworth
02c595ebdb
Prefer pname and version in mkDerivations instead of name (#123438)
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
Co-authored-by: nixpkgs-review <nixpkgs-review@example.com>
2021-05-23 17:07:31 +02:00
Ben Siraphob
c5a669d3f7 treewide: remove unzip where not needed 2021-05-16 19:29:28 -07:00
Ben Siraphob
127733211e
treewide: unzip buildInputs to nativeBuildInputs (#112302) 2021-02-20 16:01:53 -05:00
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.
2021-01-19 01:16:25 -08:00
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.
2021-01-10 17:44:59 +01:00
Guillaume Maudoux
7b7efa47e7 dafny: use pinned z3 in the full closure 2020-10-24 22:24:40 +02:00
Guillaume Maudoux
7769e32006 dafny: pin z3 and Boogie version 2020-10-24 17:04:15 +02:00
Pierre Bourdon
8dd26c6d85
dotnetPackages.FSharpAutoComplete: add missing glib dependency 2020-06-14 12:53:38 +02:00
Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
Linus Heckemann
5aa4b19946 treewide: mark some broken packages as broken
Refs:
e6754980264fe927320d5ff2dbd24ca4fac9a160
1e9cc5b9844ef603fe160e9f671178f96200774f
793a2fe1e8bb886ca2096c5904e1193dc3268b6d
c19cf65261639f749012454932a532aa7c681e4b
f6544d618f30fae0bc4798c4387a8c7c9c047a7c
2019-10-08 17:14:26 +02:00
volth
08f68313a4 treewide: remove redundant rec 2019-08-28 11:07:32 +00:00
Jiri Danek
e57b145a81
fsharp41: 4.1.7 -> 4.1.34; mono = mono6 2019-08-08 00:17:40 +02:00
Jiri Danek
4e71b7ca93 dotnetPackages.Nuget: 3.4.3 -> 4.9.1 2019-08-07 23:58:39 +02:00
Guillaume Maudoux
514415dede dafny: 2.1.0 -> 2.3.0 2019-06-20 17:15:27 +02:00
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
2019-04-22 10:19:54 +02:00
Vincent Laporte
014196b7db dotnetPackages.FsLexYaccRuntime: init at 6.1.0 2019-04-05 20:05:49 +02:00
Tristan Helmich
40ae90c9e4 dotnetPackages.SharpFont: 3.1.0 -> 4.0.1 (#49545) 2018-10-31 21:04:31 +01:00
Bob van der Linden
76001b8509 Deedle: 1.2.0 -> 1.2.5 (#46702) 2018-09-15 16:18:29 +02:00
Bob van der Linden
6a4b9dfa2f Paket: 1.18.2 -> 5.179.1 (#46701) 2018-09-15 16:02:55 +02:00
Bob van der Linden
fb11065050 Newtonsoft.Json: 6.0.8 -> 11.0.2 (#46679) 2018-09-15 01:49:57 +02:00
volth
52f53c69ce pkgs/*: remove unreferenced function arguments 2018-07-21 02:48:04 +00:00
xeji
af14718392
Merge pull request #40612 from symphorien/boogie_vim
boogie: enable usage as a vim plugin
2018-05-29 19:58:20 +02:00
Guillaume Maudoux
c8cb9a92d4 dotnetPackages.Boogie: 2017-01-03 -> 2018-05-28 2018-05-28 13:13:51 +02:00
Guillaume Maudoux
9a76a33e35 dotnetPackages.Boogie: use a recent NUnit 2018-05-28 13:13:51 +02:00
Symphorien Gibol
0bfa4e8195 boogie: enable usage as a vim plugin 2018-05-03 13:52:41 +02:00
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.
2018-03-08 21:09:02 +00:00
Cody Yu
a47adc152e Upgrade Nuget version from 2.8.5 to 3.4.3 2018-03-08 13:24:24 -05:00
Guillaume Maudoux
e565dd8f2c dafny: 1.9.8 -> 2.1.0 2018-01-31 13:52:43 +01:00
Samuel Dionne-Riel
7b97c8c0c8 treewide: homepage+src updates (found by repology, #33263) 2018-01-05 20:42:46 +01:00
Orivej Desh
f82b44106c dotnetPackages.SmartIrc4net: rehash source
The only change is in the package metadata.
2017-11-21 18:24:06 +00:00
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
2017-08-03 11:56:15 +02:00
Roman Kuznetsov
a0466f7f22 fsharp: 4.0.1.1 -> 4.1.7
Build F# with default mono version

Introduce separate fsharp41 packages
2017-04-17 10:39:38 +02:00
Guillaume Maudoux
f7b7d8e7b5 dafny: fix meta attribute 2017-02-07 11:35:10 +01:00
Guillaume Maudoux
aeaf893e57 dafny: init at v1.9.8 2017-02-07 10:13:42 +01:00
Guillaume Maudoux
ccb2d83980 boogie: fix basename issues; promote to package 2017-02-06 22:50:05 +01:00
Remy Goldschmidt
d1aa065a5d dotnetPackages.Boogie: init at 2017-01-03 2017-02-04 15:27:18 +01:00
Andrew Cann
40cab6182c OpenNAT: init at 2.1.0 2016-10-29 13:28:24 +08:00
Kirill Boltaev
bccd75094f treewide: explicitly specify gtk and related package versions 2016-09-12 18:26:06 +03:00