Descrição
agda-stdlib-doc fornece documentação (manuais, referências de API, exemplos ou páginas HTML) do software relacionado, instalada em /usr/share/doc para consulta offline. Distribuído através de debian. Upstream em https://wiki.portal.chalmers.se/agda/. Esta entrada do catálogo linux-meta facilita a descoberta deste componente entre as distribuições suportadas.