# $OpenBSD: Makefile.inc,v 1.4 2013/03/11 12:27:54 sthen Exp $ CATEGORIES ?= math HOMEPAGE ?= http://www.cs.unm.edu/%7Emccune/prover9/ # GPLv2 PERMIT_PACKAGE_CDROM= Yes MODULES?= lang/python
