Descrição
libghc-agda-doc é uma biblioteca compartilhada que fornece funções reutilizáveis, estruturas de dados ou bindings aos quais outros programas se vinculam em tempo de execução. 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.