Changelog for agda2lagda-0.2025.9.5

Revision history for agda2lagda

0.2025.9.5

0.2023.6.9

West Pride revision.

0.2023.3.25

0.2023.1.12

0.2021.6.1

0.2020.11.1