name(rtchecks).
version('0.0.1').
title('Run-Time Checking for Ciao and SWI-Prolog').
keywords([assertions,checks,static,dynamic,runtime,analysis]).
author('Edison Mera Menendez', 'http://www.edisonm.com/').
packager('Edison Mera Menendez', 'http://www.edisonm.com/').
maintainer('Edison Mera Menendez', 'http://www.edisonm.com/').
home('https://github.com/edisonm/rtchecks').
download('https://github.com/edisonm/rtchecks.git').
requires(assertions).