? Cabal-3.8.1.0Cabal-syntax-3.8.1.0PGCLparser-0.2.1-f55830c03a9e9ad2fac0ebd78e00cef2124d8d8bc226094fb372e058eae1980eOStateVar-1.2.2-fefe256a13093e96a997aba4a81b79314c08e6d3fc6233120a9a0f1724b40280Talex-3.5.1.0-e-alex-3599959d95669c429392631aadf9fd40d2fda94c1e1993a83782f252baa8423eTansi-terminal-1.1.1-3f98186690923ffa5f11aebddeaa98c02359ee4769a67355de2329031cfe182fXansi-terminal-types-1.1-b629706448f868884a0b5869ab497a0c242addaa4ffc720c16a50ffee0209c8cUap-normalize-0.1.0.1-70fa2f914e47a3bb83dcc5592138a45fb068f8e96774ba20bd09aaf34e3919d6 array-0.5.4.0Lassoc-1.1.1-9266fcaff92318cabe4904592faa6d856774e02d59fdcd8078c11231b7afde25 base-4.17.2.1Sbase-orphans-0.9.2-6f1e626300f0ffd87a242cbfc0b30fa2032f69cae2e9d8455392cb08c80280c8Qbifunctors-5.6.2-9ca63db72129106e7ef4a5834d922a910b226a24179515ee903382d486ec41b8binary-0.8.9.1bytestring-0.11.5.3Ucabal-doctest-1.0.10-8528e52ae81bd2331d5b35d693c0f6b0e02cc8d6c93f00118d74dda8d7150b92Mcolour-2.3.6-e74462c0ef939bc168bf448e20d49ad726c72b5868b56e583db62c85090062d2Ncomonad-5.0.8-3d512a4a61ddf77e8dd83d64dc82eb67bfa9382e4921ee36d42b752c744165f3containers-0.6.7Tcontravariant-1.5.5-6462483ab411221b857b3e87c8065360ae357aa0006aa1f6dd809b48ac9c4b20Odata-fix-0.3.4-2e91bd732a288875981656428d780c5b1ce6302e35691d2aa92e6a0ba137d537deepseq-1.4.8.0directory-1.3.7.1Udistributive-0.6.2.1-08d82891bf653778337453ed42617b97b235be2356ebe2bf775ad6ab23f4aa6eexceptions-0.10.5filepath-1.4.2.2]foldable1-classes-compat-0.1-628a7d2ef9ed8c96ad95e79ebff4ee5e4abaadadb3ef7b0d107b7579e0601261Ifree-5.2-e408521df535d2d7744bae21fb74a7d984bcfd8f7d401f8d0c6ec9bf4efc4f0cUgeneric-data-1.1.0.0-a989f50f5b863d43d6de0a66970c572845bb062423182bf1c165f1c36a646f03ghc-bignum-1.3ghc-boot-th-9.4.8ghc-prim-0.9.1Whappy-1.20.1.1-e-happy-6f87a8368c8c58c71681374bbb64c229f8a5b6551251d97970df1fe4e95199f7Qhashable-1.4.7.0-83c514881e6ae0cac47ae5c6e97b645621aa68373c600b14e175ec365f3b03eeXhsc2hs-0.68.10-e-hsc2hs-e1e04e9d85fcf23d3134717cebcca1931c6896f4cb7a8d19e69d948a0462b63eZindexed-traversable-0.1.4-3207b2c910df9239988eb0669d17368266502992289effb926e67c44024bae8d mtl-2.2.2^optparse-applicative-0.18.1.0-20acce6f16a938291297f69976f4ff7d1c58896bc2bba2bb679b2bd07403b583Pos-string-2.0.6-6c728edb1747763302f144732f77db2f3d1ac9408b9a000f746de411f663b560parsec-3.1.16.1pretty-1.1.3.6Vpretty-simple-4.1.2.0-515981bd77f24680591eb2ea6ec5aba8cf9d75db2b839e879868729c4a7d8b75Tprettyprinter-1.7.1-260a7733e7b90724410b416da8173b8ed8857db679411a2623e461b4345ce685bprettyprinter-ansi-terminal-1.1.3-47743267c71ef0a560bc2e955dfa45d68aabd397d343c23109ca0cc49468c319process-1.6.18.0Rprofunctors-5.6.2-9d2eae36aaea5c55913d53ce7f4034e751137980eb92a4d981d2ff92d764c41aXrecursion-schemes-5.2.3-95f73e80d2e8c57a551d706518b4ce2bd1d2e894c240594f3c121982fbc8ce02 rts-1.0.2Tsemigroupoids-6.0.1-71b129e2ac9b374fc7366b96969f1f77e7a32d76096dcf544550280225cc562cYshow-combinators-0.2.0.0-2aa1181472347526558ae25e6b9182b7b68e8d20eb6d2480cde0b31fda78f670 stm-2.5.1.0Mtagged-0.8.8-c4244a433c19112430d3ceea390a1f0d15ca1801a7a01199da698744c9483fd2template-haskell-2.19.0.0 text-2.0.2Wth-abstraction-0.7.0.0-4c8fca13c92f70e5568132404cec14de8ecde28b3d0f5c9ec86bf5ea8fb414a2 time-1.12.2transformers-0.5.6.2Xtransformers-base-0.4.6-347a99f249bee5683dc1e649d1a30aae3cd01935401027e34bef0816a5cdfb2cZtransformers-compat-0.7.2-3e337fd85245291da52639f29da7a49dda5d853d5879636c8314fe752406539f unix-2.7.3\unordered-containers-0.2.20-03df350dc1c3af860fde6ba401ff4e8a21903684664c282f7f3ecd7aa3aff594)wlp-verifier-0.1.0.0-inplace-wlp-verifierIz3-408.2-e72298f8560583c69fc91379b1b77e059f91e45eed80ca402802ae200d137dea