Agda: preferred and deprecated versions

Preferred and deprecated versions can be used to influence Cabal's decisions about which versions of Agda to install. If a range of versions is preferred, it means that the installer won't install a non-preferred package version unless it is explicitly specified or if it's the only choice the installer has. Deprecating a version adds a range which excludes just that version. All of this information is collected in the preferred-versions file that's included in the index tarball. [maintainers: edit]

If all the available versions of a package are non-preferred or deprecated, cabal-install will treat this the same as if none of them are. This feature doesn't affect whether or not to install a package, only for selecting versions after a given package has decided to be installed. Entire-package deprecation is also available, but it's separate from preferred versions.

Stored information

Agda has no preferred version ranges.

Explicitly deprecated versions for Agda include: 2.5.1, 2.5.1.1, 2.5.4, 2.5.4.1, 2.6.0, 2.6.1, 2.6.1.1, 2.6.1.2, 2.6.4.2

The version range given to this package, therefore, is <2.5.1 || >2.5.1 && <2.5.1.1 || >2.5.1.1 && <2.5.4 || >2.5.4 && <2.5.4.1 || >2.5.4.1 && <2.6.0 || >2.6.0 && <2.6.1 || >2.6.1 && <2.6.1.1 || >2.6.1.1 && <2.6.1.2 || >2.6.1.2 && <2.6.4.2 || >2.6.4.2

Versions affected

Green versions are normal versions. Yellow are those out of any preferred version ranges. Red are deprecated.

2.2.0, 2.2.2, 2.2.4, 2.2.6, 2.2.8, 2.2.10, 2.3.0, 2.3.0.1, 2.3.2, 2.3.2.1, 2.3.2.2, 2.4.0, 2.4.0.1, 2.4.0.2, 2.4.2, 2.4.2.1, 2.4.2.2, 2.4.2.3, 2.4.2.4, 2.4.2.5, 2.5.1, 2.5.1.1, 2.5.1.2, 2.5.2, 2.5.3, 2.5.4, 2.5.4.1, 2.5.4.2, 2.6.0, 2.6.0.1, 2.6.1, 2.6.1.1, 2.6.1.2, 2.6.1.3, 2.6.2, 2.6.2.1, 2.6.2.2, 2.6.3, 2.6.4, 2.6.4.1, 2.6.4.2, 2.6.4.3