|
|
|
@ -51874,7 +51874,6 @@ self: { |
|
|
|
|
testToolDepends = [ hspec-discover ]; |
|
|
|
|
description = "CamFort - Cambridge Fortran infrastructure"; |
|
|
|
|
license = lib.licenses.asl20; |
|
|
|
|
hydraPlatforms = lib.platforms.none; |
|
|
|
|
}) {inherit (pkgs) flint;}; |
|
|
|
|
|
|
|
|
|
"camh" = callPackage |
|
|
|
@ -67266,7 +67265,6 @@ self: { |
|
|
|
|
]; |
|
|
|
|
description = "Crack various integer and floating-point data formats"; |
|
|
|
|
license = lib.licenses.bsd3; |
|
|
|
|
hydraPlatforms = lib.platforms.none; |
|
|
|
|
}) {}; |
|
|
|
|
|
|
|
|
|
"craft" = callPackage |
|
|
|
@ -130897,7 +130895,6 @@ self: { |
|
|
|
|
testSystemDepends = [ secp256k1 ]; |
|
|
|
|
description = "Ethereum virtual machine evaluator"; |
|
|
|
|
license = lib.licenses.agpl3Only; |
|
|
|
|
hydraPlatforms = lib.platforms.none; |
|
|
|
|
}) {inherit (pkgs) libff; inherit (pkgs) secp256k1;}; |
|
|
|
|
|
|
|
|
|
"hevolisa" = callPackage |
|
|
|
@ -150017,8 +150014,6 @@ self: { |
|
|
|
|
]; |
|
|
|
|
description = "Server back-end for the HyperHaskell graphical Haskell interpreter"; |
|
|
|
|
license = lib.licenses.bsd3; |
|
|
|
|
hydraPlatforms = lib.platforms.none; |
|
|
|
|
broken = true; |
|
|
|
|
}) {}; |
|
|
|
|
|
|
|
|
|
"hyperdrive" = callPackage |
|
|
|
@ -170350,7 +170345,6 @@ self: { |
|
|
|
|
"aarch64-darwin" "armv7l-linux" "i686-linux" "x86_64-darwin" |
|
|
|
|
"x86_64-linux" |
|
|
|
|
]; |
|
|
|
|
hydraPlatforms = lib.platforms.none; |
|
|
|
|
}) {}; |
|
|
|
|
|
|
|
|
|
"linearmap-category" = callPackage |
|
|
|
@ -237619,7 +237613,6 @@ self: { |
|
|
|
|
description = "SMT Based Verification: Symbolic Haskell theorem prover using SMT solving"; |
|
|
|
|
license = lib.licenses.bsd3; |
|
|
|
|
hydraPlatforms = lib.platforms.none; |
|
|
|
|
broken = true; |
|
|
|
|
}) {inherit (pkgs) z3;}; |
|
|
|
|
|
|
|
|
|
"sbv" = callPackage |
|
|
|
@ -237653,8 +237646,6 @@ self: { |
|
|
|
|
]; |
|
|
|
|
description = "SMT Based Verification: Symbolic Haskell theorem prover using SMT solving"; |
|
|
|
|
license = lib.licenses.bsd3; |
|
|
|
|
hydraPlatforms = lib.platforms.none; |
|
|
|
|
broken = true; |
|
|
|
|
}) {inherit (pkgs) z3;}; |
|
|
|
|
|
|
|
|
|
"sbvPlugin" = callPackage |
|
|
|
@ -237674,7 +237665,6 @@ self: { |
|
|
|
|
]; |
|
|
|
|
description = "Formally prove properties of Haskell programs using SBV/SMT"; |
|
|
|
|
license = lib.licenses.bsd3; |
|
|
|
|
hydraPlatforms = lib.platforms.none; |
|
|
|
|
}) {}; |
|
|
|
|
|
|
|
|
|
"sc2-lowlevel" = callPackage |
|
|
|
@ -287094,7 +287084,6 @@ self: { |
|
|
|
|
"aarch64-darwin" "armv7l-linux" "i686-linux" "x86_64-darwin" |
|
|
|
|
"x86_64-linux" |
|
|
|
|
]; |
|
|
|
|
hydraPlatforms = lib.platforms.none; |
|
|
|
|
}) {}; |
|
|
|
|
|
|
|
|
|
"verify" = callPackage |
|
|
|
@ -301685,7 +301674,6 @@ self: { |
|
|
|
|
]; |
|
|
|
|
description = "Yi editor"; |
|
|
|
|
license = lib.licenses.gpl2Only; |
|
|
|
|
hydraPlatforms = lib.platforms.none; |
|
|
|
|
}) {}; |
|
|
|
|
|
|
|
|
|
"yi-contrib" = callPackage |
|
|
|
@ -301704,7 +301692,6 @@ self: { |
|
|
|
|
]; |
|
|
|
|
description = "Add-ons to Yi, the Haskell-Scriptable Editor"; |
|
|
|
|
license = lib.licenses.gpl2Only; |
|
|
|
|
hydraPlatforms = lib.platforms.none; |
|
|
|
|
}) {}; |
|
|
|
|
|
|
|
|
|
"yi-core" = callPackage |
|
|
|
@ -301737,8 +301724,6 @@ self: { |
|
|
|
|
benchmarkHaskellDepends = [ base criterion deepseq yi-rope ]; |
|
|
|
|
description = "Yi editor core library"; |
|
|
|
|
license = lib.licenses.gpl2Only; |
|
|
|
|
hydraPlatforms = lib.platforms.none; |
|
|
|
|
broken = true; |
|
|
|
|
}) {}; |
|
|
|
|
|
|
|
|
|
"yi-dynamic-configuration" = callPackage |
|
|
|
@ -301755,7 +301740,6 @@ self: { |
|
|
|
|
]; |
|
|
|
|
description = "Dynamic configuration support for Yi"; |
|
|
|
|
license = lib.licenses.gpl2Only; |
|
|
|
|
hydraPlatforms = lib.platforms.none; |
|
|
|
|
}) {}; |
|
|
|
|
|
|
|
|
|
"yi-emacs-colours" = callPackage |
|
|
|
@ -301786,7 +301770,6 @@ self: { |
|
|
|
|
]; |
|
|
|
|
description = "Pango frontend for Yi editor"; |
|
|
|
|
license = lib.licenses.gpl2Only; |
|
|
|
|
hydraPlatforms = lib.platforms.none; |
|
|
|
|
}) {}; |
|
|
|
|
|
|
|
|
|
"yi-frontend-vty" = callPackage |
|
|
|
@ -301804,7 +301787,6 @@ self: { |
|
|
|
|
]; |
|
|
|
|
description = "Vty frontend for Yi editor"; |
|
|
|
|
license = lib.licenses.gpl2Only; |
|
|
|
|
hydraPlatforms = lib.platforms.none; |
|
|
|
|
}) {}; |
|
|
|
|
|
|
|
|
|
"yi-fuzzy-open" = callPackage |
|
|
|
@ -301823,7 +301805,6 @@ self: { |
|
|
|
|
]; |
|
|
|
|
description = "Fuzzy open plugin for yi"; |
|
|
|
|
license = lib.licenses.gpl2Only; |
|
|
|
|
hydraPlatforms = lib.platforms.none; |
|
|
|
|
}) {}; |
|
|
|
|
|
|
|
|
|
"yi-gtk" = callPackage |
|
|
|
@ -301851,7 +301832,6 @@ self: { |
|
|
|
|
]; |
|
|
|
|
description = "Yi editor incremental reader"; |
|
|
|
|
license = lib.licenses.gpl2Only; |
|
|
|
|
hydraPlatforms = lib.platforms.none; |
|
|
|
|
}) {}; |
|
|
|
|
|
|
|
|
|
"yi-keymap-cua" = callPackage |
|
|
|
@ -301867,7 +301847,6 @@ self: { |
|
|
|
|
]; |
|
|
|
|
description = "Cua keymap for Yi editor"; |
|
|
|
|
license = lib.licenses.gpl2Only; |
|
|
|
|
hydraPlatforms = lib.platforms.none; |
|
|
|
|
}) {}; |
|
|
|
|
|
|
|
|
|
"yi-keymap-emacs" = callPackage |
|
|
|
@ -301887,7 +301866,6 @@ self: { |
|
|
|
|
]; |
|
|
|
|
description = "Emacs keymap for Yi editor"; |
|
|
|
|
license = lib.licenses.gpl2Only; |
|
|
|
|
hydraPlatforms = lib.platforms.none; |
|
|
|
|
}) {}; |
|
|
|
|
|
|
|
|
|
"yi-keymap-vim" = callPackage |
|
|
|
@ -301916,7 +301894,6 @@ self: { |
|
|
|
|
]; |
|
|
|
|
description = "Vim keymap for Yi editor"; |
|
|
|
|
license = lib.licenses.gpl2Only; |
|
|
|
|
hydraPlatforms = lib.platforms.none; |
|
|
|
|
}) {}; |
|
|
|
|
|
|
|
|
|
"yi-language" = callPackage |
|
|
|
@ -301961,7 +301938,6 @@ self: { |
|
|
|
|
libraryToolDepends = [ alex ]; |
|
|
|
|
description = "Yi editor miscellaneous modes"; |
|
|
|
|
license = lib.licenses.gpl2Only; |
|
|
|
|
hydraPlatforms = lib.platforms.none; |
|
|
|
|
}) {}; |
|
|
|
|
|
|
|
|
|
"yi-mode-haskell" = callPackage |
|
|
|
@ -301979,7 +301955,6 @@ self: { |
|
|
|
|
libraryToolDepends = [ alex ]; |
|
|
|
|
description = "Yi editor haskell mode"; |
|
|
|
|
license = lib.licenses.gpl2Only; |
|
|
|
|
hydraPlatforms = lib.platforms.none; |
|
|
|
|
}) {}; |
|
|
|
|
|
|
|
|
|
"yi-mode-javascript" = callPackage |
|
|
|
@ -302000,7 +301975,6 @@ self: { |
|
|
|
|
libraryToolDepends = [ alex ]; |
|
|
|
|
description = "Yi editor javascript mode"; |
|
|
|
|
license = lib.licenses.gpl2Only; |
|
|
|
|
hydraPlatforms = lib.platforms.none; |
|
|
|
|
}) {}; |
|
|
|
|
|
|
|
|
|
"yi-monokai" = callPackage |
|
|
|
@ -302012,7 +301986,6 @@ self: { |
|
|
|
|
libraryHaskellDepends = [ base yi ]; |
|
|
|
|
description = "Monokai colour theme for the Yi text editor"; |
|
|
|
|
license = lib.licenses.bsd3; |
|
|
|
|
hydraPlatforms = lib.platforms.none; |
|
|
|
|
}) {}; |
|
|
|
|
|
|
|
|
|
"yi-rope" = callPackage |
|
|
|
@ -302052,7 +302025,6 @@ self: { |
|
|
|
|
]; |
|
|
|
|
description = "Snippet support for yi"; |
|
|
|
|
license = lib.licenses.gpl2Only; |
|
|
|
|
hydraPlatforms = lib.platforms.none; |
|
|
|
|
}) {}; |
|
|
|
|
|
|
|
|
|
"yi-solarized" = callPackage |
|
|
|
@ -302064,7 +302036,6 @@ self: { |
|
|
|
|
libraryHaskellDepends = [ base yi ]; |
|
|
|
|
description = "Solarized colour theme for the Yi text editor"; |
|
|
|
|
license = lib.licenses.mit; |
|
|
|
|
hydraPlatforms = lib.platforms.none; |
|
|
|
|
}) {}; |
|
|
|
|
|
|
|
|
|
"yi-spolsky" = callPackage |
|
|
|
@ -302076,7 +302047,6 @@ self: { |
|
|
|
|
libraryHaskellDepends = [ base yi ]; |
|
|
|
|
description = "Spolsky colour theme for the Yi text editor"; |
|
|
|
|
license = lib.licenses.bsd3; |
|
|
|
|
hydraPlatforms = lib.platforms.none; |
|
|
|
|
}) {}; |
|
|
|
|
|
|
|
|
|
"yi-vty" = callPackage |
|
|
|
|