aports/testing/idris/cabal.config
2020-07-03 12:54:37 +00:00

99 lines
3.3 KiB
Plaintext

--1.3.3
constraints: Cabal ==3.0.1.0,
aeson ==1.4.7.1,
annotated-wl-pprint ==0.7.0,
ansi-terminal ==0.10.3,
ansi-wl-pprint ==0.6.9,
array ==0.5.4.0,
async ==2.2.2,
attoparsec ==0.13.2.4,
base ==4.13.0.0,
base-compat ==0.11.1,
base-compat-batteries ==0.11.1,
base-orphans ==0.8.2,
base64-bytestring ==1.1.0.0,
binary ==0.8.7.0,
blaze-builder ==0.4.1.0,
blaze-html ==0.9.1.2,
blaze-markup ==0.8.2.5,
bytestring ==0.10.10.0,
case-insensitive ==1.2.1.0,
cheapskate ==0.1.1.2,
code-page ==0.2,
colour ==2.3.5,
constraints ==0.12,
containers ==0.6.2.1,
css-text ==0.1.3.0,
data-default ==0.7.1.1,
data-default-class ==0.1.2.0,
data-default-instances-containers ==0.0.1,
data-default-instances-dlist ==0.0.1,
data-default-instances-old-locale ==0.0.1,
deepseq ==1.4.4.0,
digest ==0.0.1.2,
directory ==1.3.6.0,
dlist ==0.8.0.8,
enclosed-exceptions ==1.0.3,
exceptions ==0.10.4,
filepath ==1.4.2.1,
fingertree ==0.1.4.2,
fsnotify ==0.3.0.1,
ghc-prim ==0.5.3,
hashable ==1.3.0.0,
haskeline ==0.7.5.0,
hinotify ==0.4,
hsc2hs ==0.68.7,
ieee754 ==0.8.0,
integer-gmp ==1.0.2.0,
integer-logarithms ==1.0.3,
lifted-async ==0.10.0.6,
lifted-base ==0.2.3.12,
megaparsec ==8.0.0,
monad-control ==1.0.2.3,
mtl ==2.2.2,
network ==3.1.1.1,
network-uri ==2.6.3.0,
old-locale ==1.0.0.7,
optparse-applicative ==0.15.1.0,
parsec ==3.1.14.0,
parser-combinators ==1.2.1,
pretty ==1.1.3.6,
primitive ==0.7.1.0,
process ==1.6.8.0,
random ==1.1,
regex-base ==0.94.0.0,
regex-tdfa ==1.3.1.0,
safe ==0.3.19,
scientific ==0.3.6.2,
semigroups ==0.19.1,
shelly ==1.9.0,
split ==0.2.3.4,
stm ==2.5.0.0,
syb ==0.7.1,
tagged ==0.8.6,
tagsoup ==0.14.8,
template-haskell ==2.15.0.0,
terminal-size ==0.3.2.1,
terminfo ==0.4.1.4,
text ==1.2.4.0,
th-abstraction ==0.3.2.0,
time ==1.9.3,
time-compat ==1.9.3,
transformers ==0.5.6.2,
transformers-base ==0.4.5.2,
transformers-compat ==0.6.5,
type-equality ==1,
uniplate ==1.6.12,
unix ==2.7.2.2,
unix-compat ==0.5.2,
unordered-containers ==0.2.11.0,
utf8-string ==1.0.1.1,
uuid-types ==1.0.3,
vector ==0.12.1.2,
vector-binary-instances ==0.2.5.1,
xss-sanitize ==0.3.6,
zip-archive ==0.4.1,
zlib ==0.6.2.1