Merge pull request #135935 from sternenseemann/haskell-aarch64-darwin-meta

haskellPackages: prepare meta sets for aarch64-darwin support
This commit is contained in:
maralorn 2021-08-27 19:35:34 +02:00 committed by GitHub
commit bd1c813a30
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
4 changed files with 166 additions and 132 deletions

View File

@ -8,10 +8,10 @@
}:
mkDerivation {
pname = "cabal2nix";
version = "unstable-2021-08-21";
version = "unstable-2021-08-27";
src = fetchzip {
url = "https://github.com/NixOS/cabal2nix/archive/51a4082fefad4642af67a0ae4bf3bb3a7d9b45e0.tar.gz";
sha256 = "1qd991ziv54drb0n655dg4ymknlfa0ndx9nq9wb5v00a15i4c04x";
url = "https://github.com/NixOS/cabal2nix/archive/05b1b404e20eb6252f93c821d4d7974ab7277d90.tar.gz";
sha256 = "03zvp3wwqph9niadgbvkfcqabafgyhnw12r09cw23hm69hsb64d5";
};
isLibrary = true;
isExecutable = true;

View File

@ -1950,4 +1950,12 @@ EOT
# 2021-08-18: streamly-posix was released with hspec 2.8.2, but it works with older versions too.
streamly-posix = doJailbreak super.streamly-posix;
distribution-nixpkgs = assert super.distribution-nixpkgs.version == "1.6.0";
overrideCabal super.distribution-nixpkgs {
version = "1.6.1";
revision = null;
sha256 = "136q893in07iw53m9pqr65h3mrnpvfda272bl4rq1b0z3hzpyhkm";
editedCabalFile = null;
};
} // import ./configuration-tensorflow.nix {inherit pkgs haskellLib;} self super

View File

