3ae766354620cace3432c1f8da1f9e800429903b
-rw-r--r-- 3109 der_decode_utctime.c
-rw-r--r-- 2161 der_encode_utctime.c
-rw-r--r-- 1183 der_length_utctime.c