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.18 |
2.5.4.2 2.5.4.1 2.5.32 2.5.24 2.5.1.1 2.4.2.52 2.4.0.2 2.3.2.22 2.3.0.12 |
2.6.0.1 2.6.0.r0.g16eb89fb0 2.6.0.1.20191219 |
|
agda-lib-ffi∗
|
1 |
0.0.2 |
|
|
|
agda-stdlib∗
|
5 |
1.2 |
1.13 0.172 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).