module Language.Alloy.RessourceNames (
  alloyJarName,
  className,
  classPackage,
  commonsCliJarName,
  slf4jJarName,
  ) where

alloyJarName :: String
alloyJarName :: String
alloyJarName = String
"org.alloytools.alloy.dist.jar"

commonsCliJarName :: String
commonsCliJarName :: String
commonsCliJarName = String
"commons-cli-1.5.0.jar"

slf4jJarName :: String
slf4jJarName :: String
slf4jJarName = String
"slf4j-simple-1.7.36.jar"

className :: String
className :: String
className = String
"RunAlloy"

classPackage :: String
classPackage :: String
classPackage = String
"alloy"