Versions Packages Information History Related Badges Report

Related for emacs:eri

Related projects are determined by recursively matching package homepage URLs. Note that this list may be incomplete as Repology may not be able to get homepage URLs from some repositories.

9 project(s) on this page

Project Spr Newest Outdated Ignored Rank
emacs:eri 2 2.6.2.2 20200914.644 20200914.644 100.0
agda 11 2.6.2.23 2.6.2.12 2.6.24 2.6.1.22 2.6.12 2.6.0.12 2.5.4.2 2.5.4.1 2.5.32 2.5.23 2.5.1.1 2.4.2.52 2.4.0.2 2.3.2.22 2.3.0.12 2.6.2.98d4eb0 2.6.2.2 2.6.2 2.6.1.3 2.5.1.r8151.g4108da695 96.99
emacs:annotation 2 2.6.2.2 20200914.644 20200914.644 96.99
agda-lib-ffi 1 0.0.2 82.68
agda-stdlib 4 1.7.12 1.72 1.4 1.32 1.12 0.172 0.15 0.14 0.13 0.12 0.11 0.8 0.7 0.6 2.6.1.2.1.4 2.5.2.0.13 2.4.2.5 82.68
haskell:agda-executable 2 2.3.0.1 2.3.0.1 82.68
emacs:agda-input 1 2.6.2.2 2.6.2 80.25
emacs:agda-mode 1 2.6.2.2 2.6.2 80.25
emacs:ott-mode 1 0.32 0.31 80.25

Legend: