agda-stdlib-doc - 1.3-2 main

standard library for Agda — documentation

Section: doc
Suites: amber byzantium landing 
Maintainer: Iain Lane <laney@debian.org>
 
Homepage Source Package
 

Installed Size: 34.9 MB
Architectures: all 

 

Versions

1.3-2 all