haskell/configuration-hackage2nix: no x86_64-darwin → no aarch64-darwin

As a preparation for adding aarch64-darwin support, make sure that
whenever x86_64-darwin is unsupported, we also don't support
aarch64-darwin to avoid a mess in the diff and likely a lot of avoidable
build failures.

If it turns out to be supported we can always remove them later.
This commit is contained in:
sternenseemann 2021-08-27 17:51:50 +02:00
parent d182740101
commit e3aeb5a55c
2 changed files with 155 additions and 129 deletions

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"
];
}) {};
@ -65534,7 +65537,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;
}) {};
@ -65555,7 +65559,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"
];
}) {};
@ -65575,7 +65580,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;
}) {};
@ -113322,7 +113328,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;};
@ -127505,7 +127511,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;};
@ -128141,7 +128148,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;};
@ -158218,7 +158225,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
@ -161184,7 +161191,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 ];
}) {};
@ -165538,7 +165546,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"
];
}) {};
@ -181972,7 +181981,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"
];
}) {};
@ -199624,7 +199634,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 ];
}) {};
@ -199649,7 +199661,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 ];
}) {};
@ -201825,7 +201839,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
@ -231147,7 +231163,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;};
@ -231182,7 +231199,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;};
@ -231216,7 +231234,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;};
@ -231580,7 +231599,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
@ -232763,7 +232784,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
@ -279612,7 +279635,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"
];
}) {};
@ -287977,7 +288001,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