0001-gnu-agda-Compile-.agda-files.patchDescription: Text Data
|
| From: | Alex ter Weele |
| Subject: | [bug#32235] [PATCH] Fix Agda compilation, add Agda's emacs mode. |
| Date: | Sat, 21 Jul 2018 11:13:52 -0500 |
| User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux) |
0001-gnu-agda-Compile-.agda-files.patch
Description: Text Data
0002-gnu-Add-emacs-agda2-mode.patch
Description: Text Data
| [Prev in Thread] | Current Thread | [Next in Thread] |