log Galois.agda-pkg @ 280:523adaf1dcec

age author description
Sat, 09 Jan 2021 10:18:08 +0900 Shinji KONO library