Debian Patches

Status for agda/2.6.4.3-1

Search:

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

Showing 1 to 1 of 1 entry