haskellPackages: regenerate package set based on current config
(generated by maintainers/scripts/haskell/regenerate-hackage-packages.sh)
This commit is contained in:
@@ -12,15 +12,6 @@ dont-distribute-packages:
|
||||
- ac-machine-conduit
|
||||
- accelerate-arithmetic
|
||||
- accelerate-fourier
|
||||
- accelerate-io
|
||||
- accelerate-io-array
|
||||
- accelerate-io-bmp
|
||||
- accelerate-io-bytestring
|
||||
- accelerate-io-cereal
|
||||
- accelerate-io-JuicyPixels
|
||||
- accelerate-io-repa
|
||||
- accelerate-io-serialise
|
||||
- accelerate-io-vector
|
||||
- accelerate-llvm
|
||||
- accelerate-llvm-native
|
||||
- accelerate-typelits
|
||||
@@ -211,7 +202,6 @@ dont-distribute-packages:
|
||||
- base32-bytestring
|
||||
- baserock-schema
|
||||
- BASIC
|
||||
- basic
|
||||
- batchd
|
||||
- batchd-core
|
||||
- batchd-docker
|
||||
@@ -508,7 +498,6 @@ dont-distribute-packages:
|
||||
- color-counter
|
||||
- colorless-http-client
|
||||
- colorless-scotty
|
||||
- colour-accelerate
|
||||
- colour-space
|
||||
- columbia
|
||||
- columnar
|
||||
@@ -536,7 +525,6 @@ dont-distribute-packages:
|
||||
- composite-tuple
|
||||
- composite-xml
|
||||
- composite-xstep
|
||||
- comprehensions-ghc
|
||||
- computational-algebra
|
||||
- concraft
|
||||
- concraft-hr
|
||||
@@ -576,7 +564,6 @@ dont-distribute-packages:
|
||||
- container
|
||||
- containers-accelerate
|
||||
- content-store
|
||||
- control
|
||||
- control-invariants
|
||||
- control-monad-attempt
|
||||
- control-monad-exception
|
||||
@@ -590,8 +577,6 @@ dont-distribute-packages:
|
||||
- convertible-ascii
|
||||
- convertible-text
|
||||
- coordinate
|
||||
- copilot-cbmc
|
||||
- copilot-sbv
|
||||
- CoreFoundation
|
||||
- coroutine-enumerator
|
||||
- coroutine-iteratee
|
||||
@@ -607,7 +592,6 @@ dont-distribute-packages:
|
||||
- cqrs-sqlite3
|
||||
- cqrs-test
|
||||
- cqrs-testkit
|
||||
- crackNum
|
||||
- craft
|
||||
- craftwerk-cairo
|
||||
- craftwerk-gtk
|
||||
@@ -739,7 +723,6 @@ dont-distribute-packages:
|
||||
- diagrams-html5
|
||||
- diagrams-wx
|
||||
- dialog
|
||||
- diff
|
||||
- difference-monoid
|
||||
- DifferenceLogic
|
||||
- differential
|
||||
@@ -861,7 +844,6 @@ dont-distribute-packages:
|
||||
- ersatz-viz
|
||||
- esotericbot
|
||||
- EsounD
|
||||
- esqueleto-postgis
|
||||
- esqueleto-streaming
|
||||
- estreps
|
||||
- Etage-Graph
|
||||
@@ -904,7 +886,6 @@ dont-distribute-packages:
|
||||
- every-bit-counts
|
||||
- exact-kantorovich
|
||||
- exference
|
||||
- exist
|
||||
- exist-instances
|
||||
- existential
|
||||
- expand
|
||||
@@ -922,7 +903,6 @@ dont-distribute-packages:
|
||||
- factual-api
|
||||
- fadno
|
||||
- FailureT
|
||||
- fair
|
||||
- fallingblocks
|
||||
- family-tree
|
||||
- fast-arithmetic
|
||||
@@ -1003,7 +983,6 @@ dont-distribute-packages:
|
||||
- fluid-idl-scotty
|
||||
- FM-SBLEX
|
||||
- fmt-for-rio
|
||||
- foldable1
|
||||
- foldl-transduce-attoparsec
|
||||
- follower
|
||||
- foo
|
||||
@@ -1148,6 +1127,7 @@ dont-distribute-packages:
|
||||
- glazier-react-examples
|
||||
- glazier-react-widget
|
||||
- glean
|
||||
- glean-lsp
|
||||
- GLFW-OGL
|
||||
- GLFW-task
|
||||
- global
|
||||
@@ -1222,8 +1202,6 @@ dont-distribute-packages:
|
||||
- grid-proto
|
||||
- gridbounds
|
||||
- gridland
|
||||
- grisette
|
||||
- grisette-monad-coroutine
|
||||
- gross
|
||||
- groundhog-converters
|
||||
- groundhog-inspector
|
||||
@@ -1332,7 +1310,6 @@ dont-distribute-packages:
|
||||
- HasGP
|
||||
- hash-addressed
|
||||
- hash-addressed-cli
|
||||
- hashable-accelerate
|
||||
- Hashell
|
||||
- hashflare
|
||||
- hask-home
|
||||
@@ -1638,7 +1615,6 @@ dont-distribute-packages:
|
||||
- hs-ffmpeg
|
||||
- hs-functors
|
||||
- hs-gen-iface
|
||||
- hs-hath
|
||||
- hs-ix
|
||||
- hs-opentelemetry-instrumentation-cloudflare
|
||||
- hs-opentelemetry-instrumentation-http-client
|
||||
@@ -1780,7 +1756,6 @@ dont-distribute-packages:
|
||||
- identicon-style-squares
|
||||
- idna
|
||||
- iException
|
||||
- ifscs
|
||||
- ige-mac-integration
|
||||
- igrf
|
||||
- ihaskell-rlangqq
|
||||
@@ -2062,13 +2037,11 @@ dont-distribute-packages:
|
||||
- libraft
|
||||
- librarian
|
||||
- libxml-enumerator
|
||||
- lifted-base-tf
|
||||
- lightning-haskell
|
||||
- lightstep-haskell
|
||||
- lighttpd-conf
|
||||
- lighttpd-conf-qq
|
||||
- linear-code
|
||||
- linearEqSolver
|
||||
- linearscan-hoopl
|
||||
- LinearSplit
|
||||
- LinkChecker
|
||||
@@ -2087,7 +2060,6 @@ dont-distribute-packages:
|
||||
- list-t-html-parser
|
||||
- list-tuple
|
||||
- listenbrainz-client
|
||||
- ListT
|
||||
- liszt
|
||||
- lit
|
||||
- live-sequencer
|
||||
@@ -2237,6 +2209,7 @@ dont-distribute-packages:
|
||||
- microformats2-types
|
||||
- MicrosoftTranslator
|
||||
- midimory
|
||||
- mig-rio
|
||||
- mig-server
|
||||
- mighttpd
|
||||
- minecraft-data
|
||||
@@ -2365,7 +2338,6 @@ dont-distribute-packages:
|
||||
- MutationOrder
|
||||
- mute-unmute
|
||||
- mvclient
|
||||
- mwc-random-accelerate
|
||||
- mwc-random-monad
|
||||
- mxnet-dataiter
|
||||
- mxnet-examples
|
||||
@@ -2590,6 +2562,9 @@ dont-distribute-packages:
|
||||
- peyotls
|
||||
- peyotls-codec
|
||||
- pg-entity
|
||||
- pgmq-effectful
|
||||
- pgmq-hasql
|
||||
- pgmq-migration
|
||||
- phatsort
|
||||
- phladiprelio-general-shared
|
||||
- phladiprelio-general-simple
|
||||
@@ -2794,7 +2769,6 @@ dont-distribute-packages:
|
||||
- queryparser-vertica
|
||||
- queuelike
|
||||
- quic-simple
|
||||
- quick-process
|
||||
- quickcheck-poly
|
||||
- quickcheck-regex
|
||||
- quickcheck-relaxng
|
||||
@@ -2828,7 +2802,6 @@ dont-distribute-packages:
|
||||
- rallod
|
||||
- randfile
|
||||
- random-access-file
|
||||
- random-class
|
||||
- random-effin
|
||||
- random-extras
|
||||
- random-hypergeometric
|
||||
@@ -2875,6 +2848,7 @@ dont-distribute-packages:
|
||||
- refh
|
||||
- reflex-animation
|
||||
- reflex-backend-wai
|
||||
- reflex-classhss
|
||||
- reflex-gloss-scene
|
||||
- reflex-libtelnet
|
||||
- reflex-localize
|
||||
@@ -2952,7 +2926,6 @@ dont-distribute-packages:
|
||||
- riot
|
||||
- ripple
|
||||
- ripple-federation
|
||||
- risc-v
|
||||
- rivet
|
||||
- RJson
|
||||
- rlwe-challenges
|
||||
@@ -2986,7 +2959,6 @@ dont-distribute-packages:
|
||||
- roundtrip-xml
|
||||
- route-generator
|
||||
- route-planning
|
||||
- row
|
||||
- rpc
|
||||
- rpf
|
||||
- rsagl
|
||||
@@ -3000,7 +2972,6 @@ dont-distribute-packages:
|
||||
- s-expression
|
||||
- S3
|
||||
- safe-coupling
|
||||
- safe-failure
|
||||
- safe-failure-cme
|
||||
- safe-plugins
|
||||
- safer-file-handles
|
||||
@@ -3031,8 +3002,6 @@ dont-distribute-packages:
|
||||
- satchmo-toysat
|
||||
- sauron
|
||||
- SBench
|
||||
- sbv-program
|
||||
- sbvPlugin
|
||||
- sc2-lowlevel
|
||||
- sc2-support
|
||||
- sc2hs
|
||||
@@ -3043,7 +3012,6 @@ dont-distribute-packages:
|
||||
- scalpel-search
|
||||
- scan-metadata
|
||||
- scan-vector-machine
|
||||
- scheduling
|
||||
- schematic
|
||||
- scholdoc
|
||||
- scholdoc-citeproc
|
||||
@@ -3134,7 +3102,6 @@ dont-distribute-packages:
|
||||
- servant-zeppelin-server
|
||||
- servant-zeppelin-swagger
|
||||
- sessiontypes-distributed
|
||||
- Set
|
||||
- SFML-control
|
||||
- SFont
|
||||
- SGdemo
|
||||
@@ -3156,6 +3123,7 @@ dont-distribute-packages:
|
||||
- Shellac-haskeline
|
||||
- Shellac-readline
|
||||
- shellmate-extras
|
||||
- shibuya-pgmq-adapter
|
||||
- shine-varying
|
||||
- short-vec
|
||||
- short-vec-lens
|
||||
@@ -3216,7 +3184,6 @@ dont-distribute-packages:
|
||||
- smith-cli
|
||||
- smith-client
|
||||
- Smooth
|
||||
- smt
|
||||
- smtlib2-debug
|
||||
- smtlib2-pipe
|
||||
- smtlib2-quickcheck
|
||||
@@ -3295,6 +3262,7 @@ dont-distribute-packages:
|
||||
- sqlcli-odbc
|
||||
- sqlite-simple-interpolate
|
||||
- sqlite-simple-typed
|
||||
- squealgen
|
||||
- squeeze
|
||||
- srt-dhall
|
||||
- srt-formatting
|
||||
@@ -3519,7 +3487,6 @@ dont-distribute-packages:
|
||||
- trasa-form
|
||||
- trasa-server
|
||||
- trasa-th
|
||||
- traversal-template
|
||||
- TreeCounter
|
||||
- treemap-html-tools
|
||||
- treersec
|
||||
@@ -3552,7 +3519,6 @@ dont-distribute-packages:
|
||||
- twill
|
||||
- twirl
|
||||
- twitter-enumerator
|
||||
- txt
|
||||
- type-assertions
|
||||
- type-cache
|
||||
- type-cereal
|
||||
@@ -3578,7 +3544,6 @@ dont-distribute-packages:
|
||||
- u2f
|
||||
- uber
|
||||
- ucam-webauth
|
||||
- ucd
|
||||
- udbus-model
|
||||
- uhc-light
|
||||
- uhc-util
|
||||
@@ -3626,10 +3591,7 @@ dont-distribute-packages:
|
||||
- usb-id-database
|
||||
- usb-iteratee
|
||||
- usb-safe
|
||||
- utf
|
||||
- UTFTConverter
|
||||
- util-exception
|
||||
- util-primitive-control
|
||||
- util-universe
|
||||
- utxorpc-client
|
||||
- utxorpc-server
|
||||
@@ -3646,7 +3608,6 @@ dont-distribute-packages:
|
||||
- vacuum-graphviz
|
||||
- vacuum-opengl
|
||||
- vacuum-ubigraph
|
||||
- valid
|
||||
- validated-literals
|
||||
- variable-media-field-dhall
|
||||
- variable-media-field-optics
|
||||
@@ -3663,7 +3624,6 @@ dont-distribute-packages:
|
||||
- vectortiles
|
||||
- venzone
|
||||
- verdict-json
|
||||
- verifiable-expressions
|
||||
- versioning-servant
|
||||
- vertexenum
|
||||
- vflow-types
|
||||
@@ -3681,7 +3641,6 @@ dont-distribute-packages:
|
||||
- vocoder-dunai
|
||||
- voicebase
|
||||
- vorbiscomment
|
||||
- vpq
|
||||
- vty-ui-extras
|
||||
- waargonaut
|
||||
- wahsp
|
||||
|
||||
+9
-47
@@ -129,6 +129,7 @@ self: {
|
||||
];
|
||||
description = "A tetris-like game (works with GHC 6.8.3 and Gtk2hs 0.9.13)";
|
||||
license = lib.licenses.bsd3;
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
mainProgram = "4Blocks";
|
||||
}
|
||||
) { };
|
||||
@@ -28575,7 +28576,6 @@ self: {
|
||||
];
|
||||
description = "List transformer";
|
||||
license = lib.licenses.bsd3;
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
}
|
||||
) { };
|
||||
|
||||
@@ -40639,7 +40639,6 @@ self: {
|
||||
];
|
||||
description = "See README for more info";
|
||||
license = lib.licensesSpdx."MPL-2.0";
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
}
|
||||
) { };
|
||||
|
||||
@@ -50048,8 +50047,6 @@ self: {
|
||||
];
|
||||
description = "An embedded language for accelerated array processing";
|
||||
license = lib.licenses.bsd3;
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
broken = true;
|
||||
}
|
||||
) { };
|
||||
|
||||
@@ -50691,7 +50688,6 @@ self: {
|
||||
];
|
||||
description = "Convert between Accelerate arrays and raw pointers";
|
||||
license = lib.licenses.bsd3;
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
}
|
||||
) { };
|
||||
|
||||
@@ -50868,7 +50864,6 @@ self: {
|
||||
];
|
||||
description = "Binary serialisation of Accelerate arrays using serialise";
|
||||
license = lib.licenses.bsd3;
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
}
|
||||
) { };
|
||||
|
||||
@@ -99407,7 +99402,6 @@ self: {
|
||||
];
|
||||
description = "Lifting values from base types";
|
||||
license = lib.licenses.bsd3;
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
}
|
||||
) { };
|
||||
|
||||
@@ -151864,7 +151858,6 @@ self: {
|
||||
];
|
||||
description = "Working with colours in Accelerate";
|
||||
license = lib.licenses.bsd3;
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
}
|
||||
) { };
|
||||
|
||||
@@ -155942,7 +155935,6 @@ self: {
|
||||
testHaskellDepends = [ base ];
|
||||
description = "Plugin to generalize comprehensions";
|
||||
license = lib.licenses.bsd3;
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
}
|
||||
) { };
|
||||
|
||||
@@ -162945,7 +162937,6 @@ self: {
|
||||
];
|
||||
description = "Class of monad transformers which control operations can be lifted thru";
|
||||
license = lib.licenses.bsd3;
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
}
|
||||
) { };
|
||||
|
||||
@@ -164376,7 +164367,6 @@ self: {
|
||||
];
|
||||
description = "Copilot interface to a C model-checker";
|
||||
license = lib.licenses.bsd3;
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
}
|
||||
) { };
|
||||
|
||||
@@ -164788,7 +164778,6 @@ self: {
|
||||
];
|
||||
description = "A compiler for CoPilot targeting SBV";
|
||||
license = lib.licenses.bsd3;
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
}
|
||||
) { };
|
||||
|
||||
@@ -168340,7 +168329,6 @@ self: {
|
||||
];
|
||||
description = "Crack various integer and floating-point data formats";
|
||||
license = lib.licensesSpdx."BSD-3-Clause";
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
mainProgram = "crackNum";
|
||||
}
|
||||
) { };
|
||||
@@ -195903,7 +195891,6 @@ self: {
|
||||
];
|
||||
description = "Diff and patch";
|
||||
license = lib.licenses.bsd3;
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
}
|
||||
) { };
|
||||
|
||||
@@ -222536,7 +222523,6 @@ self: {
|
||||
];
|
||||
description = "postgis bindings for esqueleto";
|
||||
license = lib.licensesSpdx."MIT";
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
}
|
||||
) { };
|
||||
|
||||
@@ -227601,7 +227587,6 @@ self: {
|
||||
];
|
||||
description = "Dependent sum type";
|
||||
license = lib.licenses.bsd3;
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
}
|
||||
) { };
|
||||
|
||||
@@ -230476,8 +230461,6 @@ self: {
|
||||
];
|
||||
description = "A simple type class for success/failure computations. (deprecated)";
|
||||
license = lib.licenses.bsd3;
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
broken = true;
|
||||
}
|
||||
) { };
|
||||
|
||||
@@ -230548,7 +230531,6 @@ self: {
|
||||
];
|
||||
description = "Lists with fair choice";
|
||||
license = lib.licenses.bsd3;
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
}
|
||||
) { };
|
||||
|
||||
@@ -243419,7 +243401,6 @@ self: {
|
||||
];
|
||||
description = "Foldable types with at least 1 element";
|
||||
license = lib.licenses.bsd3;
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
}
|
||||
) { };
|
||||
|
||||
@@ -277435,6 +277416,7 @@ self: {
|
||||
];
|
||||
description = "Generic Glean-based LSP Server";
|
||||
license = lib.licensesSpdx."BSD-3-Clause";
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
mainProgram = "glean-lsp";
|
||||
}
|
||||
) { };
|
||||
@@ -289118,7 +289100,6 @@ self: {
|
||||
];
|
||||
description = "Symbolic evaluation as a library";
|
||||
license = lib.licenses.bsd3;
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
}
|
||||
) { };
|
||||
|
||||
@@ -289161,7 +289142,6 @@ self: {
|
||||
];
|
||||
description = "Support for monad-coroutine package with Grisette";
|
||||
license = lib.licenses.bsd3;
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
}
|
||||
) { };
|
||||
|
||||
@@ -352184,7 +352164,6 @@ self: {
|
||||
doHaddock = false;
|
||||
description = "A Haskell implementation of the Hentai@Home client";
|
||||
license = lib.licenses.gpl3Only;
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
}
|
||||
) { };
|
||||
|
||||
@@ -380261,7 +380240,6 @@ self: {
|
||||
];
|
||||
description = "An inductive-form set constraint solver";
|
||||
license = lib.licenses.bsd3;
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
}
|
||||
) { };
|
||||
|
||||
@@ -427419,7 +427397,6 @@ self: {
|
||||
];
|
||||
description = "lifted IO operations from the base library";
|
||||
license = lib.licenses.bsd3;
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
}
|
||||
) { };
|
||||
|
||||
@@ -429245,7 +429222,6 @@ self: {
|
||||
description = "Use SMT solvers to solve linear systems over integers and rationals";
|
||||
license = lib.licenses.bsd3;
|
||||
badPlatforms = [ "aarch64-linux" ];
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
}
|
||||
) { };
|
||||
|
||||
@@ -456756,6 +456732,7 @@ self: {
|
||||
];
|
||||
description = "Utils to use RIO with mig library";
|
||||
license = lib.licenses.bsd3;
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
}
|
||||
) { };
|
||||
|
||||
@@ -477784,7 +477761,6 @@ self: {
|
||||
];
|
||||
description = "Generate Accelerate arrays filled with high quality pseudorandom numbers";
|
||||
license = lib.licenses.bsd3;
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
}
|
||||
) { };
|
||||
|
||||
@@ -526678,6 +526654,7 @@ self: {
|
||||
];
|
||||
description = "Effectful effects for PGMQ (PostgreSQL Message Queue)";
|
||||
license = lib.licensesSpdx."MIT";
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
}
|
||||
) { };
|
||||
|
||||
@@ -526742,6 +526719,7 @@ self: {
|
||||
];
|
||||
description = "Hasql-based client for PGMQ (PostgreSQL Message Queue)";
|
||||
license = lib.licensesSpdx."MIT";
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
}
|
||||
) { };
|
||||
|
||||
@@ -526785,6 +526763,7 @@ self: {
|
||||
];
|
||||
description = "PGMQ schema migrations without PostgreSQL extension";
|
||||
license = lib.licensesSpdx."MIT";
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
}
|
||||
) { };
|
||||
|
||||
@@ -563899,7 +563878,6 @@ self: {
|
||||
doHaddock = false;
|
||||
description = "Run external processes verified at compilation/installation";
|
||||
license = lib.licensesSpdx."BSD-3-Clause";
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
}
|
||||
) { };
|
||||
|
||||
@@ -568310,7 +568288,6 @@ self: {
|
||||
];
|
||||
description = "Class of random value generation";
|
||||
license = lib.licenses.bsd3;
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
}
|
||||
) { };
|
||||
|
||||
@@ -576412,6 +576389,7 @@ self: {
|
||||
];
|
||||
description = "ClasshSS defined element builders for Reflex";
|
||||
license = lib.licensesSpdx."MIT";
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
}
|
||||
) { };
|
||||
|
||||
@@ -589452,7 +589430,6 @@ self: {
|
||||
];
|
||||
description = "RISC-V";
|
||||
license = lib.licenses.bsd3;
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
}
|
||||
) { };
|
||||
|
||||
@@ -592929,7 +592906,6 @@ self: {
|
||||
doHaddock = false;
|
||||
description = "Row types";
|
||||
license = lib.licenses.bsd3;
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
}
|
||||
) { };
|
||||
|
||||
@@ -595710,7 +595686,6 @@ self: {
|
||||
];
|
||||
description = "Library for safe functions (deprecated)";
|
||||
license = lib.licenses.bsd3;
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
}
|
||||
) { };
|
||||
|
||||
@@ -599922,7 +599897,6 @@ self: {
|
||||
];
|
||||
description = "Component-based program synthesis using SBV";
|
||||
license = lib.licenses.bsd3;
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
}
|
||||
) { };
|
||||
|
||||
@@ -599965,7 +599939,6 @@ self: {
|
||||
];
|
||||
description = "Formally prove properties of Haskell programs using SBV/SMT";
|
||||
license = lib.licensesSpdx."BSD-3-Clause";
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
}
|
||||
) { };
|
||||
|
||||
@@ -601159,7 +601132,6 @@ self: {
|
||||
];
|
||||
description = "An interview scheduler using constraint satisfaction and Google Sheets";
|
||||
license = lib.licenses.bsd3;
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
mainProgram = "scheduler";
|
||||
}
|
||||
) { };
|
||||
@@ -622426,6 +622398,7 @@ self: {
|
||||
];
|
||||
description = "PGMQ adapter for the Shibuya queue processing framework";
|
||||
license = lib.licensesSpdx."MIT";
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
}
|
||||
) { };
|
||||
|
||||
@@ -632673,7 +632646,6 @@ self: {
|
||||
];
|
||||
description = "Interface to Satisfiability Modulo Theories solvers";
|
||||
license = lib.licenses.bsd3;
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
}
|
||||
) { };
|
||||
|
||||
@@ -644520,6 +644492,7 @@ self: {
|
||||
];
|
||||
description = "generate squeal types from an existing database";
|
||||
license = lib.licenses.bsd3;
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
mainProgram = "squealgen";
|
||||
}
|
||||
) { };
|
||||
@@ -704813,7 +704786,6 @@ self: {
|
||||
];
|
||||
description = "See README for more info";
|
||||
license = lib.licensesSpdx."MPL-2.0";
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
}
|
||||
) { };
|
||||
|
||||
@@ -710419,7 +710391,6 @@ self: {
|
||||
];
|
||||
description = "Text";
|
||||
license = lib.licenses.bsd3;
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
}
|
||||
) { };
|
||||
|
||||
@@ -714890,7 +714861,6 @@ self: {
|
||||
];
|
||||
description = "Unicode Character Database — Predicates on characters specified by Unicode";
|
||||
license = lib.licensesSpdx."BSD-3-Clause";
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
}
|
||||
) { };
|
||||
|
||||
@@ -723343,7 +723313,6 @@ self: {
|
||||
];
|
||||
description = "UTF-8";
|
||||
license = lib.licensesSpdx."BSD-3-Clause";
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
}
|
||||
) { };
|
||||
|
||||
@@ -723542,8 +723511,6 @@ self: {
|
||||
];
|
||||
description = "Utilities";
|
||||
license = lib.licenses.bsd3;
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
broken = true;
|
||||
}
|
||||
) { };
|
||||
|
||||
@@ -723571,7 +723538,6 @@ self: {
|
||||
];
|
||||
description = "Exceptional utilities";
|
||||
license = lib.licenses.bsd3;
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
}
|
||||
) { };
|
||||
|
||||
@@ -723697,7 +723663,6 @@ self: {
|
||||
];
|
||||
description = "Utilities for stateful primitive types and types based on them";
|
||||
license = lib.licenses.bsd3;
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
}
|
||||
) { };
|
||||
|
||||
@@ -725119,7 +725084,6 @@ self: {
|
||||
];
|
||||
description = "Type isomorphic to `Either` with `Applicative` instance which combines errors";
|
||||
license = lib.licenses.bsd3;
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
}
|
||||
) { };
|
||||
|
||||
@@ -728917,7 +728881,6 @@ self: {
|
||||
description = "An intermediate language for Hoare logic style verification";
|
||||
license = lib.licenses.asl20;
|
||||
badPlatforms = [ "aarch64-linux" ];
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
}
|
||||
) { };
|
||||
|
||||
@@ -731749,7 +731712,6 @@ self: {
|
||||
];
|
||||
description = "Priority queue based on vector";
|
||||
license = lib.licenses.bsd3;
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
}
|
||||
) { };
|
||||
|
||||
|
||||
Reference in New Issue
Block a user