agda-stdlib related projects

You are connected to Repology using legacy IPv4 protocol. Due to IPv4 address exhaustion it may become too expensive or impossible for Repology to support IPv4 in the nearest future. Time to switch to IPv6!

Versions Packages Information History Related Badges Report

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.2²	1.7.1² 1.7² 1.4 1.3² 1.1² 0.17² 0.15 0.14 0.13 0.11 0.7		100.0
agda ∗	10	2.6.3⁷	2.6.2.2⁵ 2.6.2.1 2.6.2³ 2.6.1.2 2.6.1² 2.6.0.1² 2.5.4.2 2.5.4.1 2.5.3² 2.5.2² 2.4.2.5 2.3.2.2² 2.3.0.1	2.6.2.98d4eb0 2.5.1.r8151.g4108da695	98.75
haskell:agda-executable ∗	2	2.3.0.1²			93.98
agdawithpackages ∗	1	2.6.3	2.6.2.2 2.6.2		80.18
emacs:agda-input ∗	1	2.6.3	2.6.2.2 2.6.2		80.18
emacs:agda-mode ∗	1	2.6.3	2.6.2.2 2.6.2		80.18
emacs:ott-mode ∗	1	0.33	0.32 0.31		80.18
emacs:annotation ∗	2	2.6.3		20200914.644 20200914.644	77.17
emacs:eri ∗	2	2.6.3		20200914.644 20200914.644	77.17

Legend:

Spread means how many repository families (e.g. all Debian versions as well as Ubuntu and other derivatives make 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 the 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.

Related for agda-stdlib