Commit Graph

105 Commits

Author SHA1 Message Date
Alexis Hildebrandt
755b915a15 treewide: Remove indefinite article from meta.description
nix run nixpkgs#silver-searcher -- -G '\.nix$' -0l 'description.*"[Aa]n?' pkgs \
  | xargs -0 nix run nixpkgs#gnused -- -i '' -Ee 's/(description.*")[Aa]n? (.)/\1\U\2/'
2024-06-09 23:07:45 +02:00
stuebinm
ff1a94e523 treewide: add meta.mainProgram to packages with a single binary
The nixpkgs-unstable channel's programs.sqlite was used to identify
packages producing exactly one binary, and these automatically added
to their package definitions wherever possible.
2024-03-19 03:14:51 +01:00
mdarocha
8cc6699fd4 nuget: move out of dotnet-packages and the dotnetPackages namespaces 2023-09-25 19:37:17 +02:00
mdarocha
b0d00352bb boogie: move out of dotnet-packages.nix
dotnet-packages.nix is deprecated and being removed
2023-09-16 16:00:29 +02:00
whonore
d4f814d956 dafny: move to separate file 2023-04-29 19:11:12 -04:00
whonore
54149f4b1d dafny: 3.7.3 -> 4.0.0 2023-04-29 19:10:36 -04:00
Guillaume Maudoux
a3c2acc931 dafny: fix build by simulating gradle 2023-04-29 18:54:04 -04:00
John Wiegley
09d1509ad3 Simplify a deletion in Boogie 2023-04-29 09:28:22 -04:00
John Wiegley
4e5d7a4ca0 Simplify a deletion 2023-04-29 09:28:22 -04:00
John Wiegley
11458e36d7 Use fetchFromGitHub instead of fetchurl 2023-04-29 09:28:22 -04:00
John Wiegley
d9b3d77448 Some minor fixes, cleanup installed binaries for dafny 2023-04-29 09:28:22 -04:00
John Wiegley
30124c4a5f pkgs.dafny: 2.3.0 -> 3.7.3 2023-04-29 09:28:22 -04:00
John Wiegley
d9f812d2fc Remove some binaries installed with Boogie that conflict with Dafny 2023-04-29 09:28:22 -04:00
Damien Cassou
17ec6a711b
Merge pull request #218598 from DamienCassou/bump-nuget 2023-03-11 07:03:40 +01:00
Doron Behar
4de2b19fa1 boogie: install vim-plugin to nvim/site 2023-03-08 12:32:40 +02:00
Damien Cassou
4c8b75ed9a
dotnetPackages.Nuget: 5.6.0.6489->6.3.1.1 2023-02-27 12:12:01 +01:00
Yorick van Pelt
eb9f3bd1b0
RestSharp: 105.2.3 -> 106.12.0
CVE-2021-27293
2022-10-10 09:40:05 +02:00
John Wiegley
6c0a5d84e5
Maintain Boogie 2.4.1 for use with Dafny 2022-08-02 10:24:22 -07:00
John Wiegley
149349a4f0
Drop an unneeded pkgs. 2022-08-02 10:24:21 -07:00
John Wiegley
01fc89623b
pkgs.boogie: 2.4.1 -> 2.15.7
Builds newer than 2.4.1 require buildDotnetModule instead of
buildDotnetPackage.
2022-08-02 10:24:21 -07:00
Thomas Gerbet
bac0d3b001 dotnetPackages.SharpZipLib: 0.86.0 -> 1.3.3
Fixes CVE-2021-32840
2022-05-15 15:12:02 +02:00
Felix Buehler
989e950f48 buildDotnetPackage: rename baseName to pname 2021-12-23 22:46:35 +01:00
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
2021-11-11 21:47:50 +02:00
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:
e675498026
1e9cc5b984
793a2fe1e8
c19cf65261
f6544d618f
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