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 |
|
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 |
100.0 |
|
agda-lib-ffi∗
|
1 |
0.0.2 |
|
|
98.24 |
|
agda∗
|
11 |
2.6.2.22 |
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 |
92.22 |
|
haskell:agda-executable∗
|
2 |
2.3.0.1 |
|
2.3.0.1 |
92.22 |
|
emacs:agda-input∗
|
1 |
2.6.2.2 |
2.6.2 |
|
74.23 |
|
emacs:agda-mode∗
|
1 |
2.6.2.2 |
2.6.2 |
|
74.23 |
|
emacs:ott-mode∗
|
1 |
0.32 |
0.31 |
|
74.23 |
|
emacs:annotation∗
|
2 |
2.6.2.2 |
|
20200914.644 20200914.644 |
69.97 |
|
emacs:eri∗
|
2 |
2.6.2.2 |
|
20200914.644 20200914.644 |
69.97 |
Legend:
- Spread means how many repository families (e.g. all Debian versions are a single family) contain this package.
- newest#repos - newest known version. The number shows how many repository families have this version.
- devel - newest known devel (or unstable) version. There may be both devel and newest versions for a given package.
- unique - package is only present in a single repository family, there are no other sources to compare it against, so although it's latest version known to repology, is not really reliable.
- outdated - outdated version which requires updating.
- legacy - outdated version when a newer version is present. This is assumed to be legacy version preserved for e.g. compatibility.
- rolling - package is fetched from always latest snapshot or VCS master/trunk, so it is always latest and is not a subject for comparison.
- noscheme - the project does not have official versioning scheme, so versions used in repositories which are basically random.
- incorrect - version is known to be incorrect (e.g. version not officially released yet, or lacking alpha/beta/rc qualifier).
- untrusted - this source is known to likely supply incorrect versions, so is ignored proactively.
- ignored - version is ignored and excluded from comparison for some other reason (e.g. snapshots).
- vulnerable▲ - version is potentially vulnerable as there are related CVEs.