/* DO NOT EDIT: This file is automatically generated by Cabal */ /* package liquid-fixpoint-0.6.0.1 */ #define VERSION_liquid_fixpoint "0.6.0.1" #define MIN_VERSION_liquid_fixpoint(major1,major2,minor) (\ (major1) < 0 || \ (major1) == 0 && (major2) < 6 || \ (major1) == 0 && (major2) == 6 && (minor) <= 0) /* package ansi-terminal-0.6.2.3 */ #define VERSION_ansi_terminal "0.6.2.3" #define MIN_VERSION_ansi_terminal(major1,major2,minor) (\ (major1) < 0 || \ (major1) == 0 && (major2) < 6 || \ (major1) == 0 && (major2) == 6 && (minor) <= 2) /* package array-0.5.1.1 */ #define VERSION_array "0.5.1.1" #define MIN_VERSION_array(major1,major2,minor) (\ (major1) < 0 || \ (major1) == 0 && (major2) < 5 || \ (major1) == 0 && (major2) == 5 && (minor) <= 1) /* package ascii-progress-0.3.3.0 */ #define VERSION_ascii_progress "0.3.3.0" #define MIN_VERSION_ascii_progress(major1,major2,minor) (\ (major1) < 0 || \ (major1) == 0 && (major2) < 3 || \ (major1) == 0 && (major2) == 3 && (minor) <= 3) /* package async-2.1.1 */ #define VERSION_async "2.1.1" #define MIN_VERSION_async(major1,major2,minor) (\ (major1) < 2 || \ (major1) == 2 && (major2) < 1 || \ (major1) == 2 && (major2) == 1 && (minor) <= 1) /* package attoparsec-0.13.1.0 */ #define VERSION_attoparsec "0.13.1.0" #define MIN_VERSION_attoparsec(major1,major2,minor) (\ (major1) < 0 || \ (major1) == 0 && (major2) < 13 || \ (major1) == 0 && (major2) == 13 && (minor) <= 1) /* package base-4.9.1.0 */ #define VERSION_base "4.9.1.0" #define MIN_VERSION_base(major1,major2,minor) (\ (major1) < 4 || \ (major1) == 4 && (major2) < 9 || \ (major1) == 4 && (major2) == 9 && (minor) <= 1) /* package bifunctors-5.4.1 */ #define VERSION_bifunctors "5.4.1" #define MIN_VERSION_bifunctors(major1,major2,minor) (\ (major1) < 5 || \ (major1) == 5 && (major2) < 4 || \ (major1) == 5 && (major2) == 4 && (minor) <= 1) /* package binary-0.8.3.0 */ #define VERSION_binary "0.8.3.0" #define MIN_VERSION_binary(major1,major2,minor) (\ (major1) < 0 || \ (major1) == 0 && (major2) < 8 || \ (major1) == 0 && (major2) == 8 && (minor) <= 3) /* package boxes-0.1.4 */ #define VERSION_boxes "0.1.4" #define MIN_VERSION_boxes(major1,major2,minor) (\ (major1) < 0 || \ (major1) == 0 && (major2) < 1 || \ (major1) == 0 && (major2) == 1 && (minor) <= 4) /* package bytestring-0.10.8.1 */ #define VERSION_bytestring "0.10.8.1" #define MIN_VERSION_bytestring(major1,major2,minor) (\ (major1) < 0 || \ (major1) == 0 && (major2) < 10 || \ (major1) == 0 && (major2) == 10 && (minor) <= 8) /* package cereal-0.5.4.0 */ #define VERSION_cereal "0.5.4.0" #define MIN_VERSION_cereal(major1,major2,minor) (\ (major1) < 0 || \ (major1) == 0 && (major2) < 5 || \ (major1) == 0 && (major2) == 5 && (minor) <= 4) /* package cmdargs-0.10.17 */ #define VERSION_cmdargs "0.10.17" #define MIN_VERSION_cmdargs(major1,major2,minor) (\ (major1) < 0 || \ (major1) == 0 && (major2) < 10 || \ (major1) == 0 && (major2) == 10 && (minor) <= 17) /* package containers-0.5.7.1 */ #define VERSION_containers "0.5.7.1" #define MIN_VERSION_containers(major1,major2,minor) (\ (major1) < 0 || \ (major1) == 0 && (major2) < 5 || \ (major1) == 0 && (major2) == 5 && (minor) <= 7) /* package deepseq-1.4.2.0 */ #define VERSION_deepseq "1.4.2.0" #define MIN_VERSION_deepseq(major1,major2,minor) (\ (major1) < 1 || \ (major1) == 1 && (major2) < 4 || \ (major1) == 1 && (major2) == 4 && (minor) <= 2) /* package directory-1.3.0.0 */ #define VERSION_directory "1.3.0.0" #define MIN_VERSION_directory(major1,major2,minor) (\ (major1) < 1 || \ (major1) == 1 && (major2) < 3 || \ (major1) == 1 && (major2) == 3 && (minor) <= 0) /* package dotgen-0.4.2 */ #define VERSION_dotgen "0.4.2" #define MIN_VERSION_dotgen(major1,major2,minor) (\ (major1) < 0 || \ (major1) == 0 && (major2) < 4 || \ (major1) == 0 && (major2) == 4 && (minor) <= 2) /* package fgl-5.5.3.1 */ #define VERSION_fgl "5.5.3.1" #define MIN_VERSION_fgl(major1,major2,minor) (\ (major1) < 5 || \ (major1) == 5 && (major2) < 5 || \ (major1) == 5 && (major2) == 5 && (minor) <= 3) /* package fgl-visualize-0.1.0.1 */ #define VERSION_fgl_visualize "0.1.0.1" #define MIN_VERSION_fgl_visualize(major1,major2,minor) (\ (major1) < 0 || \ (major1) == 0 && (major2) < 1 || \ (major1) == 0 && (major2) == 1 && (minor) <= 0) /* package filemanip-0.3.6.3 */ #define VERSION_filemanip "0.3.6.3" #define MIN_VERSION_filemanip(major1,major2,minor) (\ (major1) < 0 || \ (major1) == 0 && (major2) < 3 || \ (major1) == 0 && (major2) == 3 && (minor) <= 6) /* package filepath-1.4.1.1 */ #define VERSION_filepath "1.4.1.1" #define MIN_VERSION_filepath(major1,major2,minor) (\ (major1) < 1 || \ (major1) == 1 && (major2) < 4 || \ (major1) == 1 && (major2) == 4 && (minor) <= 1) /* package ghc-prim-0.5.0.0 */ #define VERSION_ghc_prim "0.5.0.0" #define MIN_VERSION_ghc_prim(major1,major2,minor) (\ (major1) < 0 || \ (major1) == 0 && (major2) < 5 || \ (major1) == 0 && (major2) == 5 && (minor) <= 0) /* package hashable-1.2.6.0 */ #define VERSION_hashable "1.2.6.0" #define MIN_VERSION_hashable(major1,major2,minor) (\ (major1) < 1 || \ (major1) == 1 && (major2) < 2 || \ (major1) == 1 && (major2) == 2 && (minor) <= 6) /* package intern-0.9.1.4 */ #define VERSION_intern "0.9.1.4" #define MIN_VERSION_intern(major1,major2,minor) (\ (major1) < 0 || \ (major1) == 0 && (major2) < 9 || \ (major1) == 0 && (major2) == 9 && (minor) <= 1) /* package liquiddialog-0.1.0.0 */ #define VERSION_liquiddialog "0.1.0.0" #define MIN_VERSION_liquiddialog(major1,major2,minor) (\ (major1) < 0 || \ (major1) == 0 && (major2) < 1 || \ (major1) == 0 && (major2) == 1 && (minor) <= 0) /* package located-base-0.1.1.0 */ #define VERSION_located_base "0.1.1.0" #define MIN_VERSION_located_base(major1,major2,minor) (\ (major1) < 0 || \ (major1) == 0 && (major2) < 1 || \ (major1) == 0 && (major2) == 1 && (minor) <= 1) /* package mtl-2.2.1 */ #define VERSION_mtl "2.2.1" #define MIN_VERSION_mtl(major1,major2,minor) (\ (major1) < 2 || \ (major1) == 2 && (major2) < 2 || \ (major1) == 2 && (major2) == 2 && (minor) <= 1) /* package parallel-3.2.1.1 */ #define VERSION_parallel "3.2.1.1" #define MIN_VERSION_parallel(major1,major2,minor) (\ (major1) < 3 || \ (major1) == 3 && (major2) < 2 || \ (major1) == 3 && (major2) == 2 && (minor) <= 1) /* package parallel-io-0.3.3 */ #define VERSION_parallel_io "0.3.3" #define MIN_VERSION_parallel_io(major1,major2,minor) (\ (major1) < 0 || \ (major1) == 0 && (major2) < 3 || \ (major1) == 0 && (major2) == 3 && (minor) <= 3) /* package parsec-3.1.11 */ #define VERSION_parsec "3.1.11" #define MIN_VERSION_parsec(major1,major2,minor) (\ (major1) < 3 || \ (major1) == 3 && (major2) < 1 || \ (major1) == 3 && (major2) == 1 && (minor) <= 11) /* package pretty-1.1.3.3 */ #define VERSION_pretty "1.1.3.3" #define MIN_VERSION_pretty(major1,major2,minor) (\ (major1) < 1 || \ (major1) == 1 && (major2) < 1 || \ (major1) == 1 && (major2) == 1 && (minor) <= 3) /* package process-1.4.3.0 */ #define VERSION_process "1.4.3.0" #define MIN_VERSION_process(major1,major2,minor) (\ (major1) < 1 || \ (major1) == 1 && (major2) < 4 || \ (major1) == 1 && (major2) == 4 && (minor) <= 3) /* package syb-0.6 */ #define VERSION_syb "0.6" #define MIN_VERSION_syb(major1,major2,minor) (\ (major1) < 0 || \ (major1) == 0 && (major2) < 6 || \ (major1) == 0 && (major2) == 6 && (minor) <= 0) /* package text-1.2.2.1 */ #define VERSION_text "1.2.2.1" #define MIN_VERSION_text(major1,major2,minor) (\ (major1) < 1 || \ (major1) == 1 && (major2) < 2 || \ (major1) == 1 && (major2) == 2 && (minor) <= 2) /* package text-format-0.3.1.1 */ #define VERSION_text_format "0.3.1.1" #define MIN_VERSION_text_format(major1,major2,minor) (\ (major1) < 0 || \ (major1) == 0 && (major2) < 3 || \ (major1) == 0 && (major2) == 3 && (minor) <= 1) /* package time-1.6.0.1 */ #define VERSION_time "1.6.0.1" #define MIN_VERSION_time(major1,major2,minor) (\ (major1) < 1 || \ (major1) == 1 && (major2) < 6 || \ (major1) == 1 && (major2) == 6 && (minor) <= 0) /* package transformers-0.5.2.0 */ #define VERSION_transformers "0.5.2.0" #define MIN_VERSION_transformers(major1,major2,minor) (\ (major1) < 0 || \ (major1) == 0 && (major2) < 5 || \ (major1) == 0 && (major2) == 5 && (minor) <= 2) /* package unordered-containers-0.2.8.0 */ #define VERSION_unordered_containers "0.2.8.0" #define MIN_VERSION_unordered_containers(major1,major2,minor) (\ (major1) < 0 || \ (major1) == 0 && (major2) < 2 || \ (major1) == 0 && (major2) == 2 && (minor) <= 8) /* package tasty-0.11.2 */ #define VERSION_tasty "0.11.2" #define MIN_VERSION_tasty(major1,major2,minor) (\ (major1) < 0 || \ (major1) == 0 && (major2) < 11 || \ (major1) == 0 && (major2) == 11 && (minor) <= 2) /* package tasty-hunit-0.9.2 */ #define VERSION_tasty_hunit "0.9.2" #define MIN_VERSION_tasty_hunit(major1,major2,minor) (\ (major1) < 0 || \ (major1) == 0 && (major2) < 9 || \ (major1) == 0 && (major2) == 9 && (minor) <= 2) /* package tasty-rerun-1.1.6 */ #define VERSION_tasty_rerun "1.1.6" #define MIN_VERSION_tasty_rerun(major1,major2,minor) (\ (major1) < 1 || \ (major1) == 1 && (major2) < 1 || \ (major1) == 1 && (major2) == 1 && (minor) <= 6) /* tool cpphs-1.20.1 */ #define TOOL_VERSION_cpphs "1.20.1" #define MIN_TOOL_VERSION_cpphs(major1,major2,minor) (\ (major1) < 1 || \ (major1) == 1 && (major2) < 20 || \ (major1) == 1 && (major2) == 20 && (minor) <= 1) /* tool gcc-4.2.1 */ #define TOOL_VERSION_gcc "4.2.1" #define MIN_TOOL_VERSION_gcc(major1,major2,minor) (\ (major1) < 4 || \ (major1) == 4 && (major2) < 2 || \ (major1) == 4 && (major2) == 2 && (minor) <= 1) /* tool ghc-8.0.2 */ #define TOOL_VERSION_ghc "8.0.2" #define MIN_TOOL_VERSION_ghc(major1,major2,minor) (\ (major1) < 8 || \ (major1) == 8 && (major2) < 0 || \ (major1) == 8 && (major2) == 0 && (minor) <= 2) /* tool ghc-pkg-8.0.2 */ #define TOOL_VERSION_ghc_pkg "8.0.2" #define MIN_TOOL_VERSION_ghc_pkg(major1,major2,minor) (\ (major1) < 8 || \ (major1) == 8 && (major2) < 0 || \ (major1) == 8 && (major2) == 0 && (minor) <= 2) /* tool haddock-2.17.3 */ #define TOOL_VERSION_haddock "2.17.3" #define MIN_TOOL_VERSION_haddock(major1,major2,minor) (\ (major1) < 2 || \ (major1) == 2 && (major2) < 17 || \ (major1) == 2 && (major2) == 17 && (minor) <= 3) /* tool hpc-0.67 */ #define TOOL_VERSION_hpc "0.67" #define MIN_TOOL_VERSION_hpc(major1,major2,minor) (\ (major1) < 0 || \ (major1) == 0 && (major2) < 67 || \ (major1) == 0 && (major2) == 67 && (minor) <= 0) /* tool hsc2hs-0.68.1 */ #define TOOL_VERSION_hsc2hs "0.68.1" #define MIN_TOOL_VERSION_hsc2hs(major1,major2,minor) (\ (major1) < 0 || \ (major1) == 0 && (major2) < 68 || \ (major1) == 0 && (major2) == 68 && (minor) <= 1) /* tool hscolour-1.24 */ #define TOOL_VERSION_hscolour "1.24" #define MIN_TOOL_VERSION_hscolour(major1,major2,minor) (\ (major1) < 1 || \ (major1) == 1 && (major2) < 24 || \ (major1) == 1 && (major2) == 24 && (minor) <= 0) #define CURRENT_COMPONENT_ID "liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi" #define CURRENT_PACKAGE_KEY "liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi"