2 commits

Author	SHA1	Message	Date
adisbladis	2a79244302	emacs.pkgs.agda-input: Fix syntax error	2021-09-16 17:46:06 -05:00
AndersonTorres	a3c0347b94	emacsPackages.agda-input: extract from manual-packages.nix	2021-09-15 14:27:26 -03:00