#
# Regular cron jobs for the com.github.minizinc.minizincide package
#
0 4	* * *	root	[ -x /usr/bin/com.github.minizinc.minizincide_maintenance ] && /usr/bin/com.github.minizinc.minizincide_maintenance
