Package: agda / 2.5.1.1-3

Metadata

Package Version Patches format
agda 2.5.1.1-3 3.0 (quilt)

Patch series

view the series file
Patch File delta Description
add elpa pkg el file.patch | (download)

src/data/emacs-mode/agda2-mode-pkg.el | 2 2 + 0 - 0 !
1 file changed, 2 insertions(+)

 add elpa metadata file
newer edison api | (download)

Agda.cabal | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

---