elpa-graphviz-dot-mode <-> elpa-agda2-mode

Version of elpa-graphviz-dot-mode: 0.4.2+git20230325.8ff793b-2

Architecture of elpa-graphviz-dot-mode: all

Version of elpa-agda2-mode: 2.6.4.3-1

Architecture of elpa-agda2-mode: all

elpa-graphviz-dot-modeelpa-agda2-mode
sizefilenamehash functionsfilename
2 B./usr/lib/emacsen-common/packages/compat/elpa-graphviz-dot-mode sha512./usr/lib/emacsen-common/packages/compat/elpa-agda2-mode

Details about this service