agda 2.3.2.2-1 / usr / share / doc / agda / changelog.Debian.gz

/usr/share/doc/agda/changelog.Debian.gz is in agda 2.3.2.2-1.

This file is owned by root:root, with mode 0o777.

It is a symlink to /usr/share/doc/agda/../agda-mode/changelog.Debian.gz