@ -338,130 +338,130 @@ package-maintainers:
- nix-tree
unsupported-platforms:
Allure: [ x86_64-darwin ]
alsa-mixer: [ x86_64-darwin ]
alsa-pcm: [ x86_64-darwin ]
alsa-seq: [ x86_64-darwin ]
AWin32Console: [ i686-linux, x86_64-linux, x86_64-darwin, aarch64-linux, armv7l-linux ]
Allure: [ x86_64-darwin, aarch64-darwin ]
alsa-mixer: [ x86_64-darwin, aarch64-darwin ]
alsa-pcm: [ x86_64-darwin, aarch64-darwin ]
alsa-seq: [ x86_64-darwin, aarch64-darwin ]
AWin32Console: [ i686-linux, x86_64-linux, x86_64-darwin, aarch64-darwin, aarch64-linux, armv7l-linux ]
barbly: [ i686-linux, x86_64-linux, aarch64-linux, armv7l-linux ]
bdcs-api: [ x86_64-darwin ]
bindings-directfb: [ x86_64-darwin ]
bindings-parport: [ x86_64-darwin ] # parport is a linux kernel component
bindings-sane: [ x86_64-darwin ]
btrfs: [ x86_64-darwin ] # depends on linux
bustle: [ x86_64-darwin ] # uses glibc-specific ptsname_r
bdcs-api: [ x86_64-darwin, aarch64-darwin ]
bindings-directfb: [ x86_64-darwin, aarch64-darwin ]
bindings-parport: [ x86_64-darwin, aarch64-darwin ] # parport is a linux kernel component
bindings-sane: [ x86_64-darwin, aarch64-darwin ]
btrfs: [ x86_64-darwin, aarch64-darwin ] # depends on linux
bustle: [ x86_64-darwin, aarch64-darwin ] # uses glibc-specific ptsname_r
charsetdetect: [ aarch64-linux ] # not supported by vendored lib / not configured properly https://github.com/batterseapower/libcharsetdetect/issues/3
crackNum: [ aarch64-linux ] # depends on sbv, which is not supported on aarch64-linux
cut-the-crap: [ x86_64-darwin ]
d3d11binding: [ i686-linux, x86_64-linux, x86_64-darwin, aarch64-linux, armv7l-linux ]
DirectSound: [ i686-linux, x86_64-linux, x86_64-darwin, aarch64-linux, armv7l-linux ]
dx9base: [ i686-linux, x86_64-linux, x86_64-darwin, aarch64-linux, armv7l-linux ]
dx9d3d: [ i686-linux, x86_64-linux, x86_64-darwin, aarch64-linux, armv7l-linux ]
dx9d3dx: [ i686-linux, x86_64-linux, x86_64-darwin, aarch64-linux, armv7l-linux ]
Euterpea: [ x86_64-darwin ]
follow-file: [ x86_64-darwin ]
freenect: [ x86_64-darwin ]
FTGL: [ x86_64-darwin ]
fuzzytime: [ x86_64-darwin ] # https://github.com/kamwitsta/fuzzytime/issues/2
ghcjs-dom-hello: [ x86_64-darwin ]
gi-dbusmenugtk3: [ x86_64-darwin ]
gi-dbusmenu: [ x86_64-darwin ]
gi-ggit: [ x86_64-darwin ]
gi-ibus: [ x86_64-darwin ]
gi-ostree: [ x86_64-darwin ]
gi-vte: [ x86_64-darwin ]
gi-wnck: [ x86_64-darwin ]
gnome-keyring: [ x86_64-darwin ]
cut-the-crap: [ x86_64-darwin, aarch64-darwin ]
d3d11binding: [ i686-linux, x86_64-linux, x86_64-darwin, aarch64-darwin, aarch64-linux, armv7l-linux ]
DirectSound: [ i686-linux, x86_64-linux, x86_64-darwin, aarch64-darwin, aarch64-linux, armv7l-linux ]
dx9base: [ i686-linux, x86_64-linux, x86_64-darwin, aarch64-darwin, aarch64-linux, armv7l-linux ]
dx9d3d: [ i686-linux, x86_64-linux, x86_64-darwin, aarch64-darwin, aarch64-linux, armv7l-linux ]
dx9d3dx: [ i686-linux, x86_64-linux, x86_64-darwin, aarch64-darwin, aarch64-linux, armv7l-linux ]
Euterpea: [ x86_64-darwin, aarch64-darwin ]
follow-file: [ x86_64-darwin, aarch64-darwin ]
freenect: [ x86_64-darwin, aarch64-darwin ]
FTGL: [ x86_64-darwin, aarch64-darwin ]
fuzzytime: [ x86_64-darwin, aarch64-darwin ] # https://github.com/kamwitsta/fuzzytime/issues/2
ghcjs-dom-hello: [ x86_64-darwin, aarch64-darwin ]
gi-dbusmenugtk3: [ x86_64-darwin, aarch64-darwin ]
gi-dbusmenu: [ x86_64-darwin, aarch64-darwin ]
gi-ggit: [ x86_64-darwin, aarch64-darwin ]
gi-ibus: [ x86_64-darwin, aarch64-darwin ]
gi-ostree: [ x86_64-darwin, aarch64-darwin ]
gi-vte: [ x86_64-darwin, aarch64-darwin ]
gi-wnck: [ x86_64-darwin, aarch64-darwin ]
gnome-keyring: [ x86_64-darwin, aarch64-darwin ]
gtk-mac-integration: [ i686-linux, x86_64-linux, aarch64-linux, armv7l-linux ]
gtk-sni-tray: [ x86_64-darwin ]
haskell-snake: [ x86_64-darwin ]
hcwiid: [ x86_64-darwin ]
gtk-sni-tray: [ x86_64-darwin, aarch64-darwin ]
haskell-snake: [ x86_64-darwin, aarch64-darwin ]
hcwiid: [ x86_64-darwin, aarch64-darwin ]
hevm: [ aarch64-linux ] # depends on sbv, which is not supported on aarch64-linux
HFuse: [ x86_64-darwin ]
hidapi: [ x86_64-darwin ]
hinotify-bytestring: [ x86_64-darwin ]
hommage-ds: [ i686-linux, x86_64-linux, x86_64-darwin, aarch64-linux, armv7l-linux ]
honk: [ x86_64-darwin ]
hpapi: [ x86_64-darwin ]
HFuse: [ x86_64-darwin, aarch64-darwin ]
hidapi: [ x86_64-darwin, aarch64-darwin ]
hinotify-bytestring: [ x86_64-darwin, aarch64-darwin ]
hommage-ds: [ i686-linux, x86_64-linux, x86_64-darwin, aarch64-darwin, aarch64-linux, armv7l-linux ]
honk: [ x86_64-darwin, aarch64-darwin ]
hpapi: [ x86_64-darwin, aarch64-darwin ]
HQu: [ aarch64-linux, armv7l-linux ] # unsupported by vendored C++ library, TODO: explicitly list supported platforms
HSoM: [ x86_64-darwin ]
iwlib: [ x86_64-darwin ]
jsaddle-webkit2gtk: [ x86_64-darwin ]
HSoM: [ x86_64-darwin, aarch64-darwin ]
iwlib: [ x86_64-darwin, aarch64-darwin ]
jsaddle-webkit2gtk: [ x86_64-darwin, aarch64-darwin ]
kqueue: [ x86_64-linux, aarch64-linux, i686-linux, armv7l-linux ] # BSD / Darwin only API
LambdaHack: [ x86_64-darwin ]
LambdaHack: [ x86_64-darwin, aarch64-darwin ]
large-hashable: [ aarch64-linux ] # https://github.com/factisresearch/large-hashable/issues/17
libmodbus: [ x86_64-darwin ]
libsystemd-journal: [ x86_64-darwin ]
libtelnet: [ x86_64-darwin ]
libzfs: [ x86_64-darwin ]
libmodbus: [ x86_64-darwin, aarch64-darwin ]
libsystemd-journal: [ x86_64-darwin, aarch64-darwin ]
libtelnet: [ x86_64-darwin, aarch64-darwin ]
libzfs: [ x86_64-darwin, aarch64-darwin ]
linearEqSolver: [ aarch64-linux ]
linux-evdev: [ x86_64-darwin ]
linux-file-extents: [ x86_64-darwin ]
linux-inotify: [ x86_64-darwin ]
linux-mount: [ x86_64-darwin ]
linux-namespaces: [ x86_64-darwin ]
lio-fs: [ x86_64-darwin ]
logging-facade-journald: [ x86_64-darwin ]
midi-alsa: [ x86_64-darwin ]
mpi-hs: [ aarch64-linux, x86_64-darwin ]
mpi-hs-binary: [ aarch64-linux, x86_64-darwin ]
mpi-hs-cereal: [ aarch64-linux, x86_64-darwin ]
mpi-hs-store: [ aarch64-linux, x86_64-darwin ]
linux-evdev: [ x86_64-darwin, aarch64-darwin ]
linux-file-extents: [ x86_64-darwin, aarch64-darwin ]
linux-inotify: [ x86_64-darwin, aarch64-darwin ]
linux-mount: [ x86_64-darwin, aarch64-darwin ]
linux-namespaces: [ x86_64-darwin, aarch64-darwin ]
lio-fs: [ x86_64-darwin, aarch64-darwin ]
logging-facade-journald: [ x86_64-darwin, aarch64-darwin ]
midi-alsa: [ x86_64-darwin, aarch64-darwin ]
mpi-hs: [ aarch64-linux, x86_64-darwin, aarch64-darwin ]
mpi-hs-binary: [ aarch64-linux, x86_64-darwin, aarch64-darwin ]
mpi-hs-cereal: [ aarch64-linux, x86_64-darwin, aarch64-darwin ]
mpi-hs-store: [ aarch64-linux, x86_64-darwin, aarch64-darwin ]
mplayer-spot: [ aarch64-linux ]
mptcp-pm: [ x86_64-darwin ]
netlink: [ x86_64-darwin ]
notifications-tray-icon: [ x86_64-darwin ] # depends on gi-dbusmenu
oculus: [ x86_64-darwin ]
pam: [ x86_64-darwin ]
parport: [ x86_64-darwin ]
mptcp-pm: [ x86_64-darwin, aarch64-darwin ]
netlink: [ x86_64-darwin, aarch64-darwin ]
notifications-tray-icon: [ x86_64-darwin, aarch64-darwin ] # depends on gi-dbusmenu
oculus: [ x86_64-darwin, aarch64-darwin ]
pam: [ x86_64-darwin, aarch64-darwin ]
parport: [ x86_64-darwin, aarch64-darwin ]
password: [ aarch64-linux, armv7l-linux ] # uses scrypt, which requries x86
password-instances: [ aarch64-linux, armv7l-linux ] # uses scrypt, which requries x86
persist-state: [ aarch64-linux, armv7l-linux ] # https://github.com/minad/persist-state/blob/6fd68c0b8b93dec78218f6d5a1f4fa06ced4e896/src/Data/PersistState.hs#L122-L128
piyo: [ x86_64-darwin ]
PortMidi-simple: [ x86_64-darwin ]
PortMidi: [ x86_64-darwin ]
posix-api: [ x86_64-darwin ]
Raincat: [ x86_64-darwin ]
reactive-balsa: [ x86_64-darwin ] # depends on alsa-core
reactivity: [ i686-linux, x86_64-linux, x86_64-darwin, aarch64-linux, armv7l-linux ]
reflex-dom-fragment-shader-canvas: [ x86_64-darwin, aarch64-linux ]
reflex-dom: [ x86_64-darwin, aarch64-linux ]
reflex-localize-dom: [ x86_64-darwin, aarch64-linux ]
rtlsdr: [ x86_64-darwin ]
rubberband: [ x86_64-darwin ]
piyo: [ x86_64-darwin, aarch64-darwin ]
PortMidi-simple: [ x86_64-darwin, aarch64-darwin ]
PortMidi: [ x86_64-darwin, aarch64-darwin ]
posix-api: [ x86_64-darwin, aarch64-darwin ]
Raincat: [ x86_64-darwin, aarch64-darwin ]
reactive-balsa: [ x86_64-darwin, aarch64-darwin ] # depends on alsa-core
reactivity: [ i686-linux, x86_64-linux, x86_64-darwin, aarch64-darwin, aarch64-linux, armv7l-linux ]
reflex-dom-fragment-shader-canvas: [ x86_64-darwin, aarch64-darwin, aarch64-linux ]
reflex-dom: [ x86_64-darwin, aarch64-darwin, aarch64-linux ]
reflex-localize-dom: [ x86_64-darwin, aarch64-darwin, aarch64-linux ]
rtlsdr: [ x86_64-darwin, aarch64-darwin ]
rubberband: [ x86_64-darwin, aarch64-darwin ]
sbv: [ aarch64-linux ]
scat: [ aarch64-linux, armv7l-linux ] # uses scrypt, which requries x86
scrypt: [ aarch64-linux, armv7l-linux ] # https://github.com/informatikr/scrypt/issues/8
sdl2-mixer: [ x86_64-darwin ]
sdl2-ttf: [ x86_64-darwin ]
synthesizer-alsa: [ x86_64-darwin ]
taffybar: [ x86_64-darwin ]
termonad: [ x86_64-darwin ]
tokyotyrant-haskell: [ x86_64-darwin ]
udev: [ x86_64-darwin ]
Unixutils-shadow: [ x86_64-darwin ]
sdl2-mixer: [ x86_64-darwin, aarch64-darwin ]
sdl2-ttf: [ x86_64-darwin, aarch64-darwin ]
synthesizer-alsa: [ x86_64-darwin, aarch64-darwin ]
taffybar: [ x86_64-darwin, aarch64-darwin ]
termonad: [ x86_64-darwin, aarch64-darwin ]
tokyotyrant-haskell: [ x86_64-darwin, aarch64-darwin ]
udev: [ x86_64-darwin, aarch64-darwin ]
Unixutils-shadow: [ x86_64-darwin, aarch64-darwin ]
verifiable-expressions: [ aarch64-linux ]
vrpn: [ x86_64-darwin ]
vulkan: [ i686-linux, armv7l-linux, x86_64-darwin ]
VulkanMemoryAllocator: [ i686-linux, armv7l-linux, x86_64-darwin ]
vulkan-utils: [ x86_64-darwin ]
webkit2gtk3-javascriptcore: [ x86_64-darwin ]
Win32-console: [ i686-linux, x86_64-linux, x86_64-darwin, aarch64-linux, armv7l-linux ]
Win32-dhcp-server: [ i686-linux, x86_64-linux, x86_64-darwin, aarch64-linux, armv7l-linux ]
Win32-errors: [ i686-linux, x86_64-linux, x86_64-darwin, aarch64-linux, armv7l-linux ]
Win32-extras: [ i686-linux, x86_64-linux, x86_64-darwin, aarch64-linux, armv7l-linux ]
Win32: [ i686-linux, x86_64-linux, x86_64-darwin, aarch64-linux, armv7l-linux ]
Win32-junction-point: [ i686-linux, x86_64-linux, x86_64-darwin, aarch64-linux, armv7l-linux ]
Win32-notify: [ i686-linux, x86_64-linux, x86_64-darwin, aarch64-linux, armv7l-linux ]
Win32-security: [ i686-linux, x86_64-linux, x86_64-darwin, aarch64-linux, armv7l-linux ]
Win32-services: [ i686-linux, x86_64-linux, x86_64-darwin, aarch64-linux, armv7l-linux ]
Win32-services-wrapper: [ i686-linux, x86_64-linux, x86_64-darwin, aarch64-linux, armv7l-linux ]
xattr: [ x86_64-darwin ]
vrpn: [ x86_64-darwin, aarch64-darwin ]
vulkan: [ i686-linux, armv7l-linux, x86_64-darwin, aarch64-darwin ]
VulkanMemoryAllocator: [ i686-linux, armv7l-linux, x86_64-darwin, aarch64-darwin ]
vulkan-utils: [ x86_64-darwin, aarch64-darwin ]
webkit2gtk3-javascriptcore: [ x86_64-darwin, aarch64-darwin ]
Win32-console: [ i686-linux, x86_64-linux, x86_64-darwin, aarch64-darwin, aarch64-linux, armv7l-linux ]
Win32-dhcp-server: [ i686-linux, x86_64-linux, x86_64-darwin, aarch64-darwin, aarch64-linux, armv7l-linux ]
Win32-errors: [ i686-linux, x86_64-linux, x86_64-darwin, aarch64-darwin, aarch64-linux, armv7l-linux ]
Win32-extras: [ i686-linux, x86_64-linux, x86_64-darwin, aarch64-darwin, aarch64-linux, armv7l-linux ]
Win32: [ i686-linux, x86_64-linux, x86_64-darwin, aarch64-darwin, aarch64-linux, armv7l-linux ]
Win32-junction-point: [ i686-linux, x86_64-linux, x86_64-darwin, aarch64-darwin, aarch64-linux, armv7l-linux ]
Win32-notify: [ i686-linux, x86_64-linux, x86_64-darwin, aarch64-darwin, aarch64-linux, armv7l-linux ]
Win32-security: [ i686-linux, x86_64-linux, x86_64-darwin, aarch64-darwin, aarch64-linux, armv7l-linux ]
Win32-services: [ i686-linux, x86_64-linux, x86_64-darwin, aarch64-darwin, aarch64-linux, armv7l-linux ]
Win32-services-wrapper: [ i686-linux, x86_64-linux, x86_64-darwin, aarch64-darwin, aarch64-linux, armv7l-linux ]
xattr: [ x86_64-darwin, aarch64-darwin ]
xgboost-haskell: [ aarch64-linux, armv7l-linux ]
XInput: [ i686-linux, x86_64-linux, x86_64-darwin, aarch64-linux, armv7l-linux ]
xmobar: [ x86_64-darwin ]
xmonad-extras: [ x86_64-darwin ]
xmonad-volume: [ x86_64-darwin ]
XInput: [ i686-linux, x86_64-linux, x86_64-darwin, aarch64-darwin, aarch64-linux, armv7l-linux ]
xmobar: [ x86_64-darwin, aarch64-darwin ]
xmonad-extras: [ x86_64-darwin, aarch64-darwin ]
xmonad-volume: [ x86_64-darwin, aarch64-darwin ]
dont-distribute-packages:
# Depends on shine, which is a ghcjs project.

