Debian Patches

Status for agda/2.6.1-1

Patch Description Author Forwarded Bugs Origin Last update
var-lib-agda See https://github.com/agda/agda/issues/2804

===================================================================		 no

All known versions for source package 'agda'

Links