agda-stdlib related projects

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.

12 project(s) on this page

Project	Spr	Newest	Outdated	Ignored	Rank
agda-stdlib ∗	4	2.1.1²	2.1 1.7.3³ 1.7.2 1.7.1² 1.3 1.1 0.17 0.14 0.11 0.7		100.00
agda ∗	9	2.8.0	2.7.0.1⁷ 2.6.4.3⁴ 2.6.4.1 2.6.4 2.6.3³ 2.6.2.2³ 2.6.1 2.6.0.1 2.5.4.1 2.5.3² 2.4.2.5 2.3.2.2² 2.3.0.1	2.6.2.98d4eb0 2.5.1.r8151.g4108da695 HEAD	96.99
haskell:agda-executable ∗	2	2.3.0.1²			93.98
standard-library-unclassified ∗	1	2.2	2.1.1 2.0		93.98
agdawithpackages ∗	1	2.7.0.1	2.6.4.3 2.6.4 2.6.3 2.6.2.2		74.95
emacs:agda-input ∗	1	2.6.4.3	2.6.4 2.6.3 2.6.2.2		74.95
emacs:agda-mode ∗	1	2.6.4.3	2.6.4 2.6.3 2.6.2.2		74.95
emacs:agda2-mode ∗	1	2.7.0.1			74.95
emacs:ott-mode ∗	1	0.34	0.33 0.32		74.95
emacs:annotation ∗	2	2.8.0		20250328.1043 20250328.1043 20200914.644	74.16
emacs:eri ∗	2	2.8.0		20250328.1043 20250328.1043 20240220.2129 20200914.644	74.16
ott ∗	5	0.34³	0.33³ 0.32² 0.25	HEAD	61.52

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