Debian Patches

Status for agda/2.6.2.2-1.1

Search:

Patch	Description	Author	Forwarded	Bugs	Origin	Last update
agda-mode-deps	remove internal agda-mode dependencies agda-mode provides annotation.el and eri.el, which therefore cannot be external dependencies, but are declared so nonetheless .	Marcel Fourné <debian@marcelfourne.de>	no	debian	other	2022-12-06
var-lib-agda	See https://github.com/agda/agda/issues/2804 ===================================================================		no

Showing 1 to 2 of 2 entries