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∗
|
10 |
2.6.0.15 |
2.6.0 2.5.4.22 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.12 |
0.173 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).