module PackageConfig where

--- Package version as a string.
packageVersion :: String
packageVersion = "1.0.0"

--- Package location.
packagePath :: String
packagePath = "/net/medoc/home/cpm/tmpcurrydoc26465/contract-prover/"

--- Load path for the package (if it is the main package).
packageLoadPath :: String
packageLoadPath = "/net/medoc/home/cpm/tmpcurrydoc26465/contract-prover/src:/net/medoc/home/cpm/tmpcurrydoc26465/contract-prover/.cpm/packages/showflatcurry-1.0.0/src:/net/medoc/home/cpm/tmpcurrydoc26465/contract-prover/.cpm/packages/scc-0.0.1/src:/net/medoc/home/cpm/tmpcurrydoc26465/contract-prover/.cpm/packages/abstract-curry-2.0.0/src:/net/medoc/home/cpm/tmpcurrydoc26465/contract-prover/.cpm/packages/rewriting-2.1.0/src:/net/medoc/home/cpm/tmpcurrydoc26465/contract-prover/.cpm/packages/flatcurry-annotated-2.0.0/src:/net/medoc/home/cpm/tmpcurrydoc26465/contract-prover/.cpm/packages/finite-map-0.0.1/src:/net/medoc/home/cpm/tmpcurrydoc26465/contract-prover/.cpm/packages/searchtree-1.0.0/src:/net/medoc/home/cpm/tmpcurrydoc26465/contract-prover/.cpm/packages/setfunctions-0.0.1/src:/net/medoc/home/cpm/tmpcurrydoc26465/contract-prover/.cpm/packages/xml-2.0.0/src:/net/medoc/home/cpm/tmpcurrydoc26465/contract-prover/.cpm/packages/queue-0.0.1/src:/net/medoc/home/cpm/tmpcurrydoc26465/contract-prover/.cpm/packages/wl-pprint-0.0.1/src:/net/medoc/home/cpm/tmpcurrydoc26465/contract-prover/.cpm/packages/random-0.0.1/src:/net/medoc/home/cpm/tmpcurrydoc26465/contract-prover/.cpm/packages/redblacktree-0.0.1/src:/net/medoc/home/cpm/tmpcurrydoc26465/contract-prover/.cpm/packages/frontend-exec-0.0.1/src:/net/medoc/home/cpm/tmpcurrydoc26465/contract-prover/.cpm/packages/propertyfile-0.0.1/src:/net/medoc/home/cpm/tmpcurrydoc26465/contract-prover/.cpm/packages/currypath-0.0.1/src:/net/medoc/home/cpm/tmpcurrydoc26465/contract-prover/.cpm/packages/flatcurry-2.0.0/src:/net/medoc/home/cpm/tmpcurrydoc26465/contract-prover/.cpm/packages/contracts-0.0.1/src"

--- Location of the executable installed by this package.
packageExecutable :: String
packageExecutable = "/net/medoc/home/cpm/.cpm/bin/curry-contracts"