1
2
3
4
5
6
7
8
9
10
11
12
13
module VerifyPackageConfig where

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

--- Package location.
packagePath :: String
packagePath = "/tmp/cpm/verify/"

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