GARNAME = aris
GARVERSION = 1.8

MASTER_SITES = $(MASTER_GNU)
MASTER_SUBDIR = aris/

DISTFILES = $(DISTNAME).tar.gz
SIGFILES = $(DISTNAME).tar.gz.sig

# BUILDDEPS = 
# LIBDEPS = 

HOME_URL = http://www.gnu.org/software/aris
DESCRIPTION = A logical proof program

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