          MODULE=gringo
         VERSION=4.3.0
          SOURCE=$MODULE-$VERSION-source.tar.gz
      SOURCE_URL=$SFORGE_URL/potassco/$MODULE/$VERSION
SOURCE_DIRECTORY=$BUILD_DIRECTORY/$MODULE-$VERSION-source
      SOURCE_VFY=sha1:dccb55c2c690ebe1f6599a43b6072bfb50eb5e83
        WEB_SITE=http://potassco.sf.net
         ENTERED=20120512
         UPDATED=20140223
           SHORT="grounder for logic programs with first order variables"

cat << EOF
gringo is a grounder for first order answer set programs that
outputs SMODELS format programs (to use with e.g. clasp).
EOF
