| accelerate-cuda
|
>=1.0
|
| accelerate-llvm-ptx
|
>=1.1
|
| acme-http |
>=1.0 && <1.2
|
| adobe-swatch-exchange |
>=1.1 && <1.2
|
| aeson-match-qq |
>=0
|
| Agda
|
>=1.1.3.6 && <1.2
|
| agda2train |
>=1.1.3.3 && <1.2
|
| ajhc |
>=0
|
| algebra-checkers |
>=1.1.3.3 && <2
|
| algebra-sql
|
>=1.1
|
| AlgorithmW |
>=1.1 && <1.2
|
| alms |
>=1
|
| alphachar
|
>=1.1 && <2
|
| ALUT
|
>=0
|
| anatomy |
>=0
|
| AndroidViewHierarchyImporter |
>=1.1 && <1.2
|
| arbb-vm |
>=0
|
| archive |
>=0
|
| archlinux
|
>=0
|
| archlinux-web |
>=0
|
| asil
|
>=1.0.1.1
|
| ASN1 |
>=0
|
| asn1-codec |
>=0
|
| atomo
|
>=0
|
| atp-haskell
|
>=1.1.2
|
| Aurochs |
>=0
|
| azure-service-api
|
>=1.1 && <1.2
|
| b9 |
>=1.1 && <2
|
| bamse |
>=0
|
| baskell |
>=0
|
| bayes-stack
|
>=0
|
| beam
|
>=0
|
| beam-migrate
|
>=1.1 && <1.2
|
| bencoding
|
>=0
|
| bibdb |
>=0
|
| bidirectionalization-combined |
>=0
|
| billeksah-forms
|
>=1.0.1.2 && <1.1
|
| billeksah-main |
>=1.0.1.0 && <1.1
|
| billeksah-main-static |
>=1.0.1.0 && <1.1
|
| billeksah-pane
|
>=1.0.1.0 && <1.1
|
| billeksah-services
|
>=1.0.1.0 && <1.1
|
| bittorrent |
>=0
|
| blip |
>=1.1 && <1.2
|
| bliplib
|
>=1.1 && <1.2
|
| Blobs |
>=0
|
| BNFC
|
>=1.1 && <1.2
|
| bond
|
>=0
|
| bound-extras |
^>=1.1.3.6
|
| brittany
|
>=1.1.3 && <1.2
|
| btc-lsp |
>=0
|
| buster
|
>=0
|
| buster-gtk |
>=0
|
| buster-network |
>=0
|
| butcher
|
<1.2
|
| c2ats |
>=1.1.3.1
|
| c2hs |
>=0
|
| c2hsc |
>=1.1
|
| Cabal
|
>=1.1.1 && <1.2
|
| cabal-db |
>=0
|
| cabal-debian |
>=1.1.2
|
| cabal-dev |
>=1.0 && <1.2
|
| cabal-file-th
|
>=0
|
| cabal-fix |
>=1.1 && <1.2
|
| cabal-fmt |
^>=1.1.3.6
|
| cabal-gild |
^>=1.1.3.6
|
| Cabal-ide-backend
|
>=1 && <1.2
|
| cabal-install
|
>=1.1 && <1.2
|
| cabal-install-bundle |
>=0
|
| cabal-install-ghc72 |
>=1 && <1.2
|
| cabal-install-ghc74 |
>=1 && <1.2
|
| cabal-install-parsers
|
>=1.1.3.6 && <1.2
|
| cabal-install-solver
|
^>=1.1
|
| cabal-plan-bounds |
^>=1.1.3
|
| Cabal-syntax
|
>=1.1.1 && <1.2
|
| cabal2arch |
>=0
|
| cabal2json |
>=0
|
| cabal2nix
|
>=1.1.2
|
| cabalgraph |
>=0
|
| cabalQuery |
>=0
|
| camfort |
>=1.1 && <2
|
| canonical-json |
>=1.0 && <1.2
|
| cao |
>=0
|
| cash |
>=0
|
| cci |
>=0
|
| chp
|
>=0
|
| chp-plus
|
>=0
|
| chp-spec |
>=0
|
| circuit-notation |
>=0
|
| citeproc
|
>=0
|
| clash |
>=1.0.1.1 && <1.1
|
| clua |
>=0
|
| cmdtheline
|
>=1.1 && <1.2
|
| cnc-spec-compiler |
>=1.1.0.0
|
| Coadjute |
>=1.0.1 && <1.1
|
| codec-rpm
|
>=1.1.2.0
|
| Combinatorrent |
>=0
|
| complexity |
>=1
|
| conffmt |
>=0
|
| config-schema
|
>=1.1.2 && <1.2
|
| config-value
|
>=1.1.1.0 && <1.2
|
| configurator-export |
>=0
|
| conjure |
>=0
|
| context-free-grammar |
>=1.1
|
| copilot-bluespec |
>=1.1.2 && <1.2
|
| copilot-c99
|
>=1.1 && <1.2
|
| copilot-cbmc |
>=1.0.1
|
| copilot-interpreter
|
>=1.0 && <1.2
|
| copilot-language
|
>=0
|
| copilot-prettyprinter
|
>=1.0 && <1.2
|
| copilot-sbv
|
>=1
|
| copilot-theorem
|
>=1.0 && <1.2
|
| copilot-visualizer |
>=1.0 && <1.2
|
| core
|
>=0
|
| CoreDump |
>=0
|
| CoreErlang |
>=1.1 && <1.2
|
| crucible-llvm
|
>=0
|
| Crypto
|
>=1.0.1 && <1.1 || >=1.1.0 && <1.2
|
| crypto-cipher-benchmarks
|
>=0
|
| cryptol |
>=0
|
| CSPM-ToProlog
|
>=1.1 && <1.2
|
| cspretty |
>=1.1
|
| cuda
|
>=0
|
| curry-base
|
>=0
|
| curry-frontend
|
>=1.1 && <1.2
|
| data-pprint
|
>=1.0 && <1.2
|
| data-tree-print
|
>=1.1 && <1.2
|
| datalog |
>=0
|
| dawdle |
>=1.0 && <1.2
|
| dclabel-eci11
|
>1.0.1 && <2
|
| debian
|
>=1.1.2
|
| derive
|
>=0
|
| derive-gadt |
>=0
|
| dhall-docs |
>=1.1.1.1
|
| dicom |
>=1.1
|
| Diff
|
>=1.1
|
| diffcabal |
>=0
|
| digit
|
>=1.1 && <1.2
|
| DisTract |
>=0
|
| distribution-nixpkgs
|
>=1.1.2
|
| distribution-opensuse |
>=0
|
| djinn |
<10
|
| djinn-lib
|
>=0
|
| dph-base
|
>=1.1 && <1.2
|
| dph-lifted-base
|
>=1.1 && <1.2
|
| dph-lifted-vseg
|
>=1.1 && <1.2
|
| DPM |
>=0
|
| DrHylo |
>=1.0
|
| dtab |
>=1.1.1.0
|
| dwarfadt |
>=1.1
|
| dwergaz
|
>=1.1 && <1.2
|
| EditTimeReport |
>=0
|
| effectful-opaleye |
>=1.1.1.0 && <1.2
|
| egison-pattern-src-th-mode
|
>=1.0.0 && <1.2
|
| Elm
|
>=1.0 && <2.0
|
| elm-compiler
|
>=1.0 && <2.0
|
| elm-package
|
>=0
|
| estimators |
>=0
|
| ethereum-analyzer
|
>=0
|
| event-monad |
>=0
|
| ewe |
>=1.1
|
| exference |
>=1.1 && <1.2
|
| exherbo-cabal |
>=1.1 && <1.2
|
| extcore
|
>=0
|
| Extra
|
>=0
|
| factor |
>=1.1
|
| fb-util
|
^>=1.1.3.6
|
| feldspar-compiler
|
>=0
|
| FerryCore |
>=1.0.1.1
|
| ffeed |
>=0
|
| fig |
>=0
|
| fitspec |
>=0
|
| fix-imports |
>=0
|
| flat
|
>=1.1.3.4 && <=1.1.3.6
|
| ForSyDe |
>=0
|
| forsyde-deep |
>=0
|
| fortran-src
|
>=1.1 && <2
|
| foscam-directory
|
>=1.1.2 && <1.2
|
| fourmolu
|
>=1.0 && <2.0
|
| frame
|
>=0
|
| Frames
|
>=0
|
| free-theorems
|
>=1.0.0.0
|
| free-theorems-counterexamples |
>=1.0.0.0
|
| free-theorems-seq
|
>=1 && <2
|
| free-theorems-seq-webui |
>=1 && <2
|
| freesect |
>=1.0
|
| fsmActions |
>=0
|
| ftshell |
>=1.0.0.0
|
| funcmp |
>=0
|
| funcons-intgen |
>=1.1.2
|
| funflow
|
>=0
|
| fungll-combinators |
>=0
|
| funsat
|
>=0
|
| g2
|
>=1.1 && <1.4
|
| gen-imports |
>=0
|
| generic-pretty-instances
|
>=0
|
| GenericPretty
|
>=0
|
| gf
|
>=1.1.3 && <1.2
|
| ghc-dump-tree |
>=1.1 && <1.2
|
| ghc-lib |
>=1.1 && <1.2
|
| ghc-lib-parser
|
>=1.1 && <1.2
|
| ghc-typelits-presburger
|
>=0
|
| ghcup |
>=1.1.3.1 && <1.2
|
| ginsu |
>=0
|
| git-checklist |
>=1.1 && <1.2
|
| github-tools |
>=0
|
| gitit
|
>=0
|
| glean |
>=0
|
| GLFW-b-demo |
>=1.1 && <1.2
|
| gll
|
>=0
|
| glualint |
>=1.1 && <1.2
|
| gps
|
>=1.0
|
| graphmod |
>=0
|
| greencard
|
>=0
|
| greencard-lib |
>=0
|
| gtk2hs-buildtools
|
>=0
|
| H |
>=1.1 && <1.2
|
| hackage-cli |
^>=1.1.2
|
| hackage-security
|
>=1.0 && <1.2
|
| hackage-server |
>=1.0
|
| hackport |
>=1.1.1
|
| haddock-leksah |
>=0
|
| hakaru
|
>=1.1 && <1.2
|
| handa-gdata
|
>=0
|
| HAppS-Data
|
>=0
|
| happs-tutorial |
>=1.0.1.0 && <2
|
| happstack-data
|
>=0
|
| happstack-yui |
>=1.1 && <1.2
|
| happy-dot
|
>=1.1
|
| hardware-edsl
|
>=1.1 && <2
|
| harpy
|
>=1 && <2
|
| haskell-ci |
^>=1.1.3.3
|
| haskell-language-server |
>=0
|
| haskell-platform-test |
==1.0.1.1
|
| haskell-spacegoo |
>=0
|
| haskell-src
|
>=1.0.1.2 && <1.2
|
| haskell-src-exts
|
>=1.0
|
| haskell-src-meta
|
>=1.0 && <1.2
|
| haskell-src-meta-mwotton
|
>=0
|
| haskell-token-utils |
>=0
|
| haskell-tools-ast
|
>=1.1 && <1.2
|
| haskell-tools-daemon
|
>=1.1 && <1.2
|
| haskell-type-exts |
>=0
|
| haskell-xmpp |
>=0
|
| HaskellAnalysisProgram |
>=1.1.3 && <1.2
|
| haskelldb
|
>=1 && <2
|
| HaskellNet
|
>=1.1.3 && <1.2
|
| HaskellTorrent |
>=0
|
| haskelm |
>=0
|
| haskelzinc |
>=1.1.3
|
| haskhol-core |
>=1.1
|
| haskoin-wallet |
>=1.1.3.6
|
| haxl
|
>=1.1 && <1.2
|
| HaXml
|
>=1.0.1.2 && <1.2
|
| hbayes |
>=1.1.1.0
|
| hburg |
>=0
|
| hcron |
>=1.0 && <1.2
|
| hdirect |
<1.2
|
| hdo |
>=0
|
| Hedi |
>=0
|
| helf |
>=1.0 && <2
|
| hellnet
|
>=0
|
| herb |
>=1.1 && <1.2
|
| hfmt |
>=0
|
| hfusion |
>=0
|
| Hieroglyph |
>=0
|
| hix |
>=0
|
| HJavaScript
|
>=1.0
|
| hLLVM |
>=1.1.1.1
|
| hol |
>=1.1
|
| hoop |
>=0
|
| hoq |
>=1.1
|
| horizon-gen-nix |
>=0
|
| hpack
|
>=0
|
| hpack-convert |
>=0
|
| hpc-tracer |
>=0
|
| hs-twitterarchiver |
>=0
|
| hsec-tools |
>=1.0 && <1.2
|
| hsmagick
|
>=0
|
| Hsmtlib |
>=1.1 && <1.2
|
| HsParrot
|
>=0
|
| hspec-setup |
>=1.1.2.0
|
| hssqlppp
|
>=1.0 && <1.2
|
| HStringTemplate
|
<1.2
|
| HTF
|
>=1.0
|
| httpspec
|
>=0
|
| HulkImport |
>=0
|
| hydrogen |
>=1.1 && <1.2
|
| hylolib
|
>=1
|
| hyperdrive |
>=1.1 && <1.2
|
| hypertypes |
>=0
|
| idris |
<1.2
|
| imperative-edsl-vhdl
|
>=1.0
|
| INblobs |
>=0
|
| inch |
>=1.0 && <2
|
| ivory
|
>=1.1
|
| ivory-examples |
>=1.1
|
| ivory-opts
|
>=0
|
| java-adt |
>=0
|
| JsContracts |
>=0.1
|
| json
|
>=0
|
| json-autotype
|
>=1.1 && <1.3
|
| json-to-type |
>=0
|
| json2
|
>=0
|
| json5hs |
>=0
|
| jukebox
|
>=1.1.2.0
|
| jvm-parser |
>=0
|
| lambdabot-haskell-plugins
|
>=1.1
|
| LambdaCalculator |
>=1.0
|
| lambdacube |
>=0
|
| language-asn
|
>=1.1 && <1.2
|
| language-bluespec
|
>=1.1.2 && <1.2
|
| language-boogie |
>=1.1 && <1.2
|
| language-c
|
<1.2.0
|
| language-c99
|
>=1.1.3 && <1.2
|
| language-conf
|
>=0
|
| language-csharp |
>=1.1 && <1.2
|
| language-css
|
>=0
|
| language-dart |
>=1.1
|
| language-dockerfile
|
>=0
|
| language-dot
|
>=1 && <2
|
| language-eiffel |
>=0
|
| language-elm |
>=0
|
| language-hcl |
>=0
|
| language-java
|
>=1.0
|
| language-mixal |
>=0
|
| language-nix
|
>=0
|
| language-objc |
>=1.1 && <1.2
|
| language-python
|
>=1.1 && <1.2
|
| language-qux
|
>=1.1.2 && <2
|
| language-typescript
|
>=0
|
| language-vhdl
|
>=1 && <2
|
| leksah |
>=1.0.1.0 && <1.2
|
| leksah-server |
>=1.0.1.0 && <1.2
|
| lhc |
>=0
|
| libcspm
|
>=1.1
|
| lighttpd-conf
|
>=0
|
| linux-perf |
>=1 && <2
|
| liquid-fixpoint
|
>=1.1.3.1
|
| liquidhaskell-boot
|
>=1.1
|
| live-sequencer |
>=1.0 && <1.2
|
| llsd |
>=1.0 && <1.1
|
| llvm-base-types
|
>=0
|
| llvm-pretty
|
>=1.0.1
|
| llvm-pretty-bc-parser
|
>=1.0.1
|
| loch-th
|
>=0
|
| logic-classes |
>=1.1.2
|
| LogicGrowsOnTrees
|
>=1.1 && <1.2
|
| LogicGrowsOnTrees-network |
>=1.1.1 && <1.2
|
| lscabal |
>=0
|
| ltext |
>=0
|
| ltk
|
>=1.0.1.0 && <1.2
|
| lua-bc |
>=1.1 && <1.2
|
| luachunk |
>=1.1 && <1.2
|
| MagicHaskeller
|
>=0
|
| marxup |
>=1.1 && <1.2
|
| MazesOfMonad |
>=0
|
| mediawiki |
>=0
|
| MiniAgda |
>=1.0 && <1.2
|
| ministg |
>=0
|
| mkcabal |
>=0
|
| ml-w |
>=0
|
| model
|
>=1.1.2
|
| module-management |
>=0
|
| monadiccp
|
>=0
|
| monadloc-pp |
>=0
|
| morfette |
>=0
|
| mprover |
>=1.0.1.2
|
| multifile |
<10000
|
| multifocal |
>=1.1.0.0
|
| mushu |
>=0
|
| musicxml
|
>=0
|
| mxnet
|
>=1.1
|
| nanoAgda |
>=1.1 && <1.2
|
| netlist-to-vhdl
|
>=1.0
|
| netrium |
>=1.1.3 && <1.1.4
|
| network-data
|
>=1.1.2
|
| nextstep-plist |
>=0
|
| nirum |
>=1.1.3 && <2
|
| ntha |
>=0
|
| ofx
|
>=0
|
| ogma-language-xmlspec
|
>=1.1 && <1.2
|
| omega |
>=0
|
| opaleye
|
>=1.1.1.0 && <1.2
|
| opaleye-sqlite |
>=1.1.1.0 && <1.2
|
| open-pandoc |
>=1
|
| org-parser |
>=1.1 && <1.2
|
| origami |
>=1.1
|
| orthotope
|
>=1.1.3 && <1.2
|
| pandoc
|
>=1.1 && <1.2
|
| pango
|
<1.2
|
| paragon |
>=1.0
|
| parsec-pratt |
>=1.1 && <1.2
|
| passage |
>=0
|
| penrose |
>=0
|
| pgf2 |
>=0
|
| pi-forall |
>=1.0.1.0
|
| picologic |
>=1.1 && <1.2
|
| polynomial
|
<1.1.2
|
| polyseq |
>=1.0.0.0
|
| portray-diff-hunit
|
>=1.1.3 && <1.2
|
| portray-pretty
|
>=1.1.3 && <1.2
|
| pptable
|
>=0
|
| presburger
|
>=0
|
| pretty-class
|
>=0
|
| pretty-compact
|
>=0
|
| pretty-ncols |
>=1.0.1.0
|
| pretty-show
|
>=1 && <2
|
| prettyclass
|
>=0
|
| preview |
>=0
|
| Printf-TH |
>=0
|
| prologue
|
>=0
|
| proto-lens
|
>=1.1 && <1.2
|
| proto-lens-protoc
|
>=1.1 && <1.2
|
| proto3-suite
|
>=1.1 && <1.2
|
| Pugs |
>=0
|
| pugs-DrIFT
|
>=0
|
| queryparser
|
>=1.1 && <1.2
|
| queryparser-demo |
>=1.1 && <1.2
|
| queryparser-hive |
>=1.1 && <1.2
|
| queryparser-presto |
>=1.1 && <1.2
|
| queryparser-vertica
|
>=1.1 && <1.2
|
| quickcheck-state-machine
|
>=1.1.1.1 && <1.2
|
| qux |
>=1.1.2 && <2
|
| raaz
|
>=1.1.3 && <1.2
|
| rel8
|
>=0
|
| remarks |
>=1.1.3.3
|
| rest-gen
|
>=1.0 && <1.2
|
| risc386 |
>=1.0 && <1.2
|
| roundtrip
|
>=0
|
| roundtrip-xml |
>=0
|
| SableCC2Hs |
>=1.1 && <1.2
|
| sat-micro-hs |
>=0
|
| sbv
|
>=0
|
| scyther-proof |
>=1.0 && <1.2
|
| selenium |
>=0
|
| sensei |
>=0
|
| seqloc-datafiles |
>=0
|
| sequor |
>=1.0
|
| serialise
|
>=1.0 && <1.2
|
| servant-quickcheck |
>=1.1 && <1.2
|
| sexpr |
>=0
|
| shivers-cfg |
>=0
|
| shower
|
>=0
|
| simple-amount |
>=0
|
| singletons-base
|
>=0
|
| skeletest
|
>=0
|
| slim |
>=0
|
| smallcheck
|
<1.2
|
| smartword |
>=0
|
| smtLib
|
>=0
|
| sonic-visualiser |
>=0
|
| soyuz |
>=0
|
| sqlcipher
|
>=0
|
| sqlite
|
>=0
|
| sr-extra
|
>=0
|
| stack
|
>=0
|
| stack2nix |
>=0
|
| stackage-metadata |
>=0
|
| stackage2nix |
>=0
|
| staversion |
>=1.1.2.0 && <1.2
|
| Strafunski-Sdf2Haskell |
<=1.1.1.0
|
| strict-data
|
>=0
|
| struct-inspector |
>=0
|
| structural-induction
|
>=0
|
| subleq-toolchain |
>=1.1 && <1.2
|
| SVD2HS |
>=1.1 && <1.2
|
| SVG2Q |
>=0
|
| svg2q |
>=0
|
| swearjure |
>=1.1
|
| swf |
>=0
|
| symantic-parser |
>=1.1
|
| syntax-pretty |
>=0
|
| Sysmon |
>=1.0.1.1
|
| TableAlgebra
|
>=1.0.1.1
|
| tal |
>=0
|
| tamarin-prover-utils
|
>=1 && <2
|
| target |
>=0
|
| tasty-bdd |
>=0
|
| tax-ato |
>=1.1.3.6 && <2
|
| test-karya
|
>=0
|
| text-plus |
>=0
|
| text-printer
|
>=0
|
| text-show-instances |
>=1.1.3.3 && <1.2
|
| th-context |
>=0
|
| th-pprint |
>=0
|
| th-typegraph |
>=1.1.2
|
| thih |
>=0
|
| thrift-compiler |
^>=1.1.3.6
|
| timberc |
>=1.0.0.0
|
| tip-haskell-frontend |
>=1.1
|
| tip-lib
|
>=0
|
| tkhs |
>=0
|
| to-string-instances |
>=1.0 && <1.1
|
| top |
>=1.1.2 && <1.2
|
| toysolver
|
>=1.1.2.0 && <1.2
|
| tpdb |
>=0
|
| traced |
>=0
|
| trade-journal |
>=0
|
| tree-diff
|
^>=1.1.1.0
|
| tsparse |
>=1.1 && <1.2
|
| twee |
>=0
|
| twee-lib
|
>=1.1.2.0
|
| type-spec
|
>=1.1.3 && <1.2
|
| type-tree |
>=0
|
| typelevel
|
>=0
|
| typst
|
>=0
|
| uAgda |
>=1.1 && <1.2
|
| unbound
|
>=1.1.2 && <1.2
|
| unjson
|
>=0
|
| vacuum-cairo |
>=0
|
| vacuum-opengl |
>=0
|
| vhdl
|
>=0
|
| visual-graphrewrite |
>=1.0.1.0
|
| visual-prof |
>=0
|
| WebBits
|
>=0.1
|
| WebBits-Html
|
>=0.1
|
| webidl |
>=1.0
|
| why3 |
>=1.1 && <1.2
|
| windowslive |
>=1.0 && <1.1
|
| wlc-hs |
>=1.1 && <1.2
|
| xcb-types
|
>=1.0 && <1.1 || >=1.1 && <1.2
|
| xcffib |
>=1.1 && <1.2
|
| XSaiga |
>=1.1
|
| yhccore
|
>=0
|
| yices-painless |
>=0
|
| zip-archive
|
>=0
|
| zm
|
>=1.1.2 && <1.2
|
| zwirn |
>=1.1 && <1.2
|