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.
4 project(s) on this page
| Project |
Spr |
Newest |
Outdated |
Ignored |
|
agda∗
|
11 |
2.6.0.12 |
2.6.02 2.5.99.20190207 2.5.4.24 2.5.4.12 2.5.4 2.5.33 2.5.25 2.5.1.2 2.5.1.12 2.5.1 2.4.2.53 2.4.2.4 2.4.2.3 2.4.2.2 2.4.2.1 2.4.2 2.4.0.22 2.4.0.1 2.4.0 2.3.2.23 2.3.2.1 2.3.2 2.3.0.12 2.3.0 2.2.10 2.2.8 2.2.6 2.2.4 2.2.2 2.2.0 2.1.2 2.1.0 2.0.1 2.0.0 |
2.6.0.1 2.6.0.r0.g16eb89fb0 2.5.4.2 |
|
agda-lib-ffi∗
|
1 |
0.0.2 |
|
|
|
agda-stdlib∗
|
5 |
1.0 |
0.174 0.15 0.14 0.132 0.12 0.11 0.8 0.7 0.6 |
2.5.2.0.13 2.4.2.5 |
|
haskell:agda-executable∗
|
2 |
2.3.0.1 |
|
2.3.0.1 |
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).