Merge staging-next into staging

Changed files
+227 -47
pkgs
applications
misc
office
onlyoffice-bin
development
coq-modules
topology
zorns-lemma
libraries
s2n-tls
spatialite-tools
python-modules
black
pyls-black
web
os-specific
linux
servers
monitoring
zabbix
reproxy
search
groonga
tools
misc
zthrottle
security
gpg-tui
httpx
top-level
+31 -13
pkgs/applications/misc/grip/default.nix
···
-
{ lib, stdenv, fetchurl, gtk2, glib, pkg-config, libgnome, libgnomeui, vte
-
, curl, cdparanoia, libid3tag, ncurses, libtool }:
stdenv.mkDerivation rec {
-
name = "grip-4.2.0";
src = fetchurl {
url = "mirror://sourceforge/grip/${name}.tar.gz";
-
sha256 = "1si5kidwg0i2jg0brzyvjrzw24v3km2hdgd4kda1adzq81a3p1cs";
};
-
nativeBuildInputs = [ pkg-config ];
-
buildInputs = [ gtk2 glib libgnome libgnomeui vte curl cdparanoia
-
libid3tag ncurses libtool ];
-
-
hardeningDisable = [ "format" ];
-
-
# glib-2.62 deprecations
-
NIX_CFLAGS_COMPILE = "-DGLIB_DISABLE_DEPRECATION_WARNINGS";
meta = {
description = "GTK-based audio CD player/ripper";
homepage = "http://nostatic.org/grip";
-
license = lib.licenses.gpl2;
maintainers = with lib.maintainers; [ marcweber peti ];
platforms = lib.platforms.linux;
···
+
{ lib
+
, stdenv
+
, fetchurl
+
, gtk2
+
, glib
+
, pkg-config
+
, libgnome
+
, libgnomeui
+
, vte
+
, curl
+
, cdparanoia
+
, libid3tag
+
, ncurses
+
, libtool
+
}:
stdenv.mkDerivation rec {
+
name = "grip-4.2.1";
src = fetchurl {
url = "mirror://sourceforge/grip/${name}.tar.gz";
+
sha256 = "sha256-3bFJURPbq9rzLsJCppRjSARhcOJxC4eSfw5VxvZgQ3Q=";
};
+
nativeBuildInputs = [ pkg-config libtool ];
+
buildInputs = [
+
gtk2
+
glib
+
libgnome
+
libgnomeui
+
vte
+
curl
+
cdparanoia
+
libid3tag
+
ncurses
+
];
+
enableParallelBuilding = true;
meta = {
description = "GTK-based audio CD player/ripper";
homepage = "http://nostatic.org/grip";
+
license = lib.licenses.gpl2Plus;
maintainers = with lib.maintainers; [ marcweber peti ];
platforms = lib.platforms.linux;
+7 -5
pkgs/applications/office/onlyoffice-bin/default.nix
···
in stdenv.mkDerivation rec {
pname = "onlyoffice-desktopeditors";
-
version = "6.1.0";
-
minor = "90";
src = fetchurl {
-
url = "https://github.com/ONLYOFFICE/DesktopEditors/releases/download/v${version}/onlyoffice-desktopeditors_${version}-${minor}_amd64.deb";
-
sha256 = "sha256-TUaECChM3GxtB54/zNIKjRIocnAxpBVK7XsX3z7aq8o=";
};
nativeBuildInputs = [
···
substituteInPlace $out/share/applications/onlyoffice-desktopeditors.desktop \
--replace "/usr/bin/onlyoffice-desktopeditor" "$out/bin/DesktopEditor"
-
runHook preInstall
'';
preFixup = ''
···
meta = with lib; {
description = "Office suite that combines text, spreadsheet and presentation editors allowing to create, view and edit local documents";
homepage = "https://www.onlyoffice.com/";
platforms = [ "x86_64-linux" ];
license = licenses.agpl3Plus;
maintainers = with maintainers; [ nh2 gtrunsec ];
···
in stdenv.mkDerivation rec {
pname = "onlyoffice-desktopeditors";
+
version = "6.2.0";
+
minor = null;
src = fetchurl {
+
url = "https://github.com/ONLYOFFICE/DesktopEditors/releases/download/v${version}/onlyoffice-desktopeditors_amd64.deb";
+
sha256 = "sha256-nKmWxaVVul/rGDIh3u9zCpKu7U0nmrntFFf96xQyzdg=";
};
nativeBuildInputs = [
···
substituteInPlace $out/share/applications/onlyoffice-desktopeditors.desktop \
--replace "/usr/bin/onlyoffice-desktopeditor" "$out/bin/DesktopEditor"
+
runHook postInstall
'';
preFixup = ''
···
meta = with lib; {
description = "Office suite that combines text, spreadsheet and presentation editors allowing to create, view and edit local documents";
homepage = "https://www.onlyoffice.com/";
+
downloadPage = "https://github.com/ONLYOFFICE/DesktopEditors/releases";
+
changelog = "https://github.com/ONLYOFFICE/DesktopEditors/blob/master/CHANGELOG.md";
platforms = [ "x86_64-linux" ];
license = licenses.agpl3Plus;
maintainers = with maintainers; [ nh2 gtrunsec ];
+38
pkgs/development/coq-modules/topology/default.nix
···
···
+
{ lib, mkCoqDerivation, coq, mathcomp, zorns-lemma, version ? null }:
+
with lib;
+
+
mkCoqDerivation rec {
+
pname = "topology";
+
+
releaseRev = v: "v${v}";
+
+
release."8.12.0".sha256 = "sha256-ypHmHwzwZ6MQPYwuS3QyZmVOEPUCSbO2lhVaA6TypgQ=";
+
release."8.10.0".sha256 = "sha256-mCLF3JYIiO3AEW9yvlcLeF7zN4SjW3LG+Y5vYB0l55A=";
+
release."8.9.0".sha256 = "sha256-ZJh1BM34iZOQ75zqLIA+KtBjO2y33y0UpAw/ydCWQYc=";
+
release."8.8.0".sha256 = "sha256-Yfm3UymEP1e+BKMNPhdRFLdFhynMirtQ8E0HXnRiqHU=";
+
release."8.7.0".sha256 = "sha256-qcZQKvMRs5wWIAny8ciF9TrmEQfKKO9fWhwIRL+s7VA=";
+
release."8.6.0".sha256 = "sha256-eu/dBEFo3y6vnXlJljUD4hds6+qgAPQVvsuspyGHcj8=";
+
+
inherit version;
+
defaultVersion = with versions; switch coq.coq-version [
+
{ case = isGe "8.12"; out = "8.12.0"; }
+
{ case = "8.11"; out = "8.12.0"; }
+
{ case = "8.10"; out = "8.10.0"; }
+
{ case = "8.9"; out = "8.9.0"; }
+
{ case = "8.8"; out = "8.8.0"; }
+
{ case = "8.7"; out = "8.7.0"; }
+
{ case = "8.6"; out = "8.6.0"; }
+
] null;
+
+
propagatedBuildInputs = optional (versions.isLe "8.12" defaultVersion) zorns-lemma;
+
+
meta = {
+
description = "General topology in Coq";
+
longDescription = ''
+
This library develops some of the basic concepts and results of
+
general topology in Coq.
+
'';
+
maintainers = with maintainers; [ siraben ];
+
license = licenses.lgpl21Plus;
+
};
+
}
+38
pkgs/development/coq-modules/zorns-lemma/default.nix
···
···
+
{ lib, mkCoqDerivation, coq, version ? null }:
+
with lib;
+
+
mkCoqDerivation {
+
pname = "zorns-lemma";
+
+
releaseRev = v: "v${v}";
+
+
release."8.11.0".sha256 = "sha256-2Hf7YwRcFmP/DqwFtF1p78MCNV50qUWfMVQtZbwKd0k=";
+
release."8.10.0".sha256 = "sha256-qLPLK2ZLJQ4SmJX2ADqFiP4kgHuQFJTeNXkBbjiFS+4=";
+
release."8.9.0".sha256 = "sha256-lEh978cXehglFX9D92RVltEuvN8umfPo/hvmFZm2NGo=";
+
release."8.8.0".sha256 = "sha256-ikXGzABu8VW7O0xNtCNvIq29c+mlDUm4k/ygVcsgDOI=";
+
release."8.7.0".sha256 = "sha256-jozvkkKLFBllN6K4oeYD0lNG+MdnOuKrDUPDocHUG6c=";
+
release."8.6.0".sha256 = "sha256-jozvkkKLFBllN6K4oeYD0lNG+MdnOuKrDUPDocHUG6c=";
+
release."8.5.0".sha256 = "sha256-mH/v02ObMjbVPYx2H+Jhz+Xp0XRKN67iMAdA1VNFzso=";
+
+
inherit version;
+
defaultVersion = with versions; switch coq.coq-version [
+
{ case = isGe "8.11"; out = "8.11.0"; }
+
{ case = "8.10"; out = "8.10.0"; }
+
{ case = "8.9"; out = "8.9.0"; }
+
{ case = "8.8"; out = "8.8.0"; }
+
{ case = "8.7"; out = "8.7.0"; }
+
{ case = "8.6"; out = "8.6.0"; }
+
{ case = "8.5"; out = "8.5.0"; }
+
] null;
+
+
meta = {
+
description = "Development of basic set theory";
+
longDescription = ''
+
This Coq library develops some basic set theory. The main
+
purpose the author had in writing it was as support for the
+
Topology library.
+
'';
+
maintainers = with maintainers; [ siraben ];
+
license = licenses.lgpl21Plus;
+
};
+
}
+2 -2
pkgs/development/libraries/s2n-tls/default.nix
···
stdenv.mkDerivation rec {
pname = "s2n-tls";
-
version = "1.0.0";
src = fetchFromGitHub {
owner = "aws";
repo = pname;
rev = "v${version}";
-
sha256 = "1q6kmgwb8jxmc4ijzk9pkqzz8lsbfsv9hyzqvy944w7306zx1r5h";
};
nativeBuildInputs = [ cmake ];
···
stdenv.mkDerivation rec {
pname = "s2n-tls";
+
version = "1.0.1";
src = fetchFromGitHub {
owner = "aws";
repo = pname;
rev = "v${version}";
+
sha256 = "sha256-V/ZtO6t+Jxu/HmAEVzjkXuGWbZFwkGLsab1UCSG2tdk=";
};
nativeBuildInputs = [ cmake ];
+2 -2
pkgs/development/libraries/spatialite-tools/default.nix
···
stdenv.mkDerivation rec {
pname = "spatialite-tools";
-
version = "5.0.0";
src = fetchurl {
url = "https://www.gaia-gis.it/gaia-sins/spatialite-tools-sources/${pname}-${version}.tar.gz";
-
sha256 = "0ckddgdpxhy6vkpr9q2hnx5qmanrd8g4pqnifbrq1i5jrj82s2dd";
};
nativeBuildInputs = [ pkg-config ];
···
stdenv.mkDerivation rec {
pname = "spatialite-tools";
+
version = "5.0.1";
src = fetchurl {
url = "https://www.gaia-gis.it/gaia-sins/spatialite-tools-sources/${pname}-${version}.tar.gz";
+
sha256 = "sha256-lgTCBeh/A3eJvFIwLGbM0TccPpjHTo7E4psHUt41Fxw=";
};
nativeBuildInputs = [ pkg-config ];
+8 -7
pkgs/development/python-modules/black/default.nix
···
, dataclasses
, mypy-extensions
, pathspec
, regex
, toml
, typed-ast
···
buildPythonPackage rec {
pname = "black";
-
version = "20.8b1";
disabled = pythonOlder "3.6";
src = fetchPypi {
inherit pname version;
-
sha256 = "1spv6sldp3mcxr740dh3ywp25lly9s8qlvs946fin44rl1x5a0hw";
};
nativeBuildInputs = [ setuptools_scm ];
···
# Black starts a local server and needs to bind a local address.
__darwinAllowLocalNetworking = true;
-
checkInputs = [ pytestCheckHook ];
preCheck = ''
export PATH="$PATH:$out/bin"
'';
disabledTests = [
-
# Don't know why these tests fails
-
"test_cache_multiple_files"
-
"test_failed_formatting_does_not_get_cached"
# requires network access
"test_gen_check_output"
-
"test_process_queue"
] ++ lib.optionals stdenv.isDarwin [
# fails on darwin
"test_expression_diff"
···
, dataclasses
, mypy-extensions
, pathspec
+
, parameterized
, regex
, toml
, typed-ast
···
buildPythonPackage rec {
pname = "black";
+
version = "21.5b1";
disabled = pythonOlder "3.6";
src = fetchPypi {
inherit pname version;
+
sha256 = "1cdkrl5vw26iy7s23v2zpr39m6g5xsgxhfhagzzflgfbvdc56s93";
};
nativeBuildInputs = [ setuptools_scm ];
···
# Black starts a local server and needs to bind a local address.
__darwinAllowLocalNetworking = true;
+
checkInputs = [ pytestCheckHook parameterized ];
preCheck = ''
export PATH="$PATH:$out/bin"
+
+
# The top directory /build matches black's DEFAULT_EXCLUDE regex.
+
# Make /build the project root for black tests to avoid excluding files.
+
touch ../.git
'';
disabledTests = [
# requires network access
"test_gen_check_output"
] ++ lib.optionals stdenv.isDarwin [
# fails on darwin
"test_expression_diff"
+10 -1
pkgs/development/python-modules/pyls-black/default.nix
···
-
{ lib, buildPythonPackage, fetchFromGitHub
, black, toml, pytest, python-language-server, isPy3k
}:
···
rev = "v${version}";
sha256 = "0cjf0mjn156qp0x6md6mncs31hdpzfim769c2lixaczhyzwywqnj";
};
disabled = !isPy3k;
···
+
{ lib, buildPythonPackage, fetchFromGitHub, fetchpatch
, black, toml, pytest, python-language-server, isPy3k
}:
···
rev = "v${version}";
sha256 = "0cjf0mjn156qp0x6md6mncs31hdpzfim769c2lixaczhyzwywqnj";
};
+
+
# Fix test failure with black 21.4b0+
+
# Remove if https://github.com/rupert/pyls-black/pull/39 merged.
+
patches = [
+
(fetchpatch {
+
url = "https://github.com/rupert/pyls-black/commit/728207b540d9c25eb0d1cd96419ebfda2e257f63.patch";
+
sha256 = "0i3w5myhjl5lq1lpkizagnmk6m8fkn3igfyv5f2qcrn5n7f119ak";
+
})
+
];
disabled = !isPy3k;
+3 -3
pkgs/development/web/deno/default.nix
···
rustPlatform.buildRustPackage rec {
pname = "deno";
-
version = "1.10.2";
src = fetchFromGitHub {
owner = "denoland";
repo = pname;
rev = "v${version}";
-
sha256 = "sha256-uePCEYcYahsxcgA+GDcloqqo+dr7Y2N/9nps6Y79D58=";
};
-
cargoSha256 = "sha256-6fm1RWuTVWCE6nKgkC/SRQYRXGf9SGv7kAXWNqsdQS8=";
# Install completions post-install
nativeBuildInputs = [ installShellFiles ];
···
rustPlatform.buildRustPackage rec {
pname = "deno";
+
version = "1.10.3";
src = fetchFromGitHub {
owner = "denoland";
repo = pname;
rev = "v${version}";
+
sha256 = "sha256-25FfxGtPZ+KQCmXur6pwrb1l/xjCWgw69CMLPihnhAU=";
};
+
cargoSha256 = "sha256-CopfdjafWAhpbrdYSHJjKHKCLw94TSaiSAH4CVFOHi8=";
# Install completions post-install
nativeBuildInputs = [ installShellFiles ];
+2 -2
pkgs/os-specific/linux/kernel/linux-xanmod.nix
···
{ lib, stdenv, buildLinux, fetchFromGitHub, ... } @ args:
let
-
version = "5.12.7";
suffix = "xanmod1-cacule";
in
buildLinux (args // rec {
···
owner = "xanmod";
repo = "linux";
rev = modDirVersion;
-
sha256 = "sha256-zwaCQ0qMp6LCyWZikyyDyTktBlYEvJqJX46uiRCOUz4=";
extraPostFetch = ''
rm $out/.config
'';
···
{ lib, stdenv, buildLinux, fetchFromGitHub, ... } @ args:
let
+
version = "5.12.8";
suffix = "xanmod1-cacule";
in
buildLinux (args // rec {
···
owner = "xanmod";
repo = "linux";
rev = modDirVersion;
+
sha256 = "sha256-i3exBrEKyTHM2Iq8AJEIHwaw6KJarfcahlm/pPxAhmo=";
extraPostFetch = ''
rm $out/.config
'';
+4 -4
pkgs/servers/monitoring/zabbix/versions.nix
···
generic: {
v50 = generic {
-
version = "5.0.11";
-
sha256 = "0xrh0l8wr0q903a1swz9anvzkb5hlbl2win5xns55cmbw0ygbwfa";
};
v40 = generic {
-
version = "4.0.30";
-
sha256 = "17h831a1rw245kz37pw5haxq09k9m76bf0bz0jgg9s0q1j7hvywh";
};
}
···
generic: {
v50 = generic {
+
version = "5.0.12";
+
sha256 = "1gxlsmvz3m3dm4qqgx5qg5zjs680salah17mdzm3m27w8srg13i5";
};
v40 = generic {
+
version = "4.0.31";
+
sha256 = "1jfawwwqzd9bsywsn4qc7d1j2a4i8d92xg16k0f3y34pbmfm4603";
};
}
+4 -4
pkgs/servers/reproxy/default.nix
···
-
{ lib, buildGoModule, fetchFromGitHub }:
buildGoModule rec {
pname = "reproxy";
-
version = "0.6.0";
src = fetchFromGitHub {
owner = "umputun";
repo = pname;
rev = "v${version}";
-
hash = "sha256-8veGMiRT59oLcMUxERI+2uRQVvbiuXTbrBi1GqoPe0M=";
};
postPatch = ''
# Requires network access
substituteInPlace app/main_test.go \
--replace "Test_Main" "Skip_Main"
-
# Fails on Darwin.
# https://github.com/umputun/reproxy/issues/77
substituteInPlace app/discovery/provider/file_test.go \
···
+
{ lib, stdenv, buildGoModule, fetchFromGitHub }:
buildGoModule rec {
pname = "reproxy";
+
version = "0.7.0";
src = fetchFromGitHub {
owner = "umputun";
repo = pname;
rev = "v${version}";
+
hash = "sha256-TwqfnOKWpFC3fnHNu3/F6KLHuzE7uF6WEgZOArntpWI=";
};
postPatch = ''
# Requires network access
substituteInPlace app/main_test.go \
--replace "Test_Main" "Skip_Main"
+
'' + lib.optionalString stdenv.isDarwin ''
# Fails on Darwin.
# https://github.com/umputun/reproxy/issues/77
substituteInPlace app/discovery/provider/file_test.go \
+2 -2
pkgs/servers/search/groonga/default.nix
···
stdenv.mkDerivation rec {
pname = "groonga";
-
version = "11.0.2";
src = fetchurl {
url = "https://packages.groonga.org/source/groonga/${pname}-${version}.tar.gz";
-
sha256 = "sha256-3inLVkjjwphz00N0fWJqXvyzAjV9x72C3E33duLeVYw=";
};
buildInputs = with lib;
···
stdenv.mkDerivation rec {
pname = "groonga";
+
version = "11.0.3";
src = fetchurl {
url = "https://packages.groonga.org/source/groonga/${pname}-${version}.tar.gz";
+
sha256 = "sha256-oYlc6PSBLovNsEWDc6eGpDI85T6bTHgBvxA/PZP3aQU=";
};
buildInputs = with lib;
+27
pkgs/tools/misc/zthrottle/default.nix
···
···
+
{ lib, stdenv, fetchFromGitHub, zsh }:
+
+
stdenv.mkDerivation rec {
+
pname = "zthrottle";
+
version = "unstable-2017-7-24";
+
+
src = fetchFromGitHub {
+
owner = "anko";
+
repo = pname;
+
rev = "f62066661e49375baeb891fa8e43ad4527cbd0a0";
+
sha256 = "1ipvwmcsigzmxlg7j22cxpvdcgqckkmfpsnvzy18nbybd5ars9l5";
+
};
+
+
buildInputs = [ zsh ];
+
+
installPhase = ''
+
install -D zthrottle $out/bin/zthrottle
+
'';
+
+
meta = with lib; {
+
description = "A program that throttles a pipeline, only letting a line through at most every $1 seconds.";
+
homepage = "https://github.com/anko/zthrottle";
+
license = licenses.unlicense;
+
maintainers = [ maintainers.ronthecookie ];
+
platforms = platforms.unix;
+
};
+
}
+41
pkgs/tools/security/gpg-tui/default.nix
···
···
+
{ lib
+
, rustPlatform
+
, fetchFromGitHub
+
, gpgme
+
, libgpgerror
+
, libxcb
+
, python3
+
}:
+
+
rustPlatform.buildRustPackage rec {
+
pname = "gpg-tui";
+
version = "0.1.5";
+
+
src = fetchFromGitHub {
+
owner = "orhun";
+
repo = "gpg-tui";
+
rev = "v${version}";
+
sha256 = "1hg8a1vxrkl2737dhb46ikzhnfz87zf9pvs370l9j8h7zz1mcq66";
+
};
+
+
cargoSha256 = "00azv55r4ldpr6gfn77ny9rzm3yqlpimvgzx2cwkwnhgmfcq2l1j";
+
+
nativeBuildInputs = [
+
gpgme # for gpgme-config
+
libgpgerror # for gpg-error-config
+
python3
+
];
+
+
buildInputs = [
+
gpgme
+
libgpgerror
+
libxcb
+
];
+
+
meta = with lib; {
+
description = "Terminal user interface for GnuPG";
+
homepage = "https://github.com/orhun/gpg-tui";
+
license = licenses.mit;
+
maintainers = with maintainers; [ dotlambda ];
+
};
+
}
+2 -2
pkgs/tools/security/httpx/default.nix
···
buildGoModule rec {
pname = "httpx";
-
version = "1.0.8";
src = fetchFromGitHub {
owner = "projectdiscovery";
repo = "httpx";
rev = "v${version}";
-
sha256 = "sha256-MOe/2TMUFJXdQlwkSIFEAVvOu5DbaCfTro1/WEzQkRw=";
};
vendorSha256 = "sha256-yk94jD8gwgmEroxg7vzfaISVakMv3+tUoq+Auas751w=";
···
buildGoModule rec {
pname = "httpx";
+
version = "1.0.9";
src = fetchFromGitHub {
owner = "projectdiscovery";
repo = "httpx";
rev = "v${version}";
+
sha256 = "sha256-WUaDL1bMZ7rjlwyaqZraIKSrxj68PZiuIpgZN8l8nIo=";
};
vendorSha256 = "sha256-yk94jD8gwgmEroxg7vzfaISVakMv3+tUoq+Auas751w=";
+4
pkgs/top-level/all-packages.nix
···
Accelerate CoreGraphics CoreVideo;
};
goa = callPackage ../development/tools/goa { };
gohai = callPackage ../tools/system/gohai { };
···
lc3tools = callPackage ../development/tools/lc3tools {};
xcolor = callPackage ../tools/graphics/xcolor { };
zktree = callPackage ../applications/misc/zktree {};
}
···
Accelerate CoreGraphics CoreVideo;
};
+
gpg-tui = callPackage ../tools/security/gpg-tui { };
+
goa = callPackage ../development/tools/goa { };
gohai = callPackage ../tools/system/gohai { };
···
lc3tools = callPackage ../development/tools/lc3tools {};
xcolor = callPackage ../tools/graphics/xcolor { };
+
+
zthrottle = callPackage ../tools/misc/zthrottle { };
zktree = callPackage ../applications/misc/zktree {};
}
+2
pkgs/top-level/coq-packages.nix
···
stdpp = callPackage ../development/coq-modules/stdpp { };
StructTact = callPackage ../development/coq-modules/StructTact {};
tlc = callPackage ../development/coq-modules/tlc {};
Velisarios = callPackage ../development/coq-modules/Velisarios {};
Verdi = callPackage ../development/coq-modules/Verdi {};
VST = callPackage ../development/coq-modules/VST (with lib.versions;
···
{ case = "8.11"; out = { compcert = compcert.override { coqPackages = self; version = "3.7"; }; }; }
{ case = range "8.12" "8.13"; out = { compcert = compcert.override { coqPackages = self; }; }; }
] {});
filterPackages = doesFilter: if doesFilter then filterCoqPackages self else self;
};
···
stdpp = callPackage ../development/coq-modules/stdpp { };
StructTact = callPackage ../development/coq-modules/StructTact {};
tlc = callPackage ../development/coq-modules/tlc {};
+
topology = callPackage ../development/coq-modules/topology {};
Velisarios = callPackage ../development/coq-modules/Velisarios {};
Verdi = callPackage ../development/coq-modules/Verdi {};
VST = callPackage ../development/coq-modules/VST (with lib.versions;
···
{ case = "8.11"; out = { compcert = compcert.override { coqPackages = self; version = "3.7"; }; }; }
{ case = range "8.12" "8.13"; out = { compcert = compcert.override { coqPackages = self; }; }; }
] {});
+
zorns-lemma = callPackage ../development/coq-modules/zorns-lemma {};
filterPackages = doesFilter: if doesFilter then filterCoqPackages self else self;
};