colin
/
nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge staging-next into staging

This commit is contained in:
github-actions[bot] 2024-03-15 12:01:34 +00:00 committed by GitHub
parent f842b83fe8 9da92f31f4
commit 655a011eb5
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
30 changed files with 362 additions and 228 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
pkgs/applications/audio/puddletag/default.nix
View File

@ -21,14 +21,14 @@
python3.pkgs.buildPythonApplication rec {
pname = "puddletag";
version = "2.2.0";
version = "2.3.0";
format = "setuptools";
src = fetchFromGitHub {
owner = "puddletag";
repo = "puddletag";
rev = "refs/tags/${version}";
hash = "sha256-KaFfpOWI9u2ZC/3kuCLneWOOKSmAaIuHPFHptkKMH/g=";
hash = "sha256-oScT8YcQoDf2qZ+J7xKm22Sbfym3tkVUrWT5D2LU5e8=";
};
pythonRelaxDeps = true;
@ -57,6 +57,7 @@ python3.pkgs.buildPythonApplication rec {
pyparsing
pyqt5
rapidfuzz
unidecode
];
# the file should be executable but it isn't so our wrapper doesn't run

12
pkgs/applications/editors/vscode/vscodium.nix
View File

@ -15,11 +15,11 @@ let
archive_fmt = if stdenv.isDarwin then "zip" else "tar.gz";
sha256 = {
x86_64-linux = "02rkp86rj7irs5011g6180yihllwfx47afk5vybxab4v23vigidr";
x86_64-darwin = "1hpj6kkyby9chr27w2382az7h2bg3x1x7c9j6i5bh8vl81s9yfd4";
aarch64-linux = "04fhmfplvyqg2l5xlqldl6kfy1m3y19sf2nikigmsm550b8m6sgc";
aarch64-darwin = "1yhyybd27ympg12mp4w46z64g2mi1hbv4d6hfl34l7fq4c5jkjf2";
armv7l-linux = "0jpjsfal67la123hqp9607bih3vnjdpbnrghyy1vywy15z71pff5";
x86_64-linux = "1jy1lsbha951z2bcnfrkgin7nms3clpa97rx7c7pdm23mnyg9073";
x86_64-darwin = "0425cnzw1dz2k6a9p63w7vf25icf02m04ri82dp0k1kvhjfr8l37";
aarch64-linux = "123p1glr9rc1z2lfl8g5zw7rcipg1njybscqn9qyzkpqymcsqfdy";
aarch64-darwin = "1bl5wvbfr5k1vy6ah2i9548cn1l3nx3ng4c544zvclskmr8kf84s";
armv7l-linux = "0nyv3yjqcrg4r2m2d63qz34g07pp8n0ndmai9pqwcf7a1m0v0sj4";
}.${system} or throwSystem;
sourceRoot = lib.optionalString (!stdenv.isDarwin) ".";
@ -29,7 +29,7 @@ in
# Please backport all compatible updates to the stable release.
# This is important for the extension ecosystem.
version = "1.87.1.24068";
version = "1.87.2.24072";
pname = "vscodium";
executableName = "codium";

36
pkgs/applications/emulators/retroarch/hashes.json
View File

@ -55,10 +55,10 @@
"src": {
"owner": "libretro",
"repo": "beetle-pce-libretro",
"rev": "96a654ae2b2df1cc12dc7f1f2d1822db562aa51f",
"hash": "sha256-Tz9FA2Kqu8R2pXSTgbr5Mxu4VKrURWWpy+J3R3/CHpk="
"rev": "729a29761ae491941369c66e5f4d3521f3d335b4",
"hash": "sha256-Vv/e5qa/4JjOiUC/PvuJai2VjmAQ3Xz069l1+gP7aOw="
},
"version": "unstable-2024-03-08"
"version": "unstable-2024-03-15"
},
"beetle-pce-fast": {
"fetcher": "fetchFromGitHub",
@ -287,10 +287,10 @@
"src": {
"owner": "libretro",
"repo": "fbneo",
"rev": "6fc8060a75fd75c5b292fbef488ed8dd37c7bc34",
"hash": "sha256-Wjh6ab5kLlfX4QVv+d6YgnuvWtDat9wgJ8dQdl7MH2A="
"rev": "a01694f28bb5197339d519a2207132cd873f12fa",
"hash": "sha256-6Zklsy4mFGmZ5k5O81TT/fl74vVAylXu2gUaTouMUd4="
},
"version": "unstable-2024-03-06"
"version": "unstable-2024-03-14"
},
"fceumm": {
"fetcher": "fetchFromGitHub",
@ -307,11 +307,11 @@
"src": {
"owner": "flyinghead",
"repo": "flycast",
"rev": "464defe0d791795553a6cd2f0dbe05b437ecd068",
"hash": "sha256-Gnp8MMerKweUnDg8fIoAF3vkIFVVbQdn3qjxZYLBTEY=",
"rev": "056a02357d46886f42249407e83bf598b599ee4d",
"hash": "sha256-h5/cz0OnrRT/ZS/TdcTHOQaNbaQaXuFKOUMLrMC/8zo=",
"fetchSubmodules": true
},
"version": "unstable-2024-03-10"
"version": "unstable-2024-03-14"
},
"fmsx": {
"fetcher": "fetchFromGitHub",
@ -630,10 +630,10 @@
"src": {
"owner": "libretro",
"repo": "pcsx_rearmed",
"rev": "9aefd427e47e1cdf94578e1913054bc14a44bab6",
"hash": "sha256-CWeHKajdTu4M8SioMsIt6c1BrnguPxmQ6cKOkPpRdqw="
"rev": "1546496fa818dc51e763c37f4f2e2456dafa4e13",
"hash": "sha256-9zAor3HxefRlRLq0ab447JUG1JsBZ4OdAbvzw3XckqE="
},
"version": "unstable-2024-02-14"
"version": "unstable-2024-03-10"
},
"picodrive": {
"fetcher": "fetchFromGitHub",
@ -651,22 +651,22 @@
"src": {
"owner": "jpd002",
"repo": "Play-",
"rev": "79cb8379b0ac86d26bacf85f34b5d199b232f6fa",
"hash": "sha256-lXSbFsbZh01FxzN1f0pBSFXrJe1RimlmmmTB9GitQzo=",
"rev": "2d770d474893720ad8b9c973014b9ff8605866bb",
"hash": "sha256-1UCatzgmxAEpwH8yiLrKpIcQ6rVUwoGH/laATKbDYfs=",
"fetchSubmodules": true
},
"version": "unstable-2024-03-05"
"version": "unstable-2024-03-11"
},
"ppsspp": {
"fetcher": "fetchFromGitHub",
"src": {
"owner": "hrydgard",
"repo": "ppsspp",
"rev": "a0aaab9c47bae66fd834354977a562baec581a54",
"hash": "sha256-N+s4BzOsXUMqdOnfy0Th8euaD2EvRoYEie706RNuIoo=",
"rev": "0b4dfb8d20c6410c8e4fe17b7dfef7482867e6d5",
"hash": "sha256-xFuwsnEHhP7isuEkfJhWHM6vp/vpw7ff6H9tY81FoOk=",
"fetchSubmodules": true
},
"version": "unstable-2024-03-10"
"version": "unstable-2024-03-13"
},
"prboom": {
"fetcher": "fetchFromGitHub",

2
pkgs/applications/gis/grass/default.nix
View File

@ -23,7 +23,6 @@
, pkg-config
, postgresql
, proj
, proj-datumgrid
, python3Packages
, readline
, sqlite
@ -71,7 +70,6 @@ stdenv.mkDerivation (finalAttrs: {
pdal
postgresql
proj
proj-datumgrid
readline
sqlite
wxGTK32

4
pkgs/applications/misc/pgmodeler/default.nix
View File

@ -11,13 +11,13 @@
stdenv.mkDerivation rec {
pname = "pgmodeler";
version = "1.0.6";
version = "1.1.1";
src = fetchFromGitHub {
owner = "pgmodeler";
repo = "pgmodeler";
rev = "v${version}";
sha256 = "sha256-Km4PWvbIzgc1Kxsp26HYLCA4OkCfOsGWsdWYLmWf/NA=";
sha256 = "sha256-9/D5C3l3N15q+xP9lLAcdT+1+dEMcowBeR+DjE67fYQ=";
};
nativeBuildInputs = [ pkg-config qmake wrapQtAppsHook ];

4
pkgs/applications/networking/instant-messengers/signal-desktop/signal-desktop-beta.nix
View File

@ -2,7 +2,7 @@
callPackage ./generic.nix { } rec {
pname = "signal-desktop-beta";
dir = "Signal Beta";
version = "7.2.0-beta.1";
version = "7.3.0-beta.1";
url = "https://updates.signal.org/desktop/apt/pool/s/signal-desktop-beta/signal-desktop-beta_${version}_amd64.deb";
hash = "sha256-ZCTCcNMrZwadAbs+1sf3A+S1FRjTCb1lYk0Vg5rxqXc=";
hash = "sha256-sXZC6JgeMlX3lNPSMdB64SyiOAMPkjDAjYZrEwnIMpM=";
}

6
pkgs/by-name/fi/files-cli/package.nix
View File

@ -7,16 +7,16 @@
buildGoModule rec {
pname = "files-cli";
version = "2.12.41";
version = "2.12.43";
src = fetchFromGitHub {
repo = "files-cli";
owner = "files-com";
rev = "v${version}";
hash = "sha256-Z/lkVZln5MBh5ETtAK9ohkDQE2leObHeVlskvsvicPc=";
hash = "sha256-c41y56BatgWfOBZdRrZxAxkzyw0fTGmNXzEfGelsZnQ=";
};
vendorHash = "sha256-ZySp/JKFEIhWNjqSYpSvCQyJRqVmsXL8du/77XQcFMM=";
vendorHash = "sha256-jNU2WzAjHr/AL9cMxCrVzNO4t4UhRIABFtV9pZRqEuE=";
ldflags = [
"-s"

6
pkgs/by-name/nh/nh/package.nix
View File

@ -10,7 +10,7 @@
, nix-output-monitor
}:
let
version = "3.5.4";
version = "3.5.7";
runtimeDeps = [ nvd nix-output-monitor ];
in
rustPlatform.buildRustPackage {
@ -21,7 +21,7 @@ rustPlatform.buildRustPackage {
owner = "viperML";
repo = "nh";
rev = "refs/tags/v${version}";
hash = "sha256-fnuVQqdK48c66EC4mL8t7uLhwsY6JDyn7H5tjRpx9Sg=";
hash = "sha256-gpvOzL+7PP22juK6yI01EiGUEVVo4lHGXCs5OmCAX+s=";
};
strictDeps = true;
@ -47,7 +47,7 @@ rustPlatform.buildRustPackage {
--prefix PATH : ${lib.makeBinPath runtimeDeps}
'';
cargoHash = "sha256-njJdwaJtLB4S36mS8miwrk7jo5U7BzOIlXqh3qNyA5E=";
cargoHash = "sha256-DcYvovD2Qx4ybpV7YckwYvy8hsoq50YGZI8fl2BXFLI=";
passthru.updateScript = nix-update-script { };

4
pkgs/by-name/sc/scalingo/package.nix
View File

@ -2,13 +2,13 @@
buildGoModule rec {
pname = "scalingo";
version = "1.30.1";
version = "1.31.0";
src = fetchFromGitHub {
owner = pname;
repo = "cli";
rev = version;
hash = "sha256-Dzm1f7iNVCzbSogYfjDIHJ2UbPnP1F9nF9QASe/H3TU=";
hash = "sha256-Y162BHTlerTbsRJ1KhT82iBMv+jI7Rq+h8JfBIV0uIs=";
};
vendorHash = null;

4
pkgs/by-name/uv/uv/Cargo.lock generated
View File

@ -4198,7 +4198,7 @@ checksum = "f00cc9702ca12d3c81455259621e676d0f7251cec66a21e98fe2e9a37db93b2a"
[[package]]
name = "uv"
version = "0.1.19"
version = "0.1.21"
dependencies = [
"anstream",
"anyhow",
@ -4719,7 +4719,7 @@ dependencies = [
[[package]]
name = "uv-version"
version = "0.1.19"
version = "0.1.21"
[[package]]
name = "uv-virtualenv"

4
pkgs/by-name/uv/uv/package.nix
View File

@ -11,13 +11,13 @@
rustPlatform.buildRustPackage rec {
pname = "uv";
version = "0.1.19";
version = "0.1.21";
src = fetchFromGitHub {
owner = "astral-sh";
repo = "uv";
rev = version;
hash = "sha256-OJDN6guJpUfGhX2Sk47wLHfT3XT2mnSINPiI2DgyfsU=";
hash = "sha256-xc1+33BCycl7BJqqcQKLR9Sgg8xTRcF8P7gRIyeRIZ4=";
};
cargoLock = {

393
pkgs/desktops/gnome/extensions/extensions.json
View File

File diff suppressed because one or more lines are too long

4
pkgs/development/compilers/ocaml/4.14.nix
View File

@ -1,6 +1,6 @@
import ./generic.nix {
major_version = "4";
minor_version = "14";
patch_version = "1";
sha256 = "sha256-wSeXTQJCV2z0cGGyCqnIbRe+DWqpaH9uyYNd5nvnu28";
patch_version = "2";
sha256 = "sha256-eBn2hpPjKUb5M1jfRqjqb1FyImgfzG98uWIUIWz+x2Q=";
}

17
pkgs/development/coq-modules/Vpl/default.nix Normal file
View File

@ -0,0 +1,17 @@
{ lib, mkCoqDerivation, coq, version ? null }:
mkCoqDerivation {
pname = "Vpl";
owner = "VERIMAG-Polyhedra";
inherit version;
defaultVersion = if lib.versions.range "8.8" "8.9" coq.coq-version then "0.5" else null;
release."0.5".sha256 = "sha256-mSD/xSweeK9WMxWDdX/vzN96iXo74RkufjuNvtzsP9o=";
sourceRoot = "source/coq";
meta = coq.ocamlPackages.vpl-core.meta // {
description = "Coq interface to VPL abstract domain of convex polyhedra";
};
}

18
pkgs/development/coq-modules/VplTactic/default.nix Normal file
View File

@ -0,0 +1,18 @@
{ lib, mkCoqDerivation, coq, Vpl, version ? null }:
mkCoqDerivation {
pname = "VplTactic";
owner = "VERIMAG-Polyhedra";
defaultVersion = if lib.versions.isEq "8.9" coq.version then "0.5" else null;
release."0.5".rev = "487e3aff8446bed2c5116cefc7d71d98a06e85de";
release."0.5".sha256 = "sha256-4h0hyvj9R+GOgnGWQFDi0oENLZPiJoimyK1q327qvIY=";
buildInputs = [ coq.ocamlPackages.vpl-core ];
propagatedBuildInputs = [ Vpl ];
mlPlugin = true;
meta = Vpl.meta // {
description = "A Coq Tactic for Arithmetic (based on VPL)";
};
}

4
pkgs/development/interpreters/clojure/default.nix
View File

@ -2,12 +2,12 @@
stdenv.mkDerivation (finalAttrs: {
pname = "clojure";
version = "1.11.1.1435";
version = "1.11.2.1446";
src = fetchurl {
# https://github.com/clojure/brew-install/releases
url = "https://github.com/clojure/brew-install/releases/download/${finalAttrs.version}/clojure-tools-${finalAttrs.version}.tar.gz";
hash = "sha256-RS/FebIED8RYYXRXBKXZPRROO0HqyDo0zhb+p4Q5m8A=";
hash = "sha256-qn7/sPyVDfjZPLeWxlUBBljAW/d8cCw6lEm3/deS73E=";
};
nativeBuildInputs = [

4
pkgs/development/libraries/libcdada/default.nix
View File

@ -6,13 +6,13 @@
stdenv.mkDerivation rec {
pname = "libcdada";
version = "0.4.0";
version = "0.5.2";
src = fetchFromGitHub {
owner = "msune";
repo = "libcdada";
rev = "v${version}";
hash = "sha256-vUasCukDRZYB67eu87ckEZG9i6rsNf0aKY2kZsVezRE=";
hash = "sha256-rrBmsXBatvaf/u/UVHpTm9YUo+gsQv1rtuprpRF/3kU=";
};
nativeBuildInputs = [

12
pkgs/development/libraries/webrtc-audio-processing/default.nix
View File

@ -44,12 +44,18 @@ stdenv.mkDerivation rec {
buildInputs = lib.optionals stdenv.isDarwin (with darwin.apple_sdk.frameworks; [ ApplicationServices Foundation ]);
env = lib.optionalAttrs stdenv.isx86_32 {
# https://gitlab.freedesktop.org/pulseaudio/webrtc-audio-processing/-/issues/5
NIX_CFLAGS_COMPILE = "-msse2";
};
meta = with lib; {
homepage = "https://www.freedesktop.org/software/pulseaudio/webrtc-audio-processing";
description = "A more Linux packaging friendly copy of the AudioProcessing module from the WebRTC project";
license = licenses.bsd3;
# https://gitlab.freedesktop.org/pulseaudio/webrtc-audio-processing/-/blob/master/webrtc/rtc_base/system/arch.h
# x86-32 disabled due to https://gitlab.freedesktop.org/pulseaudio/webrtc-audio-processing/-/issues/5
platforms = intersectLists platforms.unix (platforms.aarch64 ++ platforms.mips ++ platforms.riscv ++ platforms.x86_64);
platforms = platforms.unix;
# BE platforms are unsupported
# https://gitlab.freedesktop.org/pulseaudio/webrtc-audio-processing/-/issues/31
badPlatforms = platforms.bigEndian;
};
}

4
pkgs/development/python-modules/plotnine/default.nix
View File

@ -16,7 +16,7 @@
buildPythonPackage rec {
pname = "plotnine";
version = "0.13.1";
version = "0.13.2";
pyproject = true;
disabled = pythonOlder "3.9";
@ -25,7 +25,7 @@ buildPythonPackage rec {
owner = "has2k1";
repo = "plotnine";
rev = "refs/tags/v${version}";
hash = "sha256-VgR7T8pDrVMBYqtvTfRmFwW61IREYiRCMXbpCOj/a4Q=";
hash = "sha256-GgkaFiRRVpr0TreAetpaiOjpsyLV2wfGQWvUdHJN2mg=";
};
nativeBuildInputs = [

4
pkgs/development/python-modules/python-novaclient/default.nix
View File

@ -17,14 +17,14 @@
buildPythonPackage rec {
pname = "python-novaclient";
version = "18.5.0";
version = "18.6.0";
format = "setuptools";
disabled = pythonOlder "3.8";
src = fetchPypi {
inherit pname version;
hash = "sha256-4j7kQMDI6uK1OvqIHTCsrsBof8660kY5HsKblsVDA40=";
hash = "sha256-VzwQqkILCJjTX7FG7di7AFgGv/8BMa4rWjDKIqyJR3s=";
};
propagatedBuildInputs = [

4
pkgs/development/tools/esbuild/default.nix
View File

@ -2,13 +2,13 @@
buildGoModule rec {
pname = "esbuild";
version = "0.20.1";
version = "0.20.2";
src = fetchFromGitHub {
owner = "evanw";
repo = "esbuild";
rev = "v${version}";
hash = "sha256-p8ScB1mFwcc+gqmVFV/17yExP6DYZxMbHDHEiWM7/Xs=";
hash = "sha256-h/Vqwax4B4nehRP9TaYbdixAZdb1hx373dNxNHvDrtY=";
};
vendorHash = "sha256-+BfxCyg0KkDQpHt/wycy/8CTG6YBA/VJvJFhhzUnSiQ=";

6
pkgs/development/tools/misc/circleci-cli/default.nix
View File

@ -2,16 +2,16 @@
buildGoModule rec {
pname = "circleci-cli";
version = "0.1.30401";
version = "0.1.30549";
src = fetchFromGitHub {
owner = "CircleCI-Public";
repo = pname;
rev = "v${version}";
sha256 = "sha256-ebZEZ24KQgGOimCIRHlI5Uwv1dO1W7s0dTrY/n3y9Ao=";
sha256 = "sha256-dzKMj1JKalbdID113cfFA1hbOW7PQk3pfJaRqIJdpts=";
};
vendorHash = "sha256-GOC1ZL0F/VwLuQ5d8OpAczw59lnyindp8LKmBd+jwgI=";
vendorHash = "sha256-60edYYhbSPiJWmuQXXEt+xCnSxsHf8Q38RgyWwdP6vQ=";
nativeBuildInputs = [ installShellFiles ];

1
pkgs/development/tools/ocaml/merlin/4.x.nix
View File

@ -23,6 +23,7 @@ let
"4.13.1" = "4.7-413";
"4.14.0" = "4.14-414";
"4.14.1" = "4.14-414";
"4.14.2" = "4.14-414";
"5.0.0" = "4.14-500";
"5.1.0" = "4.14-501";
"5.1.1" = "4.14-501";

4
pkgs/servers/http/jetty/11.x.nix
View File

@ -1,4 +1,4 @@
import ./common.nix {
version = "11.0.19";
hash = "sha256-CJpJSeIuFNiduCpiSoa52vYIncWn5/tMEgMVslJCcy0=";
version = "11.0.20";
hash = "sha256-qOpIWht7Q8zjNRiHvpN5SBy+hOhddhgor5S55gWxHlQ=";
}

4
pkgs/servers/http/jetty/12.x.nix
View File

@ -1,4 +1,4 @@
import ./common.nix {
version = "12.0.5";
hash = "sha256-TnKoDgn59t0m5dBuMISQPpQrIFcTsv77V/KXJabpsyA=";
version = "12.0.7";
hash = "sha256-n85MgRRWCaa7+KvGH1QyiQ03TFoAw7N2jPCJbmuGZNg=";
}

4
pkgs/servers/http/pomerium/default.nix
View File

@ -14,12 +14,12 @@ let
in
buildGoModule rec {
pname = "pomerium";
version = "0.25.0";
version = "0.25.1";
src = fetchFromGitHub {
owner = "pomerium";
repo = "pomerium";
rev = "v${version}";
hash = "sha256-mRAxqazTlNNPp54Q94TjhbCY+4Ul1Cw4VTCa1iuGOoY=";
hash = "sha256-xVPyiwKtSBchXC0FhNegeJlUej877zwNvrlAhSy6dJE=";
};
vendorHash = "sha256-GdeZkKkENacc11FmEAFUfX9efInfhpv2Lz0/3CtixFQ=";

6
pkgs/servers/web-apps/pict-rs/default.nix
View File

@ -13,17 +13,17 @@
rustPlatform.buildRustPackage rec {
pname = "pict-rs";
version = "0.5.7";
version = "0.5.9";
src = fetchFromGitea {
domain = "git.asonix.dog";
owner = "asonix";
repo = pname;
rev = "v${version}";
sha256 = "sha256-MBV92+mu41ulT6wuzTGbobbspoQA0hNbRIiISol0n48=";
sha256 = "sha256-ZRT382ClImnlwvWyA1w7ZIIF4PXr3rWmeIsqJYngkfM=";
};
cargoHash = "sha256-p7s/gs+sMXR1l08C81tY4K3oV9fWgm07C0nRGspfoR8=";
cargoHash = "sha256-FTb8VoQJFS55CKlQvoWkBQEBUCvUnFaUAxIW22zEIHI=";
# needed for internal protobuf c wrapper library
PROTOC = "${protobuf}/bin/protoc";

2
pkgs/tools/games/gamemode/default.nix
View File

@ -69,7 +69,7 @@ stdenv.mkDerivation (finalAttrs: {
"--libexecdir=libexec"
];
doCheck = true;
doCheck = false; # https://github.com/FeralInteractive/gamemode/issues/468
nativeCheckInputs = [
appstream
];

10
pkgs/tools/networking/boundary/default.nix
View File

@ -2,7 +2,7 @@
stdenv.mkDerivation rec {
pname = "boundary";
version = "0.15.1";
version = "0.15.2";
src =
let
@ -15,10 +15,10 @@ stdenv.mkDerivation rec {
aarch64-darwin = "darwin_arm64";
};
sha256 = selectSystem {
x86_64-linux = "sha256-LPIvbT934HjetzaljMMVaZslavAY2torE684MLOTvLo=";
aarch64-linux = "sha256-RH8BHo97nTfMSWLfVY6r7qWqMBXcZRCIY5u/9lzrog4=";
x86_64-darwin = "sha256-6jEVffu4bTKzlnT364q5oD8+T6nXyqKZhBVLXv0Pbac=";
aarch64-darwin = "sha256-m+rGK7VbCZNDsumrFI3HNa/CG1eEzKDQTNTbb2ECn7c=";
x86_64-linux = "sha256-X8bO4kV5+u093TyEFMiKn967U7AsesRzU5YHohWpEdQ=";
aarch64-linux = "sha256-qMu44ecBzSx3knsXIKfRrO0X1BE14FoVFq6Vgw3bD5o=";
x86_64-darwin = "sha256-g2aQc9NUUxTO0BEsg/w4h1tYTUrtXiau62nBj3OM3Is=";
aarch64-darwin = "sha256-w6Vwft5w+aYC7aBndSQia3i7CyTOYG6ln7G6D9b9J90=";
};
in
fetchzip {

2
pkgs/top-level/coq-packages.nix
View File

@ -125,6 +125,8 @@ let
vcfloat = callPackage ../development/coq-modules/vcfloat {};
Velisarios = callPackage ../development/coq-modules/Velisarios {};
Verdi = callPackage ../development/coq-modules/Verdi {};
Vpl = callPackage ../development/coq-modules/Vpl {};
VplTactic = callPackage ../development/coq-modules/VplTactic {};
vscoq-language-server = callPackage ../development/coq-modules/vscoq-language-server {};
VST = callPackage ../development/coq-modules/VST ((lib.optionalAttrs
(lib.versionAtLeast self.coq.version "8.14") {