newtype for CPUTime in Agda.Utils.Time
MIN_VERSION macros expect only three arguments when doing make tags
Merge branch 'maint-2.4.2'