This page shows all known information about package agda-stdlib-doc.

agda-stdlib-doc - standard library for Agda — documentation

From source: agda-stdlib

debian/control

Section

Architecture

Distribution