math/minisat/distinfo:	$NetBSD: distinfo,v 1.6 2021/10/26 10:55:49 nia Exp $
math/minisat/Makefile:	$NetBSD: Makefile,v 1.5 2018/07/18 00:06:21 joerg Exp $
math/minisat/patches/patch-core_SolverTypes.h:	$NetBSD: patch-core_SolverTypes.h,v 1.1 2013/11/08 21:15:02 joerg Exp $
math/minisat/patches/patch-utils_System.cc:	$NetBSD: patch-utils_System.cc,v 1.2 2014/01/09 14:38:33 jperkin Exp $
math/minisat/PLIST:	$NetBSD: PLIST,v 1.1.1.1 2013/10/28 04:15:11 asau Exp $
