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