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.3 && <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.3 && <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
|
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 |
>=0
|
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
|
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
|
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
|
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-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
|
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
|
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
|
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
|
inline-r
|
>=1.1 && <1.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
|
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
|
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
|
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
|