log ZF.agda-pkg @ 736:3c3e3a1291bb

age author description
2020-12-21 Shinji KONO reorganiztion for apkg