diff build_packages.m @ 4585:b4f4fbbfdadd

of-interval: update to 3.1.0 * src/of-interval-1-cross-fixes.patch: update patch * src/of-interval.mk: update version, checksum
author John D
date Thu, 21 Dec 2017 12:50:21 -0500
parents 6b78d8a0e871
children 941a98da1d78
line wrap: on
line diff