logict - Reverse dependency statistics

logict: reverse dependencies per version

Direct reverse dependencies	Indirect reverse dependencies	Total
41	520	561

Version	Reverse dependencies
0.2	acme-everything-2015.4.15.1 astar-monad-0.1.0.0 astar-monad-0.2.0.0 astar-monad-0.2.1.0 astar-monad-0.3.0.0 autoapply-0.1.0.0 autoapply-0.2.0.0 autoapply-0.3 autoapply-0.4 autoapply-0.4.1 autoapply-0.4.1.1 autoapply-0.4.1.3 cflp-2009.1.26 cflp-2009.1.28 cflp-2009.2.1 crux-llvm-0.8 crux-llvm-0.9 crux-llvm-0.9.1 crux-llvm-0.10 crux-llvm-0.11.0.0 crux-llvm-0.12 ds-kanren-0.2.0.0 ds-kanren-0.2.0.1 hmt-0.12 hmt-0.14 hmt-0.15 hmt-0.16 hmt-0.18 hmt-0.20 hnix-0.5.0 hnix-0.5.1 hnix-0.5.2 hnix-0.6.0 logicst-0.1.0.0 logict-sequence-0.1.0.0 logict-sequence-0.1.0.1 mad-props-0.1.0.0 mad-props-0.2.0.0 mad-props-0.2.1.0 monad-lgbt-0.0.1 monad-lgbt-0.0.2 pipes-files-0.1.3 regex-genex-0.3.1 regex-genex-0.3.2 regex-genex-0.5.0 regex-genex-0.5.1 regex-genex-0.6.0 regex-genex-0.6.2 regex-genex-0.7.0 safe-gen-1.0.0 spectacle-1.0.0 sweet-egison-0.1.2.0 sweet-egison-0.1.2.1 tasty-sugar-0.2.0.0 tasty-sugar-1.0.0.0 tasty-sugar-1.0.1.0 tasty-sugar-1.0.1.1 tasty-sugar-1.1.0.0 trek-0.0.1.0 trek-lens-0.0.1.0 unification-fd-0.5.0 unification-fd-0.6.0 unification-fd-0.7.0 unification-fd-0.8.0 unification-fd-0.8.1 unification-fd-0.9.0 unification-fd-0.10.0 unification-fd-0.10.0.1
0.2.1	acme-everything-2015.4.15.1 astar-monad-0.1.0.0 astar-monad-0.2.0.0 astar-monad-0.2.1.0 astar-monad-0.3.0.0 autoapply-0.1.0.0 autoapply-0.2.0.0 autoapply-0.3 autoapply-0.4 autoapply-0.4.1 autoapply-0.4.1.1 autoapply-0.4.1.3 cflp-2009.1.26 cflp-2009.1.28 cflp-2009.2.1 crux-llvm-0.8 crux-llvm-0.9 crux-llvm-0.9.1 crux-llvm-0.10 crux-llvm-0.11.0.0 crux-llvm-0.12 ds-kanren-0.2.0.0 ds-kanren-0.2.0.1 hmt-0.12 hmt-0.14 hmt-0.15 hmt-0.16 hmt-0.18 hmt-0.20 hnix-0.5.0 hnix-0.5.1 hnix-0.5.2 hnix-0.6.0 logicst-0.1.0.0 logict-sequence-0.1.0.0 logict-sequence-0.1.0.1 mad-props-0.1.0.0 mad-props-0.2.0.0 mad-props-0.2.1.0 monad-lgbt-0.0.1 monad-lgbt-0.0.2 pipes-files-0.1.3 regex-genex-0.3.1 regex-genex-0.3.2 regex-genex-0.5.0 regex-genex-0.5.1 regex-genex-0.6.0 regex-genex-0.6.2 regex-genex-0.7.0 safe-gen-1.0.0 spectacle-1.0.0 sweet-egison-0.1.2.0 sweet-egison-0.1.2.1 tasty-sugar-0.2.0.0 tasty-sugar-1.0.0.0 tasty-sugar-1.0.1.0 tasty-sugar-1.0.1.1 tasty-sugar-1.1.0.0 trek-0.0.1.0 trek-lens-0.0.1.0 unification-fd-0.5.0 unification-fd-0.6.0 unification-fd-0.7.0 unification-fd-0.8.0 unification-fd-0.8.1 unification-fd-0.9.0 unification-fd-0.10.0 unification-fd-0.10.0.1
0.2.2	acme-everything-2015.4.15.1 astar-monad-0.1.0.0 astar-monad-0.2.0.0 astar-monad-0.2.1.0 astar-monad-0.3.0.0 autoapply-0.1.0.0 autoapply-0.2.0.0 autoapply-0.3 autoapply-0.4 autoapply-0.4.1 autoapply-0.4.1.1 autoapply-0.4.1.3 cflp-2009.1.26 cflp-2009.1.28 cflp-2009.2.1 crux-llvm-0.8 crux-llvm-0.9 crux-llvm-0.9.1 crux-llvm-0.10 crux-llvm-0.11.0.0 crux-llvm-0.12 ds-kanren-0.2.0.0 ds-kanren-0.2.0.1 hmt-0.12 hmt-0.14 hmt-0.15 hmt-0.16 hmt-0.18 hmt-0.20 hnix-0.5.0 hnix-0.5.1 hnix-0.5.2 hnix-0.6.0 logicst-0.1.0.0 logict-sequence-0.1.0.0 logict-sequence-0.1.0.1 mad-props-0.1.0.0 mad-props-0.2.0.0 mad-props-0.2.1.0 monad-lgbt-0.0.1 monad-lgbt-0.0.2 pipes-files-0.1.3 regex-genex-0.3.1 regex-genex-0.3.2 regex-genex-0.5.0 regex-genex-0.5.1 regex-genex-0.6.0 regex-genex-0.6.2 regex-genex-0.7.0 safe-gen-1.0.0 spectacle-1.0.0 sweet-egison-0.1.2.0 sweet-egison-0.1.2.1 tasty-sugar-0.2.0.0 tasty-sugar-1.0.0.0 tasty-sugar-1.0.1.0 tasty-sugar-1.0.1.1 tasty-sugar-1.1.0.0 trek-0.0.1.0 trek-lens-0.0.1.0 unification-fd-0.5.0 unification-fd-0.6.0 unification-fd-0.7.0 unification-fd-0.8.0 unification-fd-0.8.1 unification-fd-0.9.0 unification-fd-0.10.0 unification-fd-0.10.0.1
0.2.3	acme-everything-2015.4.15.1 astar-monad-0.1.0.0 astar-monad-0.2.0.0 astar-monad-0.2.1.0 astar-monad-0.3.0.0 autoapply-0.1.0.0 autoapply-0.2.0.0 autoapply-0.3 autoapply-0.4 autoapply-0.4.1 autoapply-0.4.1.1 autoapply-0.4.1.3 cflp-2009.1.26 cflp-2009.1.28 cflp-2009.2.1 crux-llvm-0.8 crux-llvm-0.9 crux-llvm-0.9.1 crux-llvm-0.10 crux-llvm-0.11.0.0 crux-llvm-0.12 ds-kanren-0.2.0.0 ds-kanren-0.2.0.1 hmt-0.12 hmt-0.14 hmt-0.15 hmt-0.16 hmt-0.18 hmt-0.20 hnix-0.5.0 hnix-0.5.1 hnix-0.5.2 hnix-0.6.0 logicst-0.1.0.0 logict-sequence-0.1.0.0 logict-sequence-0.1.0.1 mad-props-0.1.0.0 mad-props-0.2.0.0 mad-props-0.2.1.0 monad-lgbt-0.0.1 monad-lgbt-0.0.2 pipes-files-0.1.3 regex-genex-0.3.1 regex-genex-0.3.2 regex-genex-0.5.0 regex-genex-0.5.1 regex-genex-0.6.0 regex-genex-0.6.2 regex-genex-0.7.0 safe-gen-1.0.0 spectacle-1.0.0 sweet-egison-0.1.2.0 sweet-egison-0.1.2.1 tasty-sugar-0.2.0.0 tasty-sugar-1.0.0.0 tasty-sugar-1.0.1.0 tasty-sugar-1.0.1.1 tasty-sugar-1.1.0.0 trek-0.0.1.0 trek-lens-0.0.1.0 unification-fd-0.5.0 unification-fd-0.6.0 unification-fd-0.7.0 unification-fd-0.8.0 unification-fd-0.8.1 unification-fd-0.9.0 unification-fd-0.10.0 unification-fd-0.10.0.1
0.3	acme-everything-2015.4.15.1 astar-monad-0.1.0.0 astar-monad-0.2.0.0 astar-monad-0.2.1.0 astar-monad-0.3.0.0 autoapply-0.1.0.0 autoapply-0.2.0.0 autoapply-0.3 autoapply-0.4 autoapply-0.4.1 autoapply-0.4.1.1 autoapply-0.4.1.3 cflp-2009.1.26 cflp-2009.1.28 cflp-2009.2.1 crux-llvm-0.8 crux-llvm-0.9 crux-llvm-0.9.1 crux-llvm-0.10 crux-llvm-0.11.0.0 crux-llvm-0.12 ds-kanren-0.2.0.0 ds-kanren-0.2.0.1 hmt-0.12 hmt-0.14 hmt-0.15 hmt-0.16 hmt-0.18 hmt-0.20 hnix-0.5.0 hnix-0.5.1 hnix-0.5.2 hnix-0.6.0 logicst-0.1.0.0 logict-sequence-0.1.0.0 logict-sequence-0.1.0.1 mad-props-0.1.0.0 mad-props-0.2.0.0 mad-props-0.2.1.0 monad-lgbt-0.0.1 monad-lgbt-0.0.2 pipes-files-0.1.3 regex-genex-0.3.1 regex-genex-0.3.2 regex-genex-0.5.0 regex-genex-0.5.1 regex-genex-0.6.0 regex-genex-0.6.2 regex-genex-0.7.0 safe-gen-1.0.0 spectacle-1.0.0 sweet-egison-0.1.2.0 sweet-egison-0.1.2.1 tasty-sugar-0.2.0.0 tasty-sugar-1.0.0.0 tasty-sugar-1.0.1.0 tasty-sugar-1.0.1.1 tasty-sugar-1.1.0.0 trek-0.0.1.0 trek-lens-0.0.1.0 unification-fd-0.5.0 unification-fd-0.6.0 unification-fd-0.7.0 unification-fd-0.8.0 unification-fd-0.8.1 unification-fd-0.9.0 unification-fd-0.10.0 unification-fd-0.10.0.1
0.4	acme-everything-2015.4.15.1 astar-monad-0.1.0.0 astar-monad-0.2.0.0 astar-monad-0.2.1.0 astar-monad-0.3.0.0 autoapply-0.1.0.0 autoapply-0.2.0.0 autoapply-0.3 autoapply-0.4 autoapply-0.4.1 autoapply-0.4.1.1 autoapply-0.4.1.3 cflp-2009.1.26 cflp-2009.1.28 cflp-2009.2.1 crux-llvm-0.8 crux-llvm-0.9 crux-llvm-0.9.1 crux-llvm-0.10 crux-llvm-0.11.0.0 crux-llvm-0.12 djinn-th-0.0.1 ds-kanren-0.2.0.0 ds-kanren-0.2.0.1 hmt-0.12 hmt-0.14 hmt-0.15 hmt-0.16 hmt-0.18 hmt-0.20 hnix-0.5.0 hnix-0.5.1 hnix-0.5.2 hnix-0.6.0 logicst-0.1.0.0 logict-sequence-0.1.0.0 logict-sequence-0.1.0.1 mad-props-0.1.0.0 mad-props-0.2.0.0 mad-props-0.2.1.0 monad-lgbt-0.0.1 monad-lgbt-0.0.2 pipes-files-0.1.3 regex-genex-0.3.1 regex-genex-0.3.2 regex-genex-0.5.0 regex-genex-0.5.1 regex-genex-0.6.0 regex-genex-0.6.2 regex-genex-0.7.0 safe-gen-1.0.0 spectacle-1.0.0 stream-monad-0.4 stream-monad-0.4.0.1 stream-monad-0.4.0.2 sweet-egison-0.1.2.0 sweet-egison-0.1.2.1 tasty-sugar-0.2.0.0 tasty-sugar-1.0.0.0 tasty-sugar-1.0.1.0 tasty-sugar-1.0.1.1 tasty-sugar-1.1.0.0 trek-0.0.1.0 trek-lens-0.0.1.0 unification-fd-0.5.0 unification-fd-0.6.0 unification-fd-0.7.0 unification-fd-0.8.0 unification-fd-0.8.1 unification-fd-0.9.0 unification-fd-0.10.0 unification-fd-0.10.0.1 unification-fd-0.11.0 unification-fd-0.11.1 unification-fd-0.11.2 unification-fd-0.11.2.2 unification-fd-0.12.0 unification-fd-0.12.0.1 unification-fd-0.12.0.2 unification-fd-0.12.0.3
0.4.1	acme-everything-2015.4.15.1 astar-monad-0.1.0.0 astar-monad-0.2.0.0 astar-monad-0.2.1.0 astar-monad-0.3.0.0 autoapply-0.1.0.0 autoapply-0.2.0.0 autoapply-0.3 autoapply-0.4 autoapply-0.4.1 autoapply-0.4.1.1 autoapply-0.4.1.3 cflp-2009.1.26 cflp-2009.1.28 cflp-2009.2.1 crux-llvm-0.8 crux-llvm-0.9 crux-llvm-0.9.1 crux-llvm-0.10 crux-llvm-0.11.0.0 crux-llvm-0.12 djinn-th-0.0.1 ds-kanren-0.2.0.0 ds-kanren-0.2.0.1 hmt-0.12 hmt-0.14 hmt-0.15 hmt-0.16 hmt-0.18 hmt-0.20 hnix-0.5.0 hnix-0.5.1 hnix-0.5.2 hnix-0.6.0 logicst-0.1.0.0 logict-sequence-0.1.0.0 logict-sequence-0.1.0.1 mad-props-0.1.0.0 mad-props-0.2.0.0 mad-props-0.2.1.0 monad-lgbt-0.0.1 monad-lgbt-0.0.2 pipes-files-0.1.3 regex-genex-0.3.1 regex-genex-0.3.2 regex-genex-0.5.0 regex-genex-0.5.1 regex-genex-0.6.0 regex-genex-0.6.2 regex-genex-0.7.0 safe-gen-1.0.0 spectacle-1.0.0 stream-monad-0.4 stream-monad-0.4.0.1 stream-monad-0.4.0.2 sweet-egison-0.1.2.0 sweet-egison-0.1.2.1 tasty-sugar-0.2.0.0 tasty-sugar-1.0.0.0 tasty-sugar-1.0.1.0 tasty-sugar-1.0.1.1 tasty-sugar-1.1.0.0 trek-0.0.1.0 trek-lens-0.0.1.0 unification-fd-0.5.0 unification-fd-0.6.0 unification-fd-0.7.0 unification-fd-0.8.0 unification-fd-0.8.1 unification-fd-0.9.0 unification-fd-0.10.0 unification-fd-0.10.0.1 unification-fd-0.11.0 unification-fd-0.11.1 unification-fd-0.11.2 unification-fd-0.11.2.2 unification-fd-0.12.0 unification-fd-0.12.0.1 unification-fd-0.12.0.2 unification-fd-0.12.0.3
0.4.2	HaVSA-0.1 HaVSA-0.1.0.1 HaVSA-0.1.0.2 acme-everything-2015.4.15.1 astar-monad-0.1.0.0 astar-monad-0.2.0.0 astar-monad-0.2.1.0 astar-monad-0.3.0.0 autoapply-0.1.0.0 autoapply-0.2.0.0 autoapply-0.3 autoapply-0.4 autoapply-0.4.1 autoapply-0.4.1.1 autoapply-0.4.1.3 cflp-2009.1.26 cflp-2009.1.28 cflp-2009.2.1 crux-llvm-0.8 crux-llvm-0.9 crux-llvm-0.9.1 crux-llvm-0.10 crux-llvm-0.11.0.0 crux-llvm-0.12 djinn-th-0.0.1 ds-kanren-0.2.0.0 ds-kanren-0.2.0.1 hmt-0.12 hmt-0.14 hmt-0.15 hmt-0.16 hmt-0.18 hmt-0.20 hnix-0.5.0 hnix-0.5.1 hnix-0.5.2 hnix-0.6.0 logicst-0.1.0.0 logict-sequence-0.1.0.0 logict-sequence-0.1.0.1 mad-props-0.1.0.0 mad-props-0.2.0.0 mad-props-0.2.1.0 monad-lgbt-0.0.1 monad-lgbt-0.0.2 pipes-files-0.1.3 regex-genex-0.3.1 regex-genex-0.3.2 regex-genex-0.5.0 regex-genex-0.5.1 regex-genex-0.6.0 regex-genex-0.6.2 regex-genex-0.7.0 safe-gen-1.0.0 snap-0.6.0 snap-0.6.0.1 snap-0.6.0.2 snap-0.7 snap-0.8.0 snap-0.8.0.1 snap-0.8.0.2 snap-0.8.1 snap-0.9.0 snap-0.9.0.1 snap-0.9.1 snap-0.9.1.1 snap-0.9.2 snap-0.9.2.1 snap-0.9.2.2 snap-0.10.0 snap-0.10.0.1 snap-0.11.0 snap-0.11.1 snap-0.11.2 snap-0.11.2.1 snap-0.11.2.2 snap-0.11.3 snap-0.11.3.1 snap-0.12.0 snap-0.12.1 snap-0.13.0 snap-0.13.0.1 snap-0.13.0.2 snap-0.13.0.3 snap-0.13.0.4 snap-0.13.1 snap-0.13.1.1 snap-0.13.1.2 snap-0.13.2.0 snap-0.13.2.1 snap-0.13.2.2 snap-0.13.2.3 snap-0.13.2.4 snap-0.13.2.5 snap-0.13.2.6 snap-0.13.2.7 snap-0.13.2.8 snap-0.13.2.9 snap-0.13.3 snap-0.13.3.1 snap-0.13.3.2 snap-0.14.0 snap-0.14.0.1 snap-0.14.0.2 snap-0.14.0.3 snap-0.14.0.4 snap-0.14.0.5 snap-0.14.0.6 snap-0.14.0.7 spectacle-1.0.0 stream-monad-0.4 stream-monad-0.4.0.1 stream-monad-0.4.0.2 sweet-egison-0.1.2.0 sweet-egison-0.1.2.1 tasty-sugar-0.2.0.0 tasty-sugar-1.0.0.0 tasty-sugar-1.0.1.0 tasty-sugar-1.0.1.1 tasty-sugar-1.1.0.0 trek-0.0.1.0 trek-lens-0.0.1.0 unification-fd-0.5.0 unification-fd-0.6.0 unification-fd-0.7.0 unification-fd-0.8.0 unification-fd-0.8.1 unification-fd-0.9.0 unification-fd-0.10.0 unification-fd-0.10.0.1 unification-fd-0.11.0 unification-fd-0.11.1 unification-fd-0.11.2 unification-fd-0.11.2.2 unification-fd-0.12.0 unification-fd-0.12.0.1 unification-fd-0.12.0.2 unification-fd-0.12.0.3
0.5.0	acme-everything-2015.4.15.1 astar-monad-0.1.0.0 astar-monad-0.2.0.0 astar-monad-0.2.1.0 astar-monad-0.3.0.0 autoapply-0.1.0.0 autoapply-0.2.0.0 autoapply-0.3 autoapply-0.4 autoapply-0.4.1 autoapply-0.4.1.1 autoapply-0.4.1.3 cflp-2009.1.26 cflp-2009.1.28 cflp-2009.2.1 crux-llvm-0.8 crux-llvm-0.9 crux-llvm-0.9.1 crux-llvm-0.10 crux-llvm-0.11.0.0 crux-llvm-0.12 ds-kanren-0.2.0.0 ds-kanren-0.2.0.1 hmt-0.12 hmt-0.14 hmt-0.15 hmt-0.16 hmt-0.18 hmt-0.20 hnix-0.5.0 hnix-0.5.1 hnix-0.5.2 hnix-0.6.0 lambdabot-4.3 lambdabot-4.3.0.1 lambdabot-haskell-plugins-5.0 lambdabot-haskell-plugins-5.0.1 lambdabot-haskell-plugins-5.0.2 lambdabot-haskell-plugins-5.0.2.1 lambdabot-haskell-plugins-5.0.3 lambdabot-haskell-plugins-5.1 lambdabot-haskell-plugins-5.1.0.1 lambdabot-haskell-plugins-5.1.0.2 lambdabot-haskell-plugins-5.1.0.3 lambdabot-haskell-plugins-5.1.0.4 lambdabot-haskell-plugins-5.2 lambdabot-haskell-plugins-5.3 lambdabot-haskell-plugins-5.3.0.2 lambdabot-haskell-plugins-5.3.1 lambdabot-haskell-plugins-5.3.1.1 lambdabot-haskell-plugins-5.3.1.2 logicst-0.1.0.0 logict-sequence-0.1.0.0 logict-sequence-0.1.0.1 mad-props-0.1.0.0 mad-props-0.2.0.0 mad-props-0.2.1.0 monad-lgbt-0.0.1 monad-lgbt-0.0.2 pianola-0.1.0 pianola-0.1.1 pipes-files-0.1.3 prelude-generalize-0.1 prelude-generalize-0.1.1 prelude-generalize-0.2 prelude-generalize-0.3 prelude-generalize-0.3.1 prelude-generalize-0.4 regex-genex-0.3.1 regex-genex-0.3.2 regex-genex-0.5.0 regex-genex-0.5.1 regex-genex-0.6.0 regex-genex-0.6.2 regex-genex-0.7.0 safe-gen-1.0.0 smallcheck-1.0 smallcheck-1.0.1 smallcheck-1.0.2 smallcheck-1.0.3 smallcheck-1.0.4 smallcheck-1.1 smallcheck-1.1.0.1 smallcheck-1.1.1 smallcheck-1.1.2 smallcheck-1.1.3 smallcheck-1.1.3.1 smallcheck-1.1.4 smallcheck-1.1.5 smallcheck-1.1.6 smallcheck-1.1.7 smallcheck-1.2.0 smallcheck-1.2.1 smallcheck-1.2.1.1 snap-0.6.0 snap-0.6.0.1 snap-0.6.0.2 snap-0.7 snap-0.8.0 snap-0.8.0.1 snap-0.8.0.2 snap-0.8.1 snap-0.9.0 snap-0.9.0.1 snap-0.9.1 snap-0.9.1.1 snap-0.9.2 snap-0.9.2.1 snap-0.9.2.2 snap-0.10.0 snap-0.10.0.1 snap-0.11.0 snap-0.11.1 snap-0.11.2 snap-0.11.2.1 snap-0.11.2.2 snap-0.11.3 snap-0.11.3.1 snap-0.12.0 snap-0.12.1 snap-0.13.0 snap-0.13.0.1 snap-0.13.0.2 snap-0.13.0.3 snap-0.13.0.4 snap-0.13.1 snap-0.13.1.1 snap-0.13.1.2 snap-0.13.2.0 snap-0.13.2.1 snap-0.13.2.2 snap-0.13.2.3 snap-0.13.2.4 snap-0.13.2.5 snap-0.13.2.6 snap-0.13.2.7 snap-0.13.2.8 snap-0.13.2.9 snap-0.13.3 snap-0.13.3.1 snap-0.13.3.2 snap-0.14.0 snap-0.14.0.1 snap-0.14.0.2 snap-0.14.0.3 snap-0.14.0.4 snap-0.14.0.5 snap-0.14.0.6 snap-0.14.0.7 spectacle-1.0.0 stream-monad-0.4.0.2 sweet-egison-0.1.2.0 sweet-egison-0.1.2.1 tasty-sugar-0.2.0.0 tasty-sugar-1.0.0.0 tasty-sugar-1.0.1.0 tasty-sugar-1.0.1.1 tasty-sugar-1.1.0.0 trek-0.0.1.0 trek-lens-0.0.1.0 unification-fd-0.5.0 unification-fd-0.6.0 unification-fd-0.7.0 unification-fd-0.8.0 unification-fd-0.8.1 unification-fd-0.9.0 unification-fd-0.10.0 unification-fd-0.10.0.1 unification-fd-0.11.0 unification-fd-0.11.1 unification-fd-0.11.2 unification-fd-0.11.2.2 unification-fd-0.12.0 unification-fd-0.12.0.1 unification-fd-0.12.0.2 unification-fd-0.12.0.3
0.5.0.1	acme-everything-2015.4.15.1 astar-monad-0.1.0.0 astar-monad-0.2.0.0 astar-monad-0.2.1.0 astar-monad-0.3.0.0 autoapply-0.1.0.0 autoapply-0.2.0.0 autoapply-0.3 autoapply-0.4 autoapply-0.4.1 autoapply-0.4.1.1 autoapply-0.4.1.3 cflp-2009.1.26 cflp-2009.1.28 cflp-2009.2.1 crux-llvm-0.8 crux-llvm-0.9 crux-llvm-0.9.1 crux-llvm-0.10 crux-llvm-0.11.0.0 crux-llvm-0.12 ds-kanren-0.2.0.0 ds-kanren-0.2.0.1 hmt-0.12 hmt-0.14 hmt-0.15 hmt-0.16 hmt-0.18 hmt-0.20 hnix-0.5.0 hnix-0.5.1 hnix-0.5.2 hnix-0.6.0 lambdabot-4.3 lambdabot-4.3.0.1 lambdabot-haskell-plugins-5.0 lambdabot-haskell-plugins-5.0.1 lambdabot-haskell-plugins-5.0.2 lambdabot-haskell-plugins-5.0.2.1 lambdabot-haskell-plugins-5.0.3 lambdabot-haskell-plugins-5.1 lambdabot-haskell-plugins-5.1.0.1 lambdabot-haskell-plugins-5.1.0.2 lambdabot-haskell-plugins-5.1.0.3 lambdabot-haskell-plugins-5.1.0.4 lambdabot-haskell-plugins-5.2 lambdabot-haskell-plugins-5.3 lambdabot-haskell-plugins-5.3.0.2 lambdabot-haskell-plugins-5.3.1 lambdabot-haskell-plugins-5.3.1.1 lambdabot-haskell-plugins-5.3.1.2 logicst-0.1.0.0 logict-sequence-0.1.0.0 logict-sequence-0.1.0.1 mad-props-0.1.0.0 mad-props-0.2.0.0 mad-props-0.2.1.0 monad-lgbt-0.0.1 monad-lgbt-0.0.2 pianola-0.1.0 pianola-0.1.1 pipes-files-0.1.3 prelude-generalize-0.1 prelude-generalize-0.1.1 prelude-generalize-0.2 prelude-generalize-0.3 prelude-generalize-0.3.1 prelude-generalize-0.4 regex-genex-0.3.1 regex-genex-0.3.2 regex-genex-0.5.0 regex-genex-0.5.1 regex-genex-0.6.0 regex-genex-0.6.2 regex-genex-0.7.0 safe-gen-1.0.0 smallcheck-1.0 smallcheck-1.0.1 smallcheck-1.0.2 smallcheck-1.0.3 smallcheck-1.0.4 smallcheck-1.1 smallcheck-1.1.0.1 smallcheck-1.1.1 smallcheck-1.1.2 smallcheck-1.1.3 smallcheck-1.1.3.1 smallcheck-1.1.4 smallcheck-1.1.5 smallcheck-1.1.6 smallcheck-1.1.7 smallcheck-1.2.0 smallcheck-1.2.1 smallcheck-1.2.1.1 snap-0.6.0 snap-0.6.0.1 snap-0.6.0.2 snap-0.7 snap-0.8.0 snap-0.8.0.1 snap-0.8.0.2 snap-0.8.1 snap-0.9.0 snap-0.9.0.1 snap-0.9.1 snap-0.9.1.1 snap-0.9.2 snap-0.9.2.1 snap-0.9.2.2 snap-0.10.0 snap-0.10.0.1 snap-0.11.0 snap-0.11.1 snap-0.11.2 snap-0.11.2.1 snap-0.11.2.2 snap-0.11.3 snap-0.11.3.1 snap-0.12.0 snap-0.12.1 snap-0.13.0 snap-0.13.0.1 snap-0.13.0.2 snap-0.13.0.3 snap-0.13.0.4 snap-0.13.1 snap-0.13.1.1 snap-0.13.1.2 snap-0.13.2.0 snap-0.13.2.1 snap-0.13.2.2 snap-0.13.2.3 snap-0.13.2.4 snap-0.13.2.5 snap-0.13.2.6 snap-0.13.2.7 snap-0.13.2.8 snap-0.13.2.9 snap-0.13.3 snap-0.13.3.1 snap-0.13.3.2 snap-0.14.0 snap-0.14.0.1 snap-0.14.0.2 snap-0.14.0.3 snap-0.14.0.4 snap-0.14.0.5 snap-0.14.0.6 snap-0.14.0.7 spectacle-1.0.0 stream-monad-0.4.0.2 sweet-egison-0.1.2.0 sweet-egison-0.1.2.1 tasty-sugar-0.2.0.0 tasty-sugar-1.0.0.0 tasty-sugar-1.0.1.0 tasty-sugar-1.0.1.1 tasty-sugar-1.1.0.0 trek-0.0.1.0 trek-lens-0.0.1.0 unification-fd-0.5.0 unification-fd-0.6.0 unification-fd-0.7.0 unification-fd-0.8.0 unification-fd-0.8.1 unification-fd-0.9.0 unification-fd-0.10.0 unification-fd-0.10.0.1 unification-fd-0.11.0 unification-fd-0.11.1 unification-fd-0.11.2 unification-fd-0.11.2.2 unification-fd-0.12.0 unification-fd-0.12.0.1 unification-fd-0.12.0.2 unification-fd-0.12.0.3
0.5.0.2	acme-everything-2015.4.15.1 astar-monad-0.1.0.0 astar-monad-0.2.0.0 astar-monad-0.2.1.0 astar-monad-0.3.0.0 autoapply-0.1.0.0 autoapply-0.2.0.0 autoapply-0.3 autoapply-0.4 autoapply-0.4.1 autoapply-0.4.1.1 autoapply-0.4.1.3 cflp-2009.1.26 cflp-2009.1.28 cflp-2009.2.1 crux-llvm-0.8 crux-llvm-0.9 crux-llvm-0.9.1 crux-llvm-0.10 crux-llvm-0.11.0.0 crux-llvm-0.12 ds-kanren-0.2.0.0 ds-kanren-0.2.0.1 hmt-0.12 hmt-0.14 hmt-0.15 hmt-0.16 hmt-0.18 hmt-0.20 hnix-0.5.0 hnix-0.5.1 hnix-0.5.2 hnix-0.6.0 lambdabot-4.3 lambdabot-4.3.0.1 lambdabot-haskell-plugins-5.0 lambdabot-haskell-plugins-5.0.1 lambdabot-haskell-plugins-5.0.2 lambdabot-haskell-plugins-5.0.2.1 lambdabot-haskell-plugins-5.0.3 lambdabot-haskell-plugins-5.1 lambdabot-haskell-plugins-5.1.0.1 lambdabot-haskell-plugins-5.1.0.2 lambdabot-haskell-plugins-5.1.0.3 lambdabot-haskell-plugins-5.1.0.4 lambdabot-haskell-plugins-5.2 lambdabot-haskell-plugins-5.3 lambdabot-haskell-plugins-5.3.0.2 lambdabot-haskell-plugins-5.3.1 lambdabot-haskell-plugins-5.3.1.1 lambdabot-haskell-plugins-5.3.1.2 logicst-0.1.0.0 logict-sequence-0.1.0.0 logict-sequence-0.1.0.1 mad-props-0.1.0.0 mad-props-0.2.0.0 mad-props-0.2.1.0 monad-lgbt-0.0.1 monad-lgbt-0.0.2 pianola-0.1.0 pianola-0.1.1 pipes-files-0.1.3 prelude-generalize-0.1 prelude-generalize-0.1.1 prelude-generalize-0.2 prelude-generalize-0.3 prelude-generalize-0.3.1 prelude-generalize-0.4 regex-genex-0.3.1 regex-genex-0.3.2 regex-genex-0.5.0 regex-genex-0.5.1 regex-genex-0.6.0 regex-genex-0.6.2 regex-genex-0.7.0 safe-gen-1.0.0 smallcheck-1.0 smallcheck-1.0.1 smallcheck-1.0.2 smallcheck-1.0.3 smallcheck-1.0.4 smallcheck-1.1 smallcheck-1.1.0.1 smallcheck-1.1.1 smallcheck-1.1.2 smallcheck-1.1.3 smallcheck-1.1.3.1 smallcheck-1.1.4 smallcheck-1.1.5 smallcheck-1.1.6 smallcheck-1.1.7 smallcheck-1.2.0 smallcheck-1.2.1 smallcheck-1.2.1.1 snap-0.6.0 snap-0.6.0.1 snap-0.6.0.2 snap-0.7 snap-0.8.0 snap-0.8.0.1 snap-0.8.0.2 snap-0.8.1 snap-0.9.0 snap-0.9.0.1 snap-0.9.1 snap-0.9.1.1 snap-0.9.2 snap-0.9.2.1 snap-0.9.2.2 snap-0.10.0 snap-0.10.0.1 snap-0.11.0 snap-0.11.1 snap-0.11.2 snap-0.11.2.1 snap-0.11.2.2 snap-0.11.3 snap-0.11.3.1 snap-0.12.0 snap-0.12.1 snap-0.13.0 snap-0.13.0.1 snap-0.13.0.2 snap-0.13.0.3 snap-0.13.0.4 snap-0.13.1 snap-0.13.1.1 snap-0.13.1.2 snap-0.13.2.0 snap-0.13.2.1 snap-0.13.2.2 snap-0.13.2.3 snap-0.13.2.4 snap-0.13.2.5 snap-0.13.2.6 snap-0.13.2.7 snap-0.13.2.8 snap-0.13.2.9 snap-0.13.3 snap-0.13.3.1 snap-0.13.3.2 snap-0.14.0 snap-0.14.0.1 snap-0.14.0.2 snap-0.14.0.3 snap-0.14.0.4 snap-0.14.0.5 snap-0.14.0.6 snap-0.14.0.7 spectacle-1.0.0 stream-monad-0.4.0.2 sweet-egison-0.1.2.0 sweet-egison-0.1.2.1 tasty-sugar-0.2.0.0 tasty-sugar-1.0.0.0 tasty-sugar-1.0.1.0 tasty-sugar-1.0.1.1 tasty-sugar-1.1.0.0 trek-0.0.1.0 trek-lens-0.0.1.0 unification-fd-0.5.0 unification-fd-0.6.0 unification-fd-0.7.0 unification-fd-0.8.0 unification-fd-0.8.1 unification-fd-0.9.0 unification-fd-0.10.0 unification-fd-0.10.0.1 unification-fd-0.11.0 unification-fd-0.11.1 unification-fd-0.11.2 unification-fd-0.11.2.2 unification-fd-0.12.0 unification-fd-0.12.0.1 unification-fd-0.12.0.2 unification-fd-0.12.0.3
0.6	acme-everything-2015.4.15.1 astar-monad-0.1.0.0 astar-monad-0.2.0.0 astar-monad-0.2.1.0 astar-monad-0.3.0.0 autoapply-0.1.0.0 autoapply-0.2.0.0 autoapply-0.3 autoapply-0.4 autoapply-0.4.1 autoapply-0.4.1.1 autoapply-0.4.1.3 cflp-2009.1.26 cflp-2009.1.28 cflp-2009.2.1 crux-llvm-0.8 crux-llvm-0.9 crux-llvm-0.9.1 crux-llvm-0.10 crux-llvm-0.11.0.0 crux-llvm-0.12 ds-kanren-0.2.0.0 ds-kanren-0.2.0.1 hmt-0.12 hmt-0.14 hmt-0.15 hmt-0.16 hmt-0.18 hmt-0.20 hnix-0.5.0 hnix-0.5.1 hnix-0.5.2 hnix-0.6.0 incremental-parser-0.5.1 lambdabot-4.3 lambdabot-4.3.0.1 lambdabot-haskell-plugins-5.0 lambdabot-haskell-plugins-5.0.1 lambdabot-haskell-plugins-5.0.2 lambdabot-haskell-plugins-5.0.2.1 lambdabot-haskell-plugins-5.0.3 lambdabot-haskell-plugins-5.1 lambdabot-haskell-plugins-5.1.0.1 lambdabot-haskell-plugins-5.1.0.2 lambdabot-haskell-plugins-5.1.0.3 lambdabot-haskell-plugins-5.1.0.4 lambdabot-haskell-plugins-5.2 lambdabot-haskell-plugins-5.3 lambdabot-haskell-plugins-5.3.0.2 lambdabot-haskell-plugins-5.3.1 lambdabot-haskell-plugins-5.3.1.1 lambdabot-haskell-plugins-5.3.1.2 logicst-0.1.0.0 logict-sequence-0.1.0.0 logict-sequence-0.1.0.1 mad-props-0.1.0.0 mad-props-0.2.0.0 mad-props-0.2.1.0 monad-lgbt-0.0.1 monad-lgbt-0.0.2 pianola-0.1.0 pianola-0.1.1 pipes-files-0.1.3 refinery-0.2.0.0 refinery-0.3.0.0 regex-genex-0.3.1 regex-genex-0.3.2 regex-genex-0.5.0 regex-genex-0.5.1 regex-genex-0.6.0 regex-genex-0.6.2 regex-genex-0.7.0 safe-gen-1.0.0 smallcheck-1.0 smallcheck-1.0.1 smallcheck-1.0.2 smallcheck-1.0.3 smallcheck-1.0.4 smallcheck-1.1 smallcheck-1.1.0.1 smallcheck-1.1.1 smallcheck-1.1.2 smallcheck-1.1.3 smallcheck-1.1.3.1 smallcheck-1.1.4 smallcheck-1.1.5 smallcheck-1.1.6 smallcheck-1.1.7 smallcheck-1.2.0 smallcheck-1.2.1 smallcheck-1.2.1.1 snap-0.11.1 snap-0.11.2 snap-0.11.2.1 snap-0.11.2.2 snap-0.11.3 snap-0.11.3.1 snap-0.12.0 snap-0.12.1 snap-0.13.0 snap-0.13.0.1 snap-0.13.0.2 snap-0.13.0.3 snap-0.13.0.4 snap-0.13.1 snap-0.13.1.1 snap-0.13.1.2 snap-0.13.2.0 snap-0.13.2.1 snap-0.13.2.2 snap-0.13.2.3 snap-0.13.2.4 snap-0.13.2.5 snap-0.13.2.6 snap-0.13.2.7 snap-0.13.2.8 snap-0.13.2.9 snap-0.13.3 snap-0.13.3.1 snap-0.13.3.2 snap-0.14.0 snap-0.14.0.1 snap-0.14.0.2 snap-0.14.0.3 snap-0.14.0.4 snap-0.14.0.5 snap-0.14.0.6 snap-0.14.0.7 spectacle-1.0.0 sweet-egison-0.1.2.0 sweet-egison-0.1.2.1 tasty-sugar-0.2.0.0 tasty-sugar-1.0.0.0 tasty-sugar-1.0.1.0 tasty-sugar-1.0.1.1 tasty-sugar-1.1.0.0 trek-0.0.1.0 trek-lens-0.0.1.0 unification-fd-0.5.0 unification-fd-0.6.0 unification-fd-0.7.0 unification-fd-0.8.0 unification-fd-0.8.1 unification-fd-0.9.0 unification-fd-0.10.0 unification-fd-0.10.0.1 unification-fd-0.11.0 unification-fd-0.11.1 unification-fd-0.11.2 unification-fd-0.11.2.2 unification-fd-0.12.0 unification-fd-0.12.0.1 unification-fd-0.12.0.2 unification-fd-0.12.0.3
0.6.0.1	acme-everything-2015.4.15.1 astar-monad-0.1.0.0 astar-monad-0.2.0.0 astar-monad-0.2.1.0 astar-monad-0.3.0.0 autoapply-0.1.0.0 autoapply-0.2.0.0 autoapply-0.3 autoapply-0.4 autoapply-0.4.1 autoapply-0.4.1.1 autoapply-0.4.1.3 cflp-2009.1.26 cflp-2009.1.28 cflp-2009.2.1 crux-llvm-0.8 crux-llvm-0.9 crux-llvm-0.9.1 crux-llvm-0.10 crux-llvm-0.11.0.0 crux-llvm-0.12 ds-kanren-0.2.0.0 ds-kanren-0.2.0.1 hmt-0.12 hmt-0.14 hmt-0.15 hmt-0.16 hmt-0.18 hmt-0.20 hnix-0.5.0 hnix-0.5.1 hnix-0.5.2 hnix-0.6.0 hnix-0.6.1 hnix-0.7.0 hnix-0.7.1 hnix-0.8.0 hnix-0.9.0 hnix-0.9.1 hnix-0.10.0 hnix-0.10.1 hnix-0.11.0 hnix-0.11.1 hnix-0.12.0 hnix-0.12.0.1 hnix-0.13.0 hnix-0.13.0.1 hnix-0.13.1 hnix-0.14.0 hnix-0.14.0.1 hnix-0.14.0.2 hnix-0.14.0.3 hnix-0.14.0.4 hnix-0.14.0.5 hnix-0.14.0.6 hnix-0.14.0.7 hnix-0.14.0.8 hnix-0.15.0 hnix-0.16.0 hnix-0.17.0 incremental-parser-0.5.1 lambdabot-4.3 lambdabot-4.3.0.1 lambdabot-haskell-plugins-5.0 lambdabot-haskell-plugins-5.0.1 lambdabot-haskell-plugins-5.0.2 lambdabot-haskell-plugins-5.0.2.1 lambdabot-haskell-plugins-5.0.3 lambdabot-haskell-plugins-5.1 lambdabot-haskell-plugins-5.1.0.1 lambdabot-haskell-plugins-5.1.0.2 lambdabot-haskell-plugins-5.1.0.3 lambdabot-haskell-plugins-5.1.0.4 lambdabot-haskell-plugins-5.2 lambdabot-haskell-plugins-5.3 lambdabot-haskell-plugins-5.3.0.2 lambdabot-haskell-plugins-5.3.1 lambdabot-haskell-plugins-5.3.1.1 lambdabot-haskell-plugins-5.3.1.2 logicst-0.1.0.0 logict-sequence-0.1.0.0 logict-sequence-0.1.0.1 mad-props-0.1.0.0 mad-props-0.2.0.0 mad-props-0.2.1.0 monad-lgbt-0.0.1 monad-lgbt-0.0.2 pianola-0.1.0 pianola-0.1.1 pipes-files-0.1.3 planet-mitchell-0.0.0 planet-mitchell-0.1.0 refinery-0.2.0.0 refinery-0.3.0.0 regex-genex-0.3.1 regex-genex-0.3.2 regex-genex-0.5.0 regex-genex-0.5.1 regex-genex-0.6.0 regex-genex-0.6.2 regex-genex-0.7.0 safe-gen-1.0.0 smallcheck-1.0 smallcheck-1.0.1 smallcheck-1.0.2 smallcheck-1.0.3 smallcheck-1.0.4 smallcheck-1.1 smallcheck-1.1.0.1 smallcheck-1.1.1 smallcheck-1.1.2 smallcheck-1.1.3 smallcheck-1.1.3.1 smallcheck-1.1.4 smallcheck-1.1.5 smallcheck-1.1.6 smallcheck-1.1.7 smallcheck-1.2.0 smallcheck-1.2.1 smallcheck-1.2.1.1 snap-0.11.1 snap-0.11.2 snap-0.11.2.1 snap-0.11.2.2 snap-0.11.3 snap-0.11.3.1 snap-0.12.0 snap-0.12.1 snap-0.13.0 snap-0.13.0.1 snap-0.13.0.2 snap-0.13.0.3 snap-0.13.0.4 snap-0.13.1 snap-0.13.1.1 snap-0.13.1.2 snap-0.13.2.0 snap-0.13.2.1 snap-0.13.2.2 snap-0.13.2.3 snap-0.13.2.4 snap-0.13.2.5 snap-0.13.2.6 snap-0.13.2.7 snap-0.13.2.8 snap-0.13.2.9 snap-0.13.3 snap-0.13.3.1 snap-0.13.3.2 snap-0.14.0 snap-0.14.0.1 snap-0.14.0.2 snap-0.14.0.3 snap-0.14.0.4 snap-0.14.0.5 snap-0.14.0.6 snap-0.14.0.7 spectacle-1.0.0 sweet-egison-0.1.2.0 sweet-egison-0.1.2.1 tasty-sugar-0.2.0.0 tasty-sugar-1.0.0.0 tasty-sugar-1.0.1.0 tasty-sugar-1.0.1.1 tasty-sugar-1.1.0.0 trek-0.0.1.0 trek-lens-0.0.1.0 unification-fd-0.5.0 unification-fd-0.6.0 unification-fd-0.7.0 unification-fd-0.8.0 unification-fd-0.8.1 unification-fd-0.9.0 unification-fd-0.10.0 unification-fd-0.10.0.1 unification-fd-0.11.0 unification-fd-0.11.1 unification-fd-0.11.2 unification-fd-0.11.2.2 unification-fd-0.12.0 unification-fd-0.12.0.1 unification-fd-0.12.0.2 unification-fd-0.12.0.3
0.6.0.2	acme-everything-2015.4.15.1 astar-monad-0.1.0.0 astar-monad-0.2.0.0 astar-monad-0.2.1.0 astar-monad-0.3.0.0 autoapply-0.1.0.0 autoapply-0.2.0.0 autoapply-0.3 autoapply-0.4 autoapply-0.4.1 autoapply-0.4.1.1 autoapply-0.4.1.3 cflp-2009.1.26 cflp-2009.1.28 cflp-2009.2.1 crux-llvm-0.8 crux-llvm-0.9 crux-llvm-0.9.1 crux-llvm-0.10 crux-llvm-0.11.0.0 crux-llvm-0.12 ds-kanren-0.2.0.0 ds-kanren-0.2.0.1 hmt-0.12 hmt-0.14 hmt-0.15 hmt-0.16 hmt-0.18 hmt-0.20 hnix-0.5.0 hnix-0.5.1 hnix-0.5.2 hnix-0.6.0 hnix-0.6.1 hnix-0.7.0 hnix-0.7.1 hnix-0.8.0 hnix-0.9.0 hnix-0.9.1 hnix-0.10.0 hnix-0.10.1 hnix-0.11.0 hnix-0.11.1 hnix-0.12.0 hnix-0.12.0.1 hnix-0.13.0 hnix-0.13.0.1 hnix-0.13.1 hnix-0.14.0 hnix-0.14.0.1 hnix-0.14.0.2 hnix-0.14.0.3 hnix-0.14.0.4 hnix-0.14.0.5 hnix-0.14.0.6 hnix-0.14.0.7 hnix-0.14.0.8 hnix-0.15.0 hnix-0.16.0 hnix-0.17.0 incremental-parser-0.5.1 lambdabot-4.3 lambdabot-4.3.0.1 lambdabot-haskell-plugins-5.0 lambdabot-haskell-plugins-5.0.1 lambdabot-haskell-plugins-5.0.2 lambdabot-haskell-plugins-5.0.2.1 lambdabot-haskell-plugins-5.0.3 lambdabot-haskell-plugins-5.1 lambdabot-haskell-plugins-5.1.0.1 lambdabot-haskell-plugins-5.1.0.2 lambdabot-haskell-plugins-5.1.0.3 lambdabot-haskell-plugins-5.1.0.4 lambdabot-haskell-plugins-5.2 lambdabot-haskell-plugins-5.3 lambdabot-haskell-plugins-5.3.0.2 lambdabot-haskell-plugins-5.3.1 lambdabot-haskell-plugins-5.3.1.1 lambdabot-haskell-plugins-5.3.1.2 logicst-0.1.0.0 logict-sequence-0.1.0.0 logict-sequence-0.1.0.1 logict-state-0.1.0.0 logict-state-0.1.0.1 logict-state-0.1.0.2 logict-state-0.1.0.4 logict-state-0.1.0.5 mad-props-0.1.0.0 mad-props-0.2.0.0 mad-props-0.2.1.0 monad-lgbt-0.0.1 monad-lgbt-0.0.2 pianola-0.1.0 pianola-0.1.1 pipes-files-0.1.3 planet-mitchell-0.0.0 planet-mitchell-0.1.0 refinery-0.2.0.0 refinery-0.3.0.0 regex-genex-0.3.1 regex-genex-0.3.2 regex-genex-0.5.0 regex-genex-0.5.1 regex-genex-0.6.0 regex-genex-0.6.2 regex-genex-0.7.0 safe-gen-1.0.0 smallcheck-1.0 smallcheck-1.0.1 smallcheck-1.0.2 smallcheck-1.0.3 smallcheck-1.0.4 smallcheck-1.1 smallcheck-1.1.0.1 smallcheck-1.1.1 smallcheck-1.1.2 smallcheck-1.1.3 smallcheck-1.1.3.1 smallcheck-1.1.4 smallcheck-1.1.5 smallcheck-1.1.6 smallcheck-1.1.7 smallcheck-1.2.0 smallcheck-1.2.1 smallcheck-1.2.1.1 smallcheck-series-0.3 smallcheck-series-0.4 smallcheck-series-0.5 smallcheck-series-0.5.1 smallcheck-series-0.6 smallcheck-series-0.6.1 smallcheck-series-0.6.1.1 smallcheck-series-0.7.0.0 smallcheck-series-0.7.1.0 snap-0.11.1 snap-0.11.2 snap-0.11.2.1 snap-0.11.2.2 snap-0.11.3 snap-0.11.3.1 snap-0.12.0 snap-0.12.1 snap-0.13.0 snap-0.13.0.1 snap-0.13.0.2 snap-0.13.0.3 snap-0.13.0.4 snap-0.13.1 snap-0.13.1.1 snap-0.13.1.2 snap-0.13.2.0 snap-0.13.2.1 snap-0.13.2.2 snap-0.13.2.3 snap-0.13.2.4 snap-0.13.2.5 snap-0.13.2.6 snap-0.13.2.7 snap-0.13.2.8 snap-0.13.2.9 snap-0.13.3 snap-0.13.3.1 snap-0.13.3.2 snap-0.14.0 snap-0.14.0.1 snap-0.14.0.2 snap-0.14.0.3 snap-0.14.0.4 snap-0.14.0.5 snap-0.14.0.6 snap-0.14.0.7 spectacle-1.0.0 sweet-egison-0.1.2.0 sweet-egison-0.1.2.1 tasty-sugar-0.2.0.0 tasty-sugar-1.0.0.0 tasty-sugar-1.0.1.0 tasty-sugar-1.0.1.1 tasty-sugar-1.1.0.0 trek-0.0.1.0 trek-lens-0.0.1.0 unification-fd-0.5.0 unification-fd-0.6.0 unification-fd-0.7.0 unification-fd-0.8.0 unification-fd-0.8.1 unification-fd-0.9.0 unification-fd-0.10.0 unification-fd-0.10.0.1 unification-fd-0.11.0 unification-fd-0.11.1 unification-fd-0.11.2 unification-fd-0.11.2.2 unification-fd-0.12.0 unification-fd-0.12.0.1 unification-fd-0.12.0.2 unification-fd-0.12.0.3
0.6.0.3	acme-everything-2015.4.15.1 astar-monad-0.1.0.0 astar-monad-0.2.0.0 astar-monad-0.2.1.0 astar-monad-0.3.0.0 autoapply-0.1.0.0 autoapply-0.2.0.0 autoapply-0.3 autoapply-0.4 autoapply-0.4.1 autoapply-0.4.1.1 autoapply-0.4.1.3 cflp-2009.1.26 cflp-2009.1.28 cflp-2009.2.1 crux-llvm-0.8 crux-llvm-0.9 crux-llvm-0.9.1 crux-llvm-0.10 crux-llvm-0.11.0.0 crux-llvm-0.12 ds-kanren-0.2.0.0 ds-kanren-0.2.0.1 hmt-0.12 hmt-0.14 hmt-0.15 hmt-0.16 hmt-0.18 hmt-0.20 hnix-0.5.0 hnix-0.5.1 hnix-0.5.2 hnix-0.6.0 hnix-0.6.1 hnix-0.7.0 hnix-0.7.1 hnix-0.8.0 hnix-0.9.0 hnix-0.9.1 hnix-0.10.0 hnix-0.10.1 hnix-0.11.0 hnix-0.11.1 hnix-0.12.0 hnix-0.12.0.1 hnix-0.13.0 hnix-0.13.0.1 hnix-0.13.1 hnix-0.14.0 hnix-0.14.0.1 hnix-0.14.0.2 hnix-0.14.0.3 hnix-0.14.0.4 hnix-0.14.0.5 hnix-0.14.0.6 hnix-0.14.0.7 hnix-0.14.0.8 hnix-0.15.0 hnix-0.16.0 hnix-0.17.0 incremental-parser-0.5.1 lambdabot-4.3 lambdabot-4.3.0.1 lambdabot-haskell-plugins-5.0 lambdabot-haskell-plugins-5.0.1 lambdabot-haskell-plugins-5.0.2 lambdabot-haskell-plugins-5.0.2.1 lambdabot-haskell-plugins-5.0.3 lambdabot-haskell-plugins-5.1 lambdabot-haskell-plugins-5.1.0.1 lambdabot-haskell-plugins-5.1.0.2 lambdabot-haskell-plugins-5.1.0.3 lambdabot-haskell-plugins-5.1.0.4 lambdabot-haskell-plugins-5.2 lambdabot-haskell-plugins-5.3 lambdabot-haskell-plugins-5.3.0.2 lambdabot-haskell-plugins-5.3.1 lambdabot-haskell-plugins-5.3.1.1 lambdabot-haskell-plugins-5.3.1.2 logicst-0.1.0.0 logict-sequence-0.1.0.0 logict-sequence-0.1.0.1 logict-state-0.1.0.0 logict-state-0.1.0.1 logict-state-0.1.0.2 logict-state-0.1.0.4 logict-state-0.1.0.5 mad-props-0.1.0.0 mad-props-0.2.0.0 mad-props-0.2.1.0 monad-lgbt-0.0.1 monad-lgbt-0.0.2 pianola-0.1.0 pianola-0.1.1 pipes-files-0.1.3 planet-mitchell-0.0.0 planet-mitchell-0.1.0 refinery-0.2.0.0 refinery-0.3.0.0 regex-genex-0.3.1 regex-genex-0.3.2 regex-genex-0.5.0 regex-genex-0.5.1 regex-genex-0.6.0 regex-genex-0.6.2 regex-genex-0.7.0 safe-gen-1.0.0 smallcheck-1.0 smallcheck-1.0.1 smallcheck-1.0.2 smallcheck-1.0.3 smallcheck-1.0.4 smallcheck-1.1 smallcheck-1.1.0.1 smallcheck-1.1.1 smallcheck-1.1.2 smallcheck-1.1.3 smallcheck-1.1.3.1 smallcheck-1.1.4 smallcheck-1.1.5 smallcheck-1.1.6 smallcheck-1.1.7 smallcheck-1.2.0 smallcheck-1.2.1 smallcheck-1.2.1.1 smallcheck-series-0.3 smallcheck-series-0.4 smallcheck-series-0.5 smallcheck-series-0.5.1 smallcheck-series-0.6 smallcheck-series-0.6.1 smallcheck-series-0.6.1.1 smallcheck-series-0.7.0.0 smallcheck-series-0.7.1.0 snap-0.11.1 snap-0.11.2 snap-0.11.2.1 snap-0.11.2.2 snap-0.11.3 snap-0.11.3.1 snap-0.12.0 snap-0.12.1 snap-0.13.0 snap-0.13.0.1 snap-0.13.0.2 snap-0.13.0.3 snap-0.13.0.4 snap-0.13.1 snap-0.13.1.1 snap-0.13.1.2 snap-0.13.2.0 snap-0.13.2.1 snap-0.13.2.2 snap-0.13.2.3 snap-0.13.2.4 snap-0.13.2.5 snap-0.13.2.6 snap-0.13.2.7 snap-0.13.2.8 snap-0.13.2.9 snap-0.13.3 snap-0.13.3.1 snap-0.13.3.2 snap-0.14.0 snap-0.14.0.1 snap-0.14.0.2 snap-0.14.0.3 snap-0.14.0.4 snap-0.14.0.5 snap-0.14.0.6 snap-0.14.0.7 spectacle-1.0.0 sweet-egison-0.1.2.0 sweet-egison-0.1.2.1 tasty-sugar-0.2.0.0 tasty-sugar-1.0.0.0 tasty-sugar-1.0.1.0 tasty-sugar-1.0.1.1 tasty-sugar-1.1.0.0 trek-0.0.1.0 trek-lens-0.0.1.0 unification-fd-0.5.0 unification-fd-0.6.0 unification-fd-0.7.0 unification-fd-0.8.0 unification-fd-0.8.1 unification-fd-0.9.0 unification-fd-0.10.0 unification-fd-0.10.0.1 unification-fd-0.11.0 unification-fd-0.11.1 unification-fd-0.11.2 unification-fd-0.11.2.2 unification-fd-0.12.0 unification-fd-0.12.0.1 unification-fd-0.12.0.2 unification-fd-0.12.0.3
0.7.0.0	acme-everything-2015.4.15.1 astar-monad-0.1.0.0 astar-monad-0.2.0.0 astar-monad-0.2.1.0 astar-monad-0.3.0.0 autoapply-0.1.0.0 autoapply-0.2.0.0 autoapply-0.3 autoapply-0.4 autoapply-0.4.1 autoapply-0.4.1.1 autoapply-0.4.1.3 cflp-2009.1.26 cflp-2009.1.28 cflp-2009.2.1 crux-llvm-0.8 crux-llvm-0.9 crux-llvm-0.9.1 crux-llvm-0.10 crux-llvm-0.11.0.0 crux-llvm-0.12 ds-kanren-0.2.0.0 ds-kanren-0.2.0.1 hmt-0.12 hmt-0.14 hmt-0.15 hmt-0.16 hmt-0.18 hmt-0.20 hnix-0.5.0 hnix-0.5.1 hnix-0.5.2 hnix-0.6.0 holmes-0.1.0.0 holmes-0.1.0.1 holmes-0.2.0.0 holmes-0.3.0.0 holmes-0.3.0.1 holmes-0.3.2.0 incremental-parser-0.5.1 lambdabot-4.3 lambdabot-4.3.0.1 lambdabot-haskell-plugins-5.0 lambdabot-haskell-plugins-5.0.1 lambdabot-haskell-plugins-5.0.2 lambdabot-haskell-plugins-5.0.2.1 lambdabot-haskell-plugins-5.0.3 lambdabot-haskell-plugins-5.1 lambdabot-haskell-plugins-5.1.0.1 lambdabot-haskell-plugins-5.1.0.2 lambdabot-haskell-plugins-5.1.0.3 lambdabot-haskell-plugins-5.1.0.4 lambdabot-haskell-plugins-5.2 lambdabot-haskell-plugins-5.3 lambdabot-haskell-plugins-5.3.0.2 lambdabot-haskell-plugins-5.3.1 lambdabot-haskell-plugins-5.3.1.1 lambdabot-haskell-plugins-5.3.1.2 list-t-1.0.5 list-t-1.0.5.1 list-t-1.0.5.2 list-t-1.0.5.3 list-t-1.0.5.4 list-t-1.0.5.5 list-t-1.0.5.6 list-t-1.0.5.7 logicst-0.1.0.0 logict-sequence-0.1.0.0 logict-sequence-0.1.0.1 logict-state-0.1.0.0 logict-state-0.1.0.1 logict-state-0.1.0.2 logict-state-0.1.0.4 logict-state-0.1.0.5 mad-props-0.1.0.0 mad-props-0.2.0.0 mad-props-0.2.1.0 monad-lgbt-0.0.1 monad-lgbt-0.0.2 overeasy-0.1.0 overeasy-0.1.1 overeasy-0.2.0 pianola-0.1.0 pianola-0.1.1 pipes-files-0.1.3 refinery-0.2.0.0 refinery-0.3.0.0 regex-genex-0.3.1 regex-genex-0.3.2 regex-genex-0.5.0 regex-genex-0.5.1 regex-genex-0.6.0 regex-genex-0.6.2 regex-genex-0.7.0 safe-gen-1.0.0 smallcheck-1.0 smallcheck-1.0.1 smallcheck-1.0.2 smallcheck-1.0.3 smallcheck-1.0.4 smallcheck-1.1 smallcheck-1.1.0.1 smallcheck-1.1.1 smallcheck-1.1.2 smallcheck-1.1.3 smallcheck-1.1.3.1 smallcheck-1.1.4 smallcheck-1.1.5 smallcheck-1.1.6 smallcheck-1.1.7 smallcheck-1.2.0 smallcheck-1.2.1 smallcheck-1.2.1.1 smallcheck-series-0.3 smallcheck-series-0.4 smallcheck-series-0.5 smallcheck-series-0.5.1 smallcheck-series-0.6 smallcheck-series-0.6.1 smallcheck-series-0.6.1.1 smallcheck-series-0.7.0.0 smallcheck-series-0.7.1.0 spectacle-1.0.0 streamt-0.5.0.0 streamt-0.5.0.1 sweet-egison-0.1.0.1 sweet-egison-0.1.0.2 sweet-egison-0.1.0.3 sweet-egison-0.1.1.0 sweet-egison-0.1.1.1 sweet-egison-0.1.1.2 sweet-egison-0.1.1.3 sweet-egison-0.1.2.0 sweet-egison-0.1.2.1 tasty-sugar-0.2.0.0 tasty-sugar-1.0.0.0 tasty-sugar-1.0.1.0 tasty-sugar-1.0.1.1 tasty-sugar-1.1.0.0 trek-0.0.1.0 trek-lens-0.0.1.0 unification-fd-0.5.0 unification-fd-0.6.0 unification-fd-0.7.0 unification-fd-0.8.0 unification-fd-0.8.1 unification-fd-0.9.0 unification-fd-0.10.0 unification-fd-0.10.0.1 unification-fd-0.11.0 unification-fd-0.11.1 unification-fd-0.11.2 unification-fd-0.11.2.2 unification-fd-0.12.0 unification-fd-0.12.0.1 unification-fd-0.12.0.2 unification-fd-0.12.0.3
0.7.0.1	acme-everything-2015.4.15.1 astar-monad-0.1.0.0 astar-monad-0.2.0.0 astar-monad-0.2.1.0 astar-monad-0.3.0.0 autoapply-0.1.0.0 autoapply-0.2.0.0 autoapply-0.3 autoapply-0.4 autoapply-0.4.1 autoapply-0.4.1.1 autoapply-0.4.1.3 cflp-2009.1.26 cflp-2009.1.28 cflp-2009.2.1 crux-llvm-0.8 crux-llvm-0.9 crux-llvm-0.9.1 crux-llvm-0.10 crux-llvm-0.11.0.0 crux-llvm-0.12 ds-kanren-0.2.0.0 ds-kanren-0.2.0.1 hmt-0.12 hmt-0.14 hmt-0.15 hmt-0.16 hmt-0.18 hmt-0.20 hnix-0.5.0 hnix-0.5.1 hnix-0.5.2 hnix-0.6.0 holmes-0.1.0.0 holmes-0.1.0.1 holmes-0.2.0.0 holmes-0.3.0.0 holmes-0.3.0.1 holmes-0.3.2.0 incremental-parser-0.5.1 lambdabot-4.3 lambdabot-4.3.0.1 lambdabot-haskell-plugins-5.0 lambdabot-haskell-plugins-5.0.1 lambdabot-haskell-plugins-5.0.2 lambdabot-haskell-plugins-5.0.2.1 lambdabot-haskell-plugins-5.0.3 lambdabot-haskell-plugins-5.1 lambdabot-haskell-plugins-5.1.0.1 lambdabot-haskell-plugins-5.1.0.2 lambdabot-haskell-plugins-5.1.0.3 lambdabot-haskell-plugins-5.1.0.4 lambdabot-haskell-plugins-5.2 lambdabot-haskell-plugins-5.3 lambdabot-haskell-plugins-5.3.0.2 lambdabot-haskell-plugins-5.3.1 lambdabot-haskell-plugins-5.3.1.1 lambdabot-haskell-plugins-5.3.1.2 list-t-1.0.5 list-t-1.0.5.1 list-t-1.0.5.2 list-t-1.0.5.3 list-t-1.0.5.4 list-t-1.0.5.5 list-t-1.0.5.6 list-t-1.0.5.7 logicst-0.1.0.0 logict-sequence-0.1.0.0 logict-sequence-0.1.0.1 logict-state-0.1.0.0 logict-state-0.1.0.1 logict-state-0.1.0.2 logict-state-0.1.0.4 logict-state-0.1.0.5 mad-props-0.1.0.0 mad-props-0.2.0.0 mad-props-0.2.1.0 monad-lgbt-0.0.1 monad-lgbt-0.0.2 overeasy-0.1.0 overeasy-0.1.1 overeasy-0.2.0 pianola-0.1.0 pianola-0.1.1 pipes-files-0.1.3 refinery-0.2.0.0 refinery-0.3.0.0 regex-genex-0.3.1 regex-genex-0.3.2 regex-genex-0.5.0 regex-genex-0.5.1 regex-genex-0.6.0 regex-genex-0.6.2 regex-genex-0.7.0 safe-gen-1.0.0 smallcheck-1.0 smallcheck-1.0.1 smallcheck-1.0.2 smallcheck-1.0.3 smallcheck-1.0.4 smallcheck-1.1 smallcheck-1.1.0.1 smallcheck-1.1.1 smallcheck-1.1.2 smallcheck-1.1.3 smallcheck-1.1.3.1 smallcheck-1.1.4 smallcheck-1.1.5 smallcheck-1.1.6 smallcheck-1.1.7 smallcheck-1.2.0 smallcheck-1.2.1 smallcheck-1.2.1.1 smallcheck-series-0.3 smallcheck-series-0.4 smallcheck-series-0.5 smallcheck-series-0.5.1 smallcheck-series-0.6 smallcheck-series-0.6.1 smallcheck-series-0.6.1.1 smallcheck-series-0.7.0.0 smallcheck-series-0.7.1.0 spectacle-1.0.0 streamt-0.5.0.0 streamt-0.5.0.1 sweet-egison-0.1.0.1 sweet-egison-0.1.0.2 sweet-egison-0.1.0.3 sweet-egison-0.1.1.0 sweet-egison-0.1.1.1 sweet-egison-0.1.1.2 sweet-egison-0.1.1.3 sweet-egison-0.1.2.0 sweet-egison-0.1.2.1 tasty-sugar-0.2.0.0 tasty-sugar-1.0.0.0 tasty-sugar-1.0.1.0 tasty-sugar-1.0.1.1 tasty-sugar-1.1.0.0 trek-0.0.1.0 trek-lens-0.0.1.0 unification-fd-0.5.0 unification-fd-0.6.0 unification-fd-0.7.0 unification-fd-0.8.0 unification-fd-0.8.1 unification-fd-0.9.0 unification-fd-0.10.0 unification-fd-0.10.0.1 unification-fd-0.11.0 unification-fd-0.11.1 unification-fd-0.11.2 unification-fd-0.11.2.2 unification-fd-0.12.0 unification-fd-0.12.0.1 unification-fd-0.12.0.2 unification-fd-0.12.0.3
0.7.0.2	acme-everything-2015.4.15.1 astar-monad-0.1.0.0 astar-monad-0.2.0.0 astar-monad-0.2.1.0 astar-monad-0.3.0.0 autoapply-0.1.0.0 autoapply-0.2.0.0 autoapply-0.3 autoapply-0.4 autoapply-0.4.1 autoapply-0.4.1.1 autoapply-0.4.1.3 cflp-2009.1.26 cflp-2009.1.28 cflp-2009.2.1 crux-llvm-0.8 crux-llvm-0.9 crux-llvm-0.9.1 crux-llvm-0.10 crux-llvm-0.11.0.0 crux-llvm-0.12 ds-kanren-0.2.0.0 ds-kanren-0.2.0.1 hmt-0.12 hmt-0.14 hmt-0.15 hmt-0.16 hmt-0.18 hmt-0.20 hnix-0.5.0 hnix-0.5.1 hnix-0.5.2 hnix-0.6.0 hnix-0.7.0 hnix-0.7.1 hnix-0.8.0 hnix-0.9.0 hnix-0.9.1 hnix-0.10.0 hnix-0.10.1 hnix-0.11.0 hnix-0.11.1 hnix-0.12.0 hnix-0.12.0.1 hnix-0.13.0 hnix-0.13.0.1 hnix-0.13.1 hnix-0.14.0 hnix-0.14.0.1 hnix-0.14.0.2 hnix-0.14.0.3 hnix-0.14.0.4 hnix-0.14.0.5 hnix-0.14.0.6 hnix-0.14.0.7 hnix-0.14.0.8 hnix-0.15.0 hnix-0.16.0 hnix-0.17.0 holmes-0.1.0.0 holmes-0.1.0.1 holmes-0.2.0.0 holmes-0.3.0.0 holmes-0.3.0.1 holmes-0.3.2.0 incremental-parser-0.5.1 lambdabot-4.3 lambdabot-4.3.0.1 lambdabot-haskell-plugins-5.0 lambdabot-haskell-plugins-5.0.1 lambdabot-haskell-plugins-5.0.2 lambdabot-haskell-plugins-5.0.2.1 lambdabot-haskell-plugins-5.0.3 lambdabot-haskell-plugins-5.1 lambdabot-haskell-plugins-5.1.0.1 lambdabot-haskell-plugins-5.1.0.2 lambdabot-haskell-plugins-5.1.0.3 lambdabot-haskell-plugins-5.1.0.4 lambdabot-haskell-plugins-5.2 lambdabot-haskell-plugins-5.3 lambdabot-haskell-plugins-5.3.0.2 lambdabot-haskell-plugins-5.3.1 lambdabot-haskell-plugins-5.3.1.1 lambdabot-haskell-plugins-5.3.1.2 list-t-1.0.5 list-t-1.0.5.1 list-t-1.0.5.2 list-t-1.0.5.3 list-t-1.0.5.4 list-t-1.0.5.5 list-t-1.0.5.6 list-t-1.0.5.7 logicst-0.1.0.0 logict-sequence-0.1.0.0 logict-sequence-0.1.0.1 logict-state-0.1.0.0 logict-state-0.1.0.1 logict-state-0.1.0.2 logict-state-0.1.0.4 logict-state-0.1.0.5 mad-props-0.1.0.0 mad-props-0.2.0.0 mad-props-0.2.1.0 monad-lgbt-0.0.1 monad-lgbt-0.0.2 overeasy-0.1.0 overeasy-0.1.1 overeasy-0.2.0 pianola-0.1.0 pianola-0.1.1 pipes-files-0.1.3 refinery-0.2.0.0 refinery-0.3.0.0 regex-genex-0.3.1 regex-genex-0.3.2 regex-genex-0.5.0 regex-genex-0.5.1 regex-genex-0.6.0 regex-genex-0.6.2 regex-genex-0.7.0 safe-gen-1.0.0 smallcheck-1.0 smallcheck-1.0.1 smallcheck-1.0.2 smallcheck-1.0.3 smallcheck-1.0.4 smallcheck-1.1 smallcheck-1.1.0.1 smallcheck-1.1.1 smallcheck-1.1.2 smallcheck-1.1.3 smallcheck-1.1.3.1 smallcheck-1.1.4 smallcheck-1.1.5 smallcheck-1.1.6 smallcheck-1.1.7 smallcheck-1.2.0 smallcheck-1.2.1 smallcheck-1.2.1.1 smallcheck-series-0.3 smallcheck-series-0.4 smallcheck-series-0.5 smallcheck-series-0.5.1 smallcheck-series-0.6 smallcheck-series-0.6.1 smallcheck-series-0.6.1.1 smallcheck-series-0.7.0.0 smallcheck-series-0.7.1.0 spectacle-1.0.0 streamt-0.5.0.0 streamt-0.5.0.1 sweet-egison-0.1.0.1 sweet-egison-0.1.0.2 sweet-egison-0.1.0.3 sweet-egison-0.1.1.0 sweet-egison-0.1.1.1 sweet-egison-0.1.1.2 sweet-egison-0.1.1.3 sweet-egison-0.1.2.0 sweet-egison-0.1.2.1 tasty-sugar-0.2.0.0 tasty-sugar-1.0.0.0 tasty-sugar-1.0.1.0 tasty-sugar-1.0.1.1 tasty-sugar-1.1.0.0 trek-0.0.1.0 trek-lens-0.0.1.0 unification-fd-0.5.0 unification-fd-0.6.0 unification-fd-0.7.0 unification-fd-0.8.0 unification-fd-0.8.1 unification-fd-0.9.0 unification-fd-0.10.0 unification-fd-0.10.0.1 unification-fd-0.11.0 unification-fd-0.11.1 unification-fd-0.11.2 unification-fd-0.11.2.2 unification-fd-0.12.0 unification-fd-0.12.0.1 unification-fd-0.12.0.2 unification-fd-0.12.0.3 util-logict-0.0.0.0
0.7.0.3	acme-everything-2015.4.15.1 astar-monad-0.1.0.0 astar-monad-0.2.0.0 astar-monad-0.2.1.0 astar-monad-0.3.0.0 autoapply-0.1.0.0 autoapply-0.2.0.0 autoapply-0.3 autoapply-0.4 autoapply-0.4.1 autoapply-0.4.1.1 autoapply-0.4.1.3 cflp-2009.1.26 cflp-2009.1.28 cflp-2009.2.1 crux-llvm-0.8 crux-llvm-0.9 crux-llvm-0.9.1 crux-llvm-0.10 crux-llvm-0.11.0.0 crux-llvm-0.12 ds-kanren-0.2.0.0 ds-kanren-0.2.0.1 hmt-0.12 hmt-0.14 hmt-0.15 hmt-0.16 hmt-0.18 hmt-0.20 hnix-0.5.0 hnix-0.5.1 hnix-0.5.2 hnix-0.6.0 hnix-0.7.0 hnix-0.7.1 hnix-0.8.0 hnix-0.9.0 hnix-0.9.1 hnix-0.10.0 hnix-0.10.1 hnix-0.11.0 hnix-0.11.1 hnix-0.12.0 hnix-0.12.0.1 hnix-0.13.0 hnix-0.13.0.1 hnix-0.13.1 hnix-0.14.0 hnix-0.14.0.1 hnix-0.14.0.2 hnix-0.14.0.3 hnix-0.14.0.4 hnix-0.14.0.5 hnix-0.14.0.6 hnix-0.14.0.7 hnix-0.14.0.8 hnix-0.15.0 hnix-0.16.0 hnix-0.17.0 holmes-0.1.0.0 holmes-0.1.0.1 holmes-0.2.0.0 holmes-0.3.0.0 holmes-0.3.0.1 holmes-0.3.2.0 incremental-parser-0.5.1 lambdabot-4.3 lambdabot-4.3.0.1 lambdabot-haskell-plugins-5.0 lambdabot-haskell-plugins-5.0.1 lambdabot-haskell-plugins-5.0.2 lambdabot-haskell-plugins-5.0.2.1 lambdabot-haskell-plugins-5.0.3 lambdabot-haskell-plugins-5.1 lambdabot-haskell-plugins-5.1.0.1 lambdabot-haskell-plugins-5.1.0.2 lambdabot-haskell-plugins-5.1.0.3 lambdabot-haskell-plugins-5.1.0.4 lambdabot-haskell-plugins-5.2 lambdabot-haskell-plugins-5.3 lambdabot-haskell-plugins-5.3.0.2 lambdabot-haskell-plugins-5.3.1 lambdabot-haskell-plugins-5.3.1.1 lambdabot-haskell-plugins-5.3.1.2 list-t-1.0.5 list-t-1.0.5.1 list-t-1.0.5.2 list-t-1.0.5.3 list-t-1.0.5.4 list-t-1.0.5.5 list-t-1.0.5.6 list-t-1.0.5.7 logicst-0.1.0.0 logict-sequence-0.1.0.0 logict-sequence-0.1.0.1 logict-state-0.1.0.0 logict-state-0.1.0.1 logict-state-0.1.0.2 logict-state-0.1.0.4 logict-state-0.1.0.5 mad-props-0.1.0.0 mad-props-0.2.0.0 mad-props-0.2.1.0 monad-lgbt-0.0.1 monad-lgbt-0.0.2 overeasy-0.1.0 overeasy-0.1.1 overeasy-0.2.0 pianola-0.1.0 pianola-0.1.1 pipes-files-0.1.3 refinery-0.2.0.0 refinery-0.3.0.0 regex-genex-0.3.1 regex-genex-0.3.2 regex-genex-0.5.0 regex-genex-0.5.1 regex-genex-0.6.0 regex-genex-0.6.2 regex-genex-0.7.0 safe-gen-1.0.0 smallcheck-1.0 smallcheck-1.0.1 smallcheck-1.0.2 smallcheck-1.0.3 smallcheck-1.0.4 smallcheck-1.1 smallcheck-1.1.0.1 smallcheck-1.1.1 smallcheck-1.1.2 smallcheck-1.1.3 smallcheck-1.1.3.1 smallcheck-1.1.4 smallcheck-1.1.5 smallcheck-1.1.6 smallcheck-1.1.7 smallcheck-1.2.0 smallcheck-1.2.1 smallcheck-1.2.1.1 smallcheck-series-0.3 smallcheck-series-0.4 smallcheck-series-0.5 smallcheck-series-0.5.1 smallcheck-series-0.6 smallcheck-series-0.6.1 smallcheck-series-0.6.1.1 smallcheck-series-0.7.0.0 smallcheck-series-0.7.1.0 spectacle-1.0.0 streamt-0.5.0.0 streamt-0.5.0.1 sweet-egison-0.1.0.1 sweet-egison-0.1.0.2 sweet-egison-0.1.0.3 sweet-egison-0.1.1.0 sweet-egison-0.1.1.1 sweet-egison-0.1.1.2 sweet-egison-0.1.1.3 sweet-egison-0.1.2.0 sweet-egison-0.1.2.1 tasty-sugar-0.2.0.0 tasty-sugar-1.0.0.0 tasty-sugar-1.0.1.0 tasty-sugar-1.0.1.1 tasty-sugar-1.1.0.0 tasty-sugar-1.1.1.0 tasty-sugar-1.2.0.0 tasty-sugar-1.3.0.0 tasty-sugar-1.3.0.1 tasty-sugar-1.3.0.2 tasty-sugar-2.0.0.0 tasty-sugar-2.0.0.1 tasty-sugar-2.0.1.0 tasty-sugar-2.1.0.0 tasty-sugar-2.2.0.0 tasty-sugar-2.2.1.0 tasty-sugar-2.2.2.0 tasty-sugar-2.2.2.1 tasty-sugar-2.2.3.1 tasty-sugar-2.2.3.2 tasty-sugar-2.2.3.3 trek-0.0.1.0 trek-lens-0.0.1.0 unification-fd-0.5.0 unification-fd-0.6.0 unification-fd-0.7.0 unification-fd-0.8.0 unification-fd-0.8.1 unification-fd-0.9.0 unification-fd-0.10.0 unification-fd-0.10.0.1 unification-fd-0.11.0 unification-fd-0.11.1 unification-fd-0.11.2 unification-fd-0.11.2.2 unification-fd-0.12.0 unification-fd-0.12.0.1 unification-fd-0.12.0.2 unification-fd-0.12.0.3 util-logict-0.0.0.0
0.7.1.0	acme-everything-2015.4.15.1 astar-monad-0.1.0.0 astar-monad-0.2.0.0 astar-monad-0.2.1.0 astar-monad-0.3.0.0 autoapply-0.1.0.0 autoapply-0.2.0.0 autoapply-0.3 autoapply-0.4 autoapply-0.4.1 autoapply-0.4.1.1 autoapply-0.4.1.3 cflp-2009.1.26 cflp-2009.1.28 cflp-2009.2.1 crux-llvm-0.8 crux-llvm-0.9 crux-llvm-0.9.1 crux-llvm-0.10 crux-llvm-0.11.0.0 crux-llvm-0.12 ds-kanren-0.2.0.0 ds-kanren-0.2.0.1 hmt-0.12 hmt-0.14 hmt-0.15 hmt-0.16 hmt-0.18 hmt-0.20 hnix-0.5.0 hnix-0.5.1 hnix-0.5.2 hnix-0.6.0 hnix-0.7.0 hnix-0.7.1 hnix-0.8.0 hnix-0.9.0 hnix-0.9.1 hnix-0.10.0 hnix-0.10.1 hnix-0.11.0 hnix-0.11.1 hnix-0.12.0 hnix-0.12.0.1 hnix-0.13.0 hnix-0.13.0.1 hnix-0.13.1 hnix-0.14.0 hnix-0.14.0.1 hnix-0.14.0.2 hnix-0.14.0.3 hnix-0.14.0.4 hnix-0.14.0.5 hnix-0.14.0.6 hnix-0.14.0.7 hnix-0.14.0.8 hnix-0.15.0 hnix-0.16.0 hnix-0.17.0 holmes-0.1.0.0 holmes-0.1.0.1 holmes-0.2.0.0 holmes-0.3.0.0 holmes-0.3.0.1 holmes-0.3.2.0 incremental-parser-0.5.1 lambdabot-4.3 lambdabot-4.3.0.1 lambdabot-haskell-plugins-5.0 lambdabot-haskell-plugins-5.0.1 lambdabot-haskell-plugins-5.0.2 lambdabot-haskell-plugins-5.0.2.1 lambdabot-haskell-plugins-5.0.3 lambdabot-haskell-plugins-5.1 lambdabot-haskell-plugins-5.1.0.1 lambdabot-haskell-plugins-5.1.0.2 lambdabot-haskell-plugins-5.1.0.3 lambdabot-haskell-plugins-5.1.0.4 lambdabot-haskell-plugins-5.2 lambdabot-haskell-plugins-5.3 lambdabot-haskell-plugins-5.3.0.2 lambdabot-haskell-plugins-5.3.1 lambdabot-haskell-plugins-5.3.1.1 lambdabot-haskell-plugins-5.3.1.2 list-t-1.0.5 list-t-1.0.5.1 list-t-1.0.5.2 list-t-1.0.5.3 list-t-1.0.5.4 list-t-1.0.5.5 list-t-1.0.5.6 list-t-1.0.5.7 logicst-0.1.0.0 logict-sequence-0.1.0.0 logict-sequence-0.1.0.1 logict-sequence-0.2 logict-sequence-0.2.0.1 logict-sequence-0.2.0.2 logict-state-0.1.0.0 logict-state-0.1.0.1 logict-state-0.1.0.2 logict-state-0.1.0.4 logict-state-0.1.0.5 mad-props-0.1.0.0 mad-props-0.2.0.0 mad-props-0.2.1.0 monad-lgbt-0.0.1 monad-lgbt-0.0.2 overeasy-0.1.0 overeasy-0.1.1 overeasy-0.2.0 pianola-0.1.0 pianola-0.1.1 pipes-files-0.1.3 refinery-0.2.0.0 refinery-0.3.0.0 regex-genex-0.3.1 regex-genex-0.3.2 regex-genex-0.5.0 regex-genex-0.5.1 regex-genex-0.6.0 regex-genex-0.6.2 regex-genex-0.7.0 safe-gen-1.0.0 smallcheck-1.0 smallcheck-1.0.1 smallcheck-1.0.2 smallcheck-1.0.3 smallcheck-1.0.4 smallcheck-1.1 smallcheck-1.1.0.1 smallcheck-1.1.1 smallcheck-1.1.2 smallcheck-1.1.3 smallcheck-1.1.3.1 smallcheck-1.1.4 smallcheck-1.2.1 smallcheck-1.2.1.1 smallcheck-series-0.3 smallcheck-series-0.4 smallcheck-series-0.5 smallcheck-series-0.5.1 smallcheck-series-0.6 smallcheck-series-0.6.1 smallcheck-series-0.6.1.1 smallcheck-series-0.7.0.0 smallcheck-series-0.7.1.0 spectacle-1.0.0 streamt-0.5.0.0 streamt-0.5.0.1 sweet-egison-0.1.0.1 sweet-egison-0.1.0.2 sweet-egison-0.1.0.3 sweet-egison-0.1.1.0 sweet-egison-0.1.1.1 sweet-egison-0.1.1.2 sweet-egison-0.1.1.3 sweet-egison-0.1.2.0 sweet-egison-0.1.2.1 tasty-sugar-0.2.0.0 tasty-sugar-1.0.0.0 tasty-sugar-1.0.1.0 tasty-sugar-1.0.1.1 tasty-sugar-1.1.0.0 tasty-sugar-1.1.1.0 tasty-sugar-1.2.0.0 tasty-sugar-1.3.0.0 tasty-sugar-1.3.0.1 tasty-sugar-1.3.0.2 tasty-sugar-2.0.0.0 tasty-sugar-2.0.0.1 tasty-sugar-2.0.1.0 tasty-sugar-2.1.0.0 tasty-sugar-2.2.0.0 tasty-sugar-2.2.1.0 tasty-sugar-2.2.2.0 tasty-sugar-2.2.2.1 tasty-sugar-2.2.3.1 tasty-sugar-2.2.3.2 tasty-sugar-2.2.3.3 trek-0.0.1.0 trek-lens-0.0.1.0 unification-fd-0.5.0 unification-fd-0.6.0 unification-fd-0.7.0 unification-fd-0.8.0 unification-fd-0.8.1 unification-fd-0.9.0 unification-fd-0.10.0 unification-fd-0.10.0.1 unification-fd-0.11.1 unification-fd-0.11.2 unification-fd-0.11.2.2 unification-fd-0.12.0 unification-fd-0.12.0.1 unification-fd-0.12.0.2 unification-fd-0.12.0.3 util-logict-0.0.0.0
0.8.0.0	acme-everything-2015.4.15.1 astar-monad-0.1.0.0 astar-monad-0.2.0.0 astar-monad-0.2.1.0 astar-monad-0.3.0.0 autoapply-0.1.0.0 autoapply-0.2.0.0 autoapply-0.3 autoapply-0.4 autoapply-0.4.1 autoapply-0.4.1.1 autoapply-0.4.1.3 cflp-2009.1.26 cflp-2009.1.28 cflp-2009.2.1 crux-llvm-0.8 crux-llvm-0.9 crux-llvm-0.9.1 crux-llvm-0.10 crux-llvm-0.11.0.0 crux-llvm-0.12 deriving-trans-0.8.1.0 deriving-trans-0.9.0.0 deriving-trans-0.9.1.0 deriving-trans-0.10.0.0 deriving-trans-0.10.0.1 deriving-trans-0.11.0.0 ds-kanren-0.2.0.0 ds-kanren-0.2.0.1 hmt-0.12 hmt-0.14 hmt-0.15 hmt-0.16 hmt-0.18 hmt-0.20 hnix-0.5.0 hnix-0.5.1 hnix-0.5.2 hnix-0.6.0 hnix-0.17.0 incremental-parser-0.5.1 lambdabot-4.3 lambdabot-4.3.0.1 lambdabot-haskell-plugins-5.0 lambdabot-haskell-plugins-5.0.1 lambdabot-haskell-plugins-5.0.2 lambdabot-haskell-plugins-5.0.2.1 lambdabot-haskell-plugins-5.0.3 lambdabot-haskell-plugins-5.1 lambdabot-haskell-plugins-5.1.0.1 lambdabot-haskell-plugins-5.1.0.2 lambdabot-haskell-plugins-5.1.0.3 lambdabot-haskell-plugins-5.1.0.4 lambdabot-haskell-plugins-5.2 lambdabot-haskell-plugins-5.3 lambdabot-haskell-plugins-5.3.0.2 lambdabot-haskell-plugins-5.3.1 lambdabot-haskell-plugins-5.3.1.1 lambdabot-haskell-plugins-5.3.1.2 list-t-1.0.5.2 list-t-1.0.5.3 list-t-1.0.5.4 list-t-1.0.5.5 list-t-1.0.5.6 list-t-1.0.5.7 logicst-0.1.0.0 logict-sequence-0.1.0.0 logict-sequence-0.1.0.1 logict-state-0.1.0.0 logict-state-0.1.0.1 logict-state-0.1.0.2 logict-state-0.1.0.4 logict-state-0.1.0.5 logict-state-0.1.1.0 mad-props-0.1.0.0 mad-props-0.2.0.0 mad-props-0.2.1.0 monad-lgbt-0.0.1 monad-lgbt-0.0.2 overeasy-0.1.0 overeasy-0.1.1 overeasy-0.2.0 pianola-0.1.0 pianola-0.1.1 pipes-files-0.1.3 refinery-0.2.0.0 refinery-0.3.0.0 regex-genex-0.3.1 regex-genex-0.3.2 regex-genex-0.5.0 regex-genex-0.5.1 regex-genex-0.6.0 regex-genex-0.6.2 regex-genex-0.7.0 safe-gen-1.0.0 smallcheck-1.0 smallcheck-1.0.1 smallcheck-1.0.2 smallcheck-1.0.3 smallcheck-1.0.4 smallcheck-1.1 smallcheck-1.1.0.1 smallcheck-1.1.1 smallcheck-1.1.2 smallcheck-1.1.3 smallcheck-1.1.3.1 smallcheck-1.1.4 smallcheck-1.2.1 smallcheck-1.2.1.1 smallcheck-series-0.3 smallcheck-series-0.4 smallcheck-series-0.5 smallcheck-series-0.5.1 smallcheck-series-0.6 smallcheck-series-0.6.1 smallcheck-series-0.6.1.1 smallcheck-series-0.7.0.0 smallcheck-series-0.7.1.0 spectacle-1.0.0 streamt-0.5.0.1 sweet-egison-0.1.2.0 sweet-egison-0.1.2.1 tasty-sugar-1.2.0.0 tasty-sugar-1.3.0.0 tasty-sugar-1.3.0.1 tasty-sugar-1.3.0.2 tasty-sugar-2.0.0.0 tasty-sugar-2.0.0.1 tasty-sugar-2.0.1.0 tasty-sugar-2.1.0.0 tasty-sugar-2.2.0.0 tasty-sugar-2.2.1.0 tasty-sugar-2.2.2.0 tasty-sugar-2.2.2.1 tasty-sugar-2.2.3.1 tasty-sugar-2.2.3.2 tasty-sugar-2.2.3.3 trek-0.0.1.0 trek-lens-0.0.1.0 unification-fd-0.5.0 unification-fd-0.6.0 unification-fd-0.7.0 unification-fd-0.8.0 unification-fd-0.8.1 unification-fd-0.9.0 unification-fd-0.10.0 unification-fd-0.10.0.1 unification-fd-0.11.2 unification-fd-0.11.2.2 unification-fd-0.12.0 unification-fd-0.12.0.1 unification-fd-0.12.0.2 unification-fd-0.12.0.3
0.8.1.0	acme-everything-2015.4.15.1 astar-monad-0.1.0.0 astar-monad-0.2.0.0 astar-monad-0.2.1.0 astar-monad-0.3.0.0 autoapply-0.1.0.0 autoapply-0.2.0.0 autoapply-0.3 autoapply-0.4 autoapply-0.4.1 autoapply-0.4.1.1 autoapply-0.4.1.3 cflp-2009.1.26 cflp-2009.1.28 cflp-2009.2.1 crux-llvm-0.8 crux-llvm-0.9 crux-llvm-0.9.1 crux-llvm-0.10 crux-llvm-0.11.0.0 crux-llvm-0.12 deriving-trans-0.8.1.0 deriving-trans-0.9.0.0 deriving-trans-0.9.1.0 deriving-trans-0.10.0.0 deriving-trans-0.10.0.1 deriving-trans-0.11.0.0 ds-kanren-0.2.0.0 ds-kanren-0.2.0.1 hmt-0.12 hmt-0.14 hmt-0.15 hmt-0.16 hmt-0.18 hmt-0.20 hnix-0.5.0 hnix-0.5.1 hnix-0.5.2 hnix-0.6.0 hnix-0.17.0 incremental-parser-0.5.1 lambdabot-4.3 lambdabot-4.3.0.1 lambdabot-haskell-plugins-5.0 lambdabot-haskell-plugins-5.0.1 lambdabot-haskell-plugins-5.0.2 lambdabot-haskell-plugins-5.0.2.1 lambdabot-haskell-plugins-5.0.3 lambdabot-haskell-plugins-5.1 lambdabot-haskell-plugins-5.1.0.1 lambdabot-haskell-plugins-5.1.0.2 lambdabot-haskell-plugins-5.1.0.3 lambdabot-haskell-plugins-5.1.0.4 lambdabot-haskell-plugins-5.2 lambdabot-haskell-plugins-5.3 lambdabot-haskell-plugins-5.3.0.2 lambdabot-haskell-plugins-5.3.1 lambdabot-haskell-plugins-5.3.1.1 lambdabot-haskell-plugins-5.3.1.2 list-t-1.0.5.2 list-t-1.0.5.3 list-t-1.0.5.4 list-t-1.0.5.5 list-t-1.0.5.6 list-t-1.0.5.7 logicst-0.1.0.0 logict-sequence-0.1.0.0 logict-sequence-0.1.0.1 logict-state-0.1.0.0 logict-state-0.1.0.1 logict-state-0.1.0.2 logict-state-0.1.0.4 logict-state-0.1.0.5 logict-state-0.1.1.0 mad-props-0.1.0.0 mad-props-0.2.0.0 mad-props-0.2.1.0 monad-lgbt-0.0.1 monad-lgbt-0.0.2 overeasy-0.1.0 overeasy-0.1.1 overeasy-0.2.0 pianola-0.1.0 pianola-0.1.1 pipes-files-0.1.3 refinery-0.2.0.0 refinery-0.3.0.0 regex-genex-0.3.1 regex-genex-0.3.2 regex-genex-0.5.0 regex-genex-0.5.1 regex-genex-0.6.0 regex-genex-0.6.2 regex-genex-0.7.0 safe-gen-1.0.0 smallcheck-1.0 smallcheck-1.0.1 smallcheck-1.0.2 smallcheck-1.0.3 smallcheck-1.0.4 smallcheck-1.1 smallcheck-1.1.0.1 smallcheck-1.1.1 smallcheck-1.1.2 smallcheck-1.1.3 smallcheck-1.1.3.1 smallcheck-1.1.4 smallcheck-1.2.1 smallcheck-1.2.1.1 smallcheck-series-0.3 smallcheck-series-0.4 smallcheck-series-0.5 smallcheck-series-0.5.1 smallcheck-series-0.6 smallcheck-series-0.6.1 smallcheck-series-0.6.1.1 smallcheck-series-0.7.0.0 smallcheck-series-0.7.1.0 spectacle-1.0.0 streamt-0.5.0.1 sweet-egison-0.1.2.0 sweet-egison-0.1.2.1 tasty-sugar-1.2.0.0 tasty-sugar-1.3.0.0 tasty-sugar-1.3.0.1 tasty-sugar-1.3.0.2 tasty-sugar-2.0.0.0 tasty-sugar-2.0.0.1 tasty-sugar-2.0.1.0 tasty-sugar-2.1.0.0 tasty-sugar-2.2.0.0 tasty-sugar-2.2.1.0 tasty-sugar-2.2.2.0 tasty-sugar-2.2.2.1 tasty-sugar-2.2.3.1 tasty-sugar-2.2.3.2 tasty-sugar-2.2.3.3 trek-0.0.1.0 trek-lens-0.0.1.0 unification-fd-0.5.0 unification-fd-0.6.0 unification-fd-0.7.0 unification-fd-0.8.0 unification-fd-0.8.1 unification-fd-0.9.0 unification-fd-0.10.0 unification-fd-0.10.0.1 unification-fd-0.11.2.2 unification-fd-0.12.0 unification-fd-0.12.0.1 unification-fd-0.12.0.2 unification-fd-0.12.0.3
0.8.2.0	acme-everything-2015.4.15.1 astar-monad-0.1.0.0 astar-monad-0.2.0.0 astar-monad-0.2.1.0 astar-monad-0.3.0.0 autoapply-0.1.0.0 autoapply-0.2.0.0 autoapply-0.3 autoapply-0.4 autoapply-0.4.1 autoapply-0.4.1.1 autoapply-0.4.1.3 cflp-2009.1.26 cflp-2009.1.28 cflp-2009.2.1 crux-llvm-0.8 crux-llvm-0.9 crux-llvm-0.9.1 crux-llvm-0.10 crux-llvm-0.11.0.0 crux-llvm-0.12 deriving-trans-0.8.1.0 deriving-trans-0.9.0.0 deriving-trans-0.9.1.0 deriving-trans-0.10.0.0 deriving-trans-0.10.0.1 deriving-trans-0.11.0.0 ds-kanren-0.2.0.0 ds-kanren-0.2.0.1 hmt-0.12 hmt-0.14 hmt-0.15 hmt-0.16 hmt-0.18 hmt-0.20 hnix-0.5.0 hnix-0.5.1 hnix-0.5.2 hnix-0.6.0 hnix-0.17.0 incremental-parser-0.5.1 lambdabot-4.3 lambdabot-4.3.0.1 lambdabot-haskell-plugins-5.0 lambdabot-haskell-plugins-5.0.1 lambdabot-haskell-plugins-5.0.2 lambdabot-haskell-plugins-5.0.2.1 lambdabot-haskell-plugins-5.0.3 lambdabot-haskell-plugins-5.1 lambdabot-haskell-plugins-5.1.0.1 lambdabot-haskell-plugins-5.1.0.2 lambdabot-haskell-plugins-5.1.0.3 lambdabot-haskell-plugins-5.1.0.4 lambdabot-haskell-plugins-5.2 lambdabot-haskell-plugins-5.3 lambdabot-haskell-plugins-5.3.0.2 lambdabot-haskell-plugins-5.3.1 lambdabot-haskell-plugins-5.3.1.1 lambdabot-haskell-plugins-5.3.1.2 list-t-1.0.5.2 list-t-1.0.5.3 list-t-1.0.5.4 list-t-1.0.5.5 list-t-1.0.5.6 list-t-1.0.5.7 logicst-0.1.0.0 logict-sequence-0.1.0.0 logict-sequence-0.1.0.1 logict-state-0.1.0.0 logict-state-0.1.0.1 logict-state-0.1.0.2 logict-state-0.1.0.4 logict-state-0.1.0.5 logict-state-0.1.1.0 mad-props-0.1.0.0 mad-props-0.2.0.0 mad-props-0.2.1.0 monad-lgbt-0.0.1 monad-lgbt-0.0.2 overeasy-0.1.0 overeasy-0.1.1 overeasy-0.2.0 pianola-0.1.0 pianola-0.1.1 pipes-files-0.1.3 refinery-0.2.0.0 refinery-0.3.0.0 regex-genex-0.3.1 regex-genex-0.3.2 regex-genex-0.5.0 regex-genex-0.5.1 regex-genex-0.6.0 regex-genex-0.6.2 regex-genex-0.7.0 safe-gen-1.0.0 smallcheck-1.0 smallcheck-1.0.1 smallcheck-1.0.2 smallcheck-1.0.3 smallcheck-1.0.4 smallcheck-1.1 smallcheck-1.1.0.1 smallcheck-1.1.1 smallcheck-1.1.2 smallcheck-1.1.3 smallcheck-1.1.3.1 smallcheck-1.1.4 smallcheck-1.2.1 smallcheck-1.2.1.1 smallcheck-series-0.3 smallcheck-series-0.4 smallcheck-series-0.5 smallcheck-series-0.5.1 smallcheck-series-0.6 smallcheck-series-0.6.1 smallcheck-series-0.6.1.1 smallcheck-series-0.7.0.0 smallcheck-series-0.7.1.0 spectacle-1.0.0 streamt-0.5.0.1 sweet-egison-0.1.2.0 sweet-egison-0.1.2.1 tasty-sugar-1.2.0.0 tasty-sugar-1.3.0.0 tasty-sugar-1.3.0.1 tasty-sugar-1.3.0.2 tasty-sugar-2.0.0.0 tasty-sugar-2.0.0.1 tasty-sugar-2.0.1.0 tasty-sugar-2.1.0.0 tasty-sugar-2.2.0.0 tasty-sugar-2.2.1.0 tasty-sugar-2.2.2.0 tasty-sugar-2.2.2.1 tasty-sugar-2.2.3.1 tasty-sugar-2.2.3.2 tasty-sugar-2.2.3.3 trek-0.0.1.0 trek-lens-0.0.1.0 unification-fd-0.5.0 unification-fd-0.6.0 unification-fd-0.7.0 unification-fd-0.8.0 unification-fd-0.8.1 unification-fd-0.9.0 unification-fd-0.10.0 unification-fd-0.10.0.1 unification-fd-0.12.0.1 unification-fd-0.12.0.2 unification-fd-0.12.0.3