NAME = GNU Aris
GARNAME = aris
GARVERSION = 2.0
HOME_URL = http://www.gnu.org/software/aris/
DESCRIPTION = A logical proof program

######################################################################

MASTER_SITES = $(MASTER_GNU)
MASTER_SUBDIR = aris/
DISTFILES = $(DISTNAME).tar.gz
SIGFILES = $(DISTNAME).tar.gz.sig

BUILDDEPS = 
LIBDEPS = 

######################################################################

include ../../gar.lib/auto.mk
include config.mk
