singletons
2.7
Only display out-of-date packages.
89 Reverse deps
Accepted versions
ADPfusion
>=2.4
camfort
>=2.2 && <3
clang-pure
>=2.0.1
clash-prelude
>=1.0 && <3.0
computational-algebra
>=2.2 && <2.4
d-bus
>=1.0
dag
-any
decidable
>=2.6
eliminators
==2.7.*
equational-reasoning-induction
-any
exinst
>=2.6
exinst-aeson
-any
exinst-bytes
-any
exinst-cereal
-any
exinst-hashable
>=2.2 && <2.3
exinst-serialise
-any
expressions
>=2.2 && <2.6
expressions-z3
>=2.2 && <2.6
finite-field
>=1.0
functor-products
>=2.6
Get
==2.3.1
grenade
>=2.1 && <2.3
grids
-any
HappyTree
==2.3.1
haskell-igraph
-any
haskell-ml
-any
hasktorch
>=2.2
hasktorch-indef
>=2.2
hasktorch-zoo
==2.2 || >2.2
hgeometry-combinatorial
-any
hgeometry-ipe
>=2.0
hgeometry-svg
>=2.0
http-kinder
-any
ihaskell-widgets
-any
indigo
-any
inline-java
-any
inline-r
>=0.10
isobmff
>=2.5 && <2.6
isobmff-builder
-any
ixshader
>=2.2
jni
>=2.6
jvm
>=2.6
jvm-batching
>=2.2
jvm-streaming
>=2.6
lens-typelevel
>=2.5
list-witnesses
-any
lol
>=2.5.1 && <2.6
lol-apps
>=2.5.1 && <2.6
lol-repa
>=1.1.2.1 && <2.3
lorentz
-any
mathflow
-any
matrix-sized
-any
mediabus
<2.3
mediabus-rtp
<2.3
morley
-any
mqtt-hs
>=0.9 && <2.5
n-tuple
>=2.3 && <2.4
named-sop
^>=2.6
ocaml-export
-any
optparse-generic
>=0.10.0 && <1.0
pringletons
>=2.2 && <2.3
protocol
>=2.5 && <2.8
safe-tensor
>=2.5 && <2.8
schematic
>=2.4
serpentine
-any
serv
-any
serv-wai
-any
servant-zeppelin
>=2.2 && <=2.3
servant-zeppelin-client
>=2.2 && <=2.3
servant-zeppelin-server
>=2.2 && <2.3
servant-zeppelin-swagger
>=2.2 && <2.3
singleton-dict
==2.2.*
singleton-nats
>=2.2 && <2.8
singletons-presburger
-any
sized-types
>=0.10 && <2.3
sized-vector
>=2.2 && <3
sparkle
>=2.0
static
-any
static-tensor
==2.3.*
tensor-safe
>=2.5.1 && <2.6
tropical-geometry
>=2.4.1 && <2.5
type-combinators-singletons
-any
type-list
>=1.0 && <2.3
typed-digits
>=2.3
tyro
-any
units
>=0.9 && <3
vinyl
>=0.10
wai-predicates
>=0.10
zuramaru
-any