View File

@ -9041,7 +9041,9 @@ self: {
benchmarkHaskellDepends = [ base gauge ];
description = "quantitative finance library";
license = lib.licenses.mit;
platforms = [ "i686-linux" "x86_64-darwin" "x86_64-linux" ];
platforms = [
"aarch64-darwin" "i686-linux" "x86_64-darwin" "x86_64-linux"
];
}) {inherit (pkgs) gsl;};
"HROOT" = callPackage
@ -38073,7 +38075,7 @@ self: {
];
description = "Create status bar menus for macOS from executables";
license = lib.licenses.bsd3;
platforms = [ "x86_64-darwin" ];
platforms = [ "aarch64-darwin" "x86_64-darwin" ];
}) {};
"barchart" = callPackage
@ -53664,7 +53666,8 @@ self: {
description = "Character set detection using Mozilla's Universal Character Set Detector";
license = "LGPL";
platforms = [
"armv7l-linux" "i686-linux" "x86_64-darwin" "x86_64-linux"
"aarch64-darwin" "armv7l-linux" "i686-linux" "x86_64-darwin"
"x86_64-linux"
];
}) {};
@ -65532,7 +65535,8 @@ self: {
description = "Crack various integer, floating-point data formats";
license = lib.licenses.bsd3;
platforms = [
"armv7l-linux" "i686-linux" "x86_64-darwin" "x86_64-linux"
"aarch64-darwin" "armv7l-linux" "i686-linux" "x86_64-darwin"
"x86_64-linux"
];
hydraPlatforms = lib.platforms.none;
}) {};
@ -65553,7 +65557,8 @@ self: {
description = "Crack various integer and floating-point data formats";
license = lib.licenses.bsd3;
platforms = [
"armv7l-linux" "i686-linux" "x86_64-darwin" "x86_64-linux"
"aarch64-darwin" "armv7l-linux" "i686-linux" "x86_64-darwin"
"x86_64-linux"
];
}) {};
@ -65573,7 +65578,8 @@ self: {
description = "Crack various integer and floating-point data formats";
license = lib.licenses.bsd3;
platforms = [
"armv7l-linux" "i686-linux" "x86_64-darwin" "x86_64-linux"
"aarch64-darwin" "armv7l-linux" "i686-linux" "x86_64-darwin"
"x86_64-linux"
];
hydraPlatforms = lib.platforms.none;
}) {};
@ -113320,7 +113326,7 @@ self: {
libraryPkgconfigDepends = [ gtk-mac-integration-gtk2 ];
description = "Bindings for the Gtk/OS X integration library";
license = lib.licenses.lgpl21Only;
platforms = [ "x86_64-darwin" ];
platforms = [ "aarch64-darwin" "x86_64-darwin" ];
hydraPlatforms = lib.platforms.none;
broken = true;
}) {inherit (pkgs) gtk-mac-integration-gtk2;};
@ -127503,7 +127509,8 @@ self: {
description = "Ethereum virtual machine evaluator";
license = lib.licenses.agpl3Only;
platforms = [
"armv7l-linux" "i686-linux" "x86_64-darwin" "x86_64-linux"
"aarch64-darwin" "armv7l-linux" "i686-linux" "x86_64-darwin"
"x86_64-linux"
];
}) {inherit (pkgs) libff; inherit (pkgs) secp256k1;};
@ -128139,7 +128146,7 @@ self: {
libraryToolDepends = [ CoreServices ];
description = "File/folder watching for OS X";
license = lib.licenses.bsd3;
platforms = [ "x86_64-darwin" ];
platforms = [ "aarch64-darwin" "x86_64-darwin" ];
}) {inherit (pkgs.darwin.apple_sdk.frameworks) Cocoa;
inherit (pkgs.darwin.apple_sdk.frameworks) CoreServices;};
@ -158216,7 +158223,7 @@ self: {
libraryToolDepends = [ c2hs ];
description = "A binding to the kqueue event library";
license = lib.licenses.bsd3;
platforms = [ "x86_64-darwin" ];
platforms = [ "aarch64-darwin" "x86_64-darwin" ];
}) {};
"kraken" = callPackage
@ -161182,7 +161189,8 @@ self: {
description = "Efficiently hash (large) Haskell values";
license = lib.licenses.bsd3;
platforms = [
"armv7l-linux" "i686-linux" "x86_64-darwin" "x86_64-linux"
"aarch64-darwin" "armv7l-linux" "i686-linux" "x86_64-darwin"
"x86_64-linux"
];
maintainers = with lib.maintainers; [ sternenseemann ];
}) {};
@ -165536,7 +165544,8 @@ self: {
description = "Use SMT solvers to solve linear systems over integers and rationals";
license = lib.licenses.bsd3;
platforms = [
"armv7l-linux" "i686-linux" "x86_64-darwin" "x86_64-linux"
"aarch64-darwin" "armv7l-linux" "i686-linux" "x86_64-darwin"
"x86_64-linux"
];
}) {};
@ -181970,7 +181979,8 @@ self: {
description = "Save your spot when watching movies with @mplayer@";
license = lib.licenses.bsd3;
platforms = [
"armv7l-linux" "i686-linux" "x86_64-darwin" "x86_64-linux"
"aarch64-darwin" "armv7l-linux" "i686-linux" "x86_64-darwin"
"x86_64-linux"
];
}) {};
@ -199622,7 +199632,9 @@ self: {
];
description = "Hashing and checking of passwords";
license = lib.licenses.bsd3;
platforms = [ "i686-linux" "x86_64-darwin" "x86_64-linux" ];
platforms = [
"aarch64-darwin" "i686-linux" "x86_64-darwin" "x86_64-linux"
];
maintainers = with lib.maintainers; [ cdepillabout ];
}) {};
@ -199647,7 +199659,9 @@ self: {
];
description = "typeclass instances for password package";
license = lib.licenses.bsd3;
platforms = [ "i686-linux" "x86_64-darwin" "x86_64-linux" ];
platforms = [
"aarch64-darwin" "i686-linux" "x86_64-darwin" "x86_64-linux"
];
maintainers = with lib.maintainers; [ cdepillabout ];
}) {};
@ -201823,7 +201837,9 @@ self: {
];
description = "Serialization library with state and leb128 encoding";
license = lib.licenses.bsd3;
platforms = [ "i686-linux" "x86_64-darwin" "x86_64-linux" ];
platforms = [
"aarch64-darwin" "i686-linux" "x86_64-darwin" "x86_64-linux"
];
}) {};
"persist2er" = callPackage
@ -231145,7 +231161,8 @@ self: {
description = "SMT Based Verification: Symbolic Haskell theorem prover using SMT solving";
license = lib.licenses.bsd3;
platforms = [
"armv7l-linux" "i686-linux" "x86_64-darwin" "x86_64-linux"
"aarch64-darwin" "armv7l-linux" "i686-linux" "x86_64-darwin"
"x86_64-linux"
];
hydraPlatforms = lib.platforms.none;
}) {inherit (pkgs) z3;};
@ -231180,7 +231197,8 @@ self: {
description = "SMT Based Verification: Symbolic Haskell theorem prover using SMT solving";
license = lib.licenses.bsd3;
platforms = [
"armv7l-linux" "i686-linux" "x86_64-darwin" "x86_64-linux"
"aarch64-darwin" "armv7l-linux" "i686-linux" "x86_64-darwin"
"x86_64-linux"
];
}) {inherit (pkgs) z3;};
@ -231214,7 +231232,8 @@ self: {
description = "SMT Based Verification: Symbolic Haskell theorem prover using SMT solving";
license = lib.licenses.bsd3;
platforms = [
"armv7l-linux" "i686-linux" "x86_64-darwin" "x86_64-linux"
"aarch64-darwin" "armv7l-linux" "i686-linux" "x86_64-darwin"
"x86_64-linux"
];
hydraPlatforms = lib.platforms.none;
}) {inherit (pkgs) z3;};
@ -231578,7 +231597,9 @@ self: {
];
description = "Generates unique passwords for various websites from a single password";
license = lib.licenses.bsd3;
platforms = [ "i686-linux" "x86_64-darwin" "x86_64-linux" ];
platforms = [
"aarch64-darwin" "i686-linux" "x86_64-darwin" "x86_64-linux"
];
}) {};
"scc" = callPackage
@ -232761,7 +232782,9 @@ self: {
];
description = "Stronger password hashing via sequential memory-hard functions";
license = lib.licenses.bsd3;
platforms = [ "i686-linux" "x86_64-darwin" "x86_64-linux" ];
platforms = [
"aarch64-darwin" "i686-linux" "x86_64-darwin" "x86_64-linux"
];
}) {};
"scrz" = callPackage
@ -279610,7 +279633,8 @@ self: {
description = "An intermediate language for Hoare logic style verification";
license = lib.licenses.asl20;
platforms = [
"armv7l-linux" "i686-linux" "x86_64-darwin" "x86_64-linux"
"aarch64-darwin" "armv7l-linux" "i686-linux" "x86_64-darwin"
"x86_64-linux"
];
}) {};
@ -287975,7 +287999,9 @@ self: {
executableSystemDepends = [ xgboost ];
description = "XGBoost library for Haskell";
license = lib.licenses.mit;
platforms = [ "i686-linux" "x86_64-darwin" "x86_64-linux" ];
platforms = [
"aarch64-darwin" "i686-linux" "x86_64-darwin" "x86_64-linux"
];
}) {inherit (pkgs) xgboost;};
"xhaskell-library" = callPackage