Versions Packages Information History Related Badges Report

Badges for agda

Vertical badge

This badge shows versions and up to date status of this project in all known repositories.

Packaging status

Markdown code:

[![Packaging status](https://repology.org/badge/vertical-allrepos/agda.svg)](https://repology.org/project/agda/versions)

HTML code:

<a href="https://repology.org/project/agda/versions">
    <img src="https://repology.org/badge/vertical-allrepos/agda.svg" alt="Packaging status">
</a>

HTML code for right-aligned badge (most useful for README.md as it allows other content to flow around it not leading to space waste):

<a href="https://repology.org/project/agda/versions">
    <img src="https://repology.org/badge/vertical-allrepos/agda.svg" alt="Packaging status" align="right">
</a>

May be tweaked with header, minversion, and allow_ignored parameters (see below).

Additionally, it's possible to specify number of columns with columns=<N> parameter.

Tiny badge with number of repositories

This shows total number of repository families featuring this package. Repository family is an aggregation of related repositories, e.g. Debian Stable, Testing, Unstable and Experimental all belong to a single family and are thus only counted once.

Packaging status

Markdown code:

[![Packaging status](https://repology.org/badge/tiny-repos/agda.svg)](https://repology.org/project/agda/versions)

HTML code:

<a href="https://repology.org/project/agda/versions">
    <img src="https://repology.org/badge/tiny-repos/agda.svg" alt="Packaging status">
</a>

May be tweaked with header parameter (see below).

Tiny badge with latest packaged version(s)

This shows latest version(s) known to repology. There may be multiple versions, for example devel and newest, or multiple variations of the same version encountered in some repositories (e.g.1.0.0 and 1.0). These badges also support minversion= parameter.

latest packaged version(s)

Markdown code:

[![latest packaged version(s)](https://repology.org/badge/latest-versions/agda.svg)](https://repology.org/project/agda/versions)

HTML code:

<a href="https://repology.org/project/agda/versions">
    <img src="https://repology.org/badge/latest-versions/agda.svg" alt="latest packaged version(s)">
</a>

May be tweaked with header parameter (see below).

Tiny per-repository badges with version

These show version in specific repository. Pick as many as you want! You may add ?header= to the URL to leave only the version.

SampleMarkdown codeHTML code
Arch package [![Arch package](https://repology.org/badge/version-for-repo/arch/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/arch/agda.svg" alt="Arch package">
</a>
AUR package [![AUR package](https://repology.org/badge/version-for-repo/aur/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/aur/agda.svg" alt="AUR package">
</a>
Debian Oldstable package [![Debian Oldstable package](https://repology.org/badge/version-for-repo/debian_oldstable/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/debian_oldstable/agda.svg" alt="Debian Oldstable package">
</a>
Debian Stable package [![Debian Stable package](https://repology.org/badge/version-for-repo/debian_stable/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/debian_stable/agda.svg" alt="Debian Stable package">
</a>
Debian Testing package [![Debian Testing package](https://repology.org/badge/version-for-repo/debian_testing/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/debian_testing/agda.svg" alt="Debian Testing package">
</a>
Debian Unstable package [![Debian Unstable package](https://repology.org/badge/version-for-repo/debian_unstable/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/debian_unstable/agda.svg" alt="Debian Unstable package">
</a>
Deepin package [![Deepin package](https://repology.org/badge/version-for-repo/deepin_unstable/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/deepin_unstable/agda.svg" alt="Deepin package">
</a>
Devuan 1.0 (Jessie) package [![Devuan 1.0 (Jessie) package](https://repology.org/badge/version-for-repo/devuan_1_0/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/devuan_1_0/agda.svg" alt="Devuan 1.0 (Jessie) package">
</a>
Devuan 2.0 (ASCII) package [![Devuan 2.0 (ASCII) package](https://repology.org/badge/version-for-repo/devuan_2_0/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/devuan_2_0/agda.svg" alt="Devuan 2.0 (ASCII) package">
</a>
Devuan 3.0 (Beowulf) package [![Devuan 3.0 (Beowulf) package](https://repology.org/badge/version-for-repo/devuan_3_0/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/devuan_3_0/agda.svg" alt="Devuan 3.0 (Beowulf) package">
</a>
Devuan 4.0 (Chimaera) package [![Devuan 4.0 (Chimaera) package](https://repology.org/badge/version-for-repo/devuan_4_0/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/devuan_4_0/agda.svg" alt="Devuan 4.0 (Chimaera) package">
</a>
Devuan Unstable package [![Devuan Unstable package](https://repology.org/badge/version-for-repo/devuan_unstable/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/devuan_unstable/agda.svg" alt="Devuan Unstable package">
</a>
DPorts package [![DPorts package](https://repology.org/badge/version-for-repo/dports/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/dports/agda.svg" alt="DPorts package">
</a>
EPEL 6 package [![EPEL 6 package](https://repology.org/badge/version-for-repo/epel_6/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/epel_6/agda.svg" alt="EPEL 6 package">
</a>
EPEL 7 package [![EPEL 7 package](https://repology.org/badge/version-for-repo/epel_7/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/epel_7/agda.svg" alt="EPEL 7 package">
</a>
Fedora 26 package [![Fedora 26 package](https://repology.org/badge/version-for-repo/fedora_26/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/fedora_26/agda.svg" alt="Fedora 26 package">
</a>
Fedora 27 package [![Fedora 27 package](https://repology.org/badge/version-for-repo/fedora_27/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/fedora_27/agda.svg" alt="Fedora 27 package">
</a>
Fedora 28 package [![Fedora 28 package](https://repology.org/badge/version-for-repo/fedora_28/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/fedora_28/agda.svg" alt="Fedora 28 package">
</a>
Fedora 29 package [![Fedora 29 package](https://repology.org/badge/version-for-repo/fedora_29/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/fedora_29/agda.svg" alt="Fedora 29 package">
</a>
Fedora 30 package [![Fedora 30 package](https://repology.org/badge/version-for-repo/fedora_30/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/fedora_30/agda.svg" alt="Fedora 30 package">
</a>
Fedora 31 package [![Fedora 31 package](https://repology.org/badge/version-for-repo/fedora_31/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/fedora_31/agda.svg" alt="Fedora 31 package">
</a>
Fedora 32 package [![Fedora 32 package](https://repology.org/badge/version-for-repo/fedora_32/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/fedora_32/agda.svg" alt="Fedora 32 package">
</a>
Fedora 33 package [![Fedora 33 package](https://repology.org/badge/version-for-repo/fedora_33/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/fedora_33/agda.svg" alt="Fedora 33 package">
</a>
Fedora Rawhide package [![Fedora Rawhide package](https://repology.org/badge/version-for-repo/fedora_rawhide/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/fedora_rawhide/agda.svg" alt="Fedora Rawhide package">
</a>
FreeBSD port [![FreeBSD port](https://repology.org/badge/version-for-repo/freebsd/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/freebsd/agda.svg" alt="FreeBSD port">
</a>
Funtoo 1.4 package [![Funtoo 1.4 package](https://repology.org/badge/version-for-repo/funtoo_1.4/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/funtoo_1.4/agda.svg" alt="Funtoo 1.4 package">
</a>
Gentoo package [![Gentoo package](https://repology.org/badge/version-for-repo/gentoo/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/gentoo/agda.svg" alt="Gentoo package">
</a>
GNU Guix package [![GNU Guix package](https://repology.org/badge/version-for-repo/gnuguix/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/gnuguix/agda.svg" alt="GNU Guix package">
</a>
Hackage package [![Hackage package](https://repology.org/badge/version-for-repo/hackage/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/hackage/agda.svg" alt="Hackage package">
</a>
Homebrew package [![Homebrew package](https://repology.org/badge/version-for-repo/homebrew/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/homebrew/agda.svg" alt="Homebrew package">
</a>
Hyperbola package [![Hyperbola package](https://repology.org/badge/version-for-repo/hyperbola/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/hyperbola/agda.svg" alt="Hyperbola package">
</a>
Kali Linux Rolling package [![Kali Linux Rolling package](https://repology.org/badge/version-for-repo/kali_rolling/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/kali_rolling/agda.svg" alt="Kali Linux Rolling package">
</a>
LiGurOS stable package [![LiGurOS stable package](https://repology.org/badge/version-for-repo/liguros_stable/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/liguros_stable/agda.svg" alt="LiGurOS stable package">
</a>
LiGurOS develop package [![LiGurOS develop package](https://repology.org/badge/version-for-repo/liguros_develop/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/liguros_develop/agda.svg" alt="LiGurOS develop package">
</a>
Linuxbrew package [![Linuxbrew package](https://repology.org/badge/version-for-repo/linuxbrew/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/linuxbrew/agda.svg" alt="Linuxbrew package">
</a>
Manjaro Stable package [![Manjaro Stable package](https://repology.org/badge/version-for-repo/manjaro_stable/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/manjaro_stable/agda.svg" alt="Manjaro Stable package">
</a>
Manjaro Testing package [![Manjaro Testing package](https://repology.org/badge/version-for-repo/manjaro_testing/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/manjaro_testing/agda.svg" alt="Manjaro Testing package">
</a>
Manjaro Unstable package [![Manjaro Unstable package](https://repology.org/badge/version-for-repo/manjaro_unstable/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/manjaro_unstable/agda.svg" alt="Manjaro Unstable package">
</a>
nixpkgs stable package [![nixpkgs stable package](https://repology.org/badge/version-for-repo/nix_stable/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/nix_stable/agda.svg" alt="nixpkgs stable package">
</a>
nixpkgs unstable package [![nixpkgs unstable package](https://repology.org/badge/version-for-repo/nix_unstable/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/nix_unstable/agda.svg" alt="nixpkgs unstable package">
</a>
openSUSE Leap 15.0 package [![openSUSE Leap 15.0 package](https://repology.org/badge/version-for-repo/opensuse_leap_15_0/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/opensuse_leap_15_0/agda.svg" alt="openSUSE Leap 15.0 package">
</a>
Parabola package [![Parabola package](https://repology.org/badge/version-for-repo/parabola/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/parabola/agda.svg" alt="Parabola package">
</a>
Pardus 17 package [![Pardus 17 package](https://repology.org/badge/version-for-repo/pardus_17/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/pardus_17/agda.svg" alt="Pardus 17 package">
</a>
Pardus 19 package [![Pardus 19 package](https://repology.org/badge/version-for-repo/pardus_19/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/pardus_19/agda.svg" alt="Pardus 19 package">
</a>
Parrot package [![Parrot package](https://repology.org/badge/version-for-repo/parrot/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/parrot/agda.svg" alt="Parrot package">
</a>
PureOS Amber package [![PureOS Amber package](https://repology.org/badge/version-for-repo/pureos_amber/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/pureos_amber/agda.svg" alt="PureOS Amber package">
</a>
PureOS landing package [![PureOS landing package](https://repology.org/badge/version-for-repo/pureos_landing/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/pureos_landing/agda.svg" alt="PureOS landing package">
</a>
Raspbian Oldstable package [![Raspbian Oldstable package](https://repology.org/badge/version-for-repo/raspbian_oldstable/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/raspbian_oldstable/agda.svg" alt="Raspbian Oldstable package">
</a>
Raspbian Stable package [![Raspbian Stable package](https://repology.org/badge/version-for-repo/raspbian_stable/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/raspbian_stable/agda.svg" alt="Raspbian Stable package">
</a>
Raspbian Testing package [![Raspbian Testing package](https://repology.org/badge/version-for-repo/raspbian_testing/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/raspbian_testing/agda.svg" alt="Raspbian Testing package">
</a>
Stackage LTS Haskell package [![Stackage LTS Haskell package](https://repology.org/badge/version-for-repo/stackage_lts/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/stackage_lts/agda.svg" alt="Stackage LTS Haskell package">
</a>
Stackage Nightly package [![Stackage Nightly package](https://repology.org/badge/version-for-repo/stackage_nighly/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/stackage_nighly/agda.svg" alt="Stackage Nightly package">
</a>
Trisquel 6.0 package [![Trisquel 6.0 package](https://repology.org/badge/version-for-repo/trisquel_6_0/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/trisquel_6_0/agda.svg" alt="Trisquel 6.0 package">
</a>
Trisquel 7.0 package [![Trisquel 7.0 package](https://repology.org/badge/version-for-repo/trisquel_7_0/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/trisquel_7_0/agda.svg" alt="Trisquel 7.0 package">
</a>
Trisquel 8.0 package [![Trisquel 8.0 package](https://repology.org/badge/version-for-repo/trisquel_8_0/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/trisquel_8_0/agda.svg" alt="Trisquel 8.0 package">
</a>
Trisquel 9.0 package [![Trisquel 9.0 package](https://repology.org/badge/version-for-repo/trisquel_9_0/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/trisquel_9_0/agda.svg" alt="Trisquel 9.0 package">
</a>
Ubuntu 12.04 package [![Ubuntu 12.04 package](https://repology.org/badge/version-for-repo/ubuntu_12_04/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/ubuntu_12_04/agda.svg" alt="Ubuntu 12.04 package">
</a>
Ubuntu 14.04 package [![Ubuntu 14.04 package](https://repology.org/badge/version-for-repo/ubuntu_14_04/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/ubuntu_14_04/agda.svg" alt="Ubuntu 14.04 package">
</a>
Ubuntu 16.04 package [![Ubuntu 16.04 package](https://repology.org/badge/version-for-repo/ubuntu_16_04/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/ubuntu_16_04/agda.svg" alt="Ubuntu 16.04 package">
</a>
Ubuntu 18.04 package [![Ubuntu 18.04 package](https://repology.org/badge/version-for-repo/ubuntu_18_04/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/ubuntu_18_04/agda.svg" alt="Ubuntu 18.04 package">
</a>
Ubuntu 20.04 package [![Ubuntu 20.04 package](https://repology.org/badge/version-for-repo/ubuntu_20_04/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/ubuntu_20_04/agda.svg" alt="Ubuntu 20.04 package">
</a>
Ubuntu 20.10 package [![Ubuntu 20.10 package](https://repology.org/badge/version-for-repo/ubuntu_20_10/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/ubuntu_20_10/agda.svg" alt="Ubuntu 20.10 package">
</a>
Ubuntu 21.04 package [![Ubuntu 21.04 package](https://repology.org/badge/version-for-repo/ubuntu_21_04/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/ubuntu_21_04/agda.svg" alt="Ubuntu 21.04 package">
</a>
Wikidata item [![Wikidata item](https://repology.org/badge/version-for-repo/wikidata/agda.svg)](https://repology.org/project/agda/versions) <a href="https://repology.org/project/agda/versions">
  <img src="https://repology.org/badge/version-for-repo/wikidata/agda.svg" alt="Wikidata item">
</a>

May be tweaked with header, minversion, and allow_ignored parameters (see below).

Additional parameters

Most badges may be tweaked by specifying additional parameters in the URL.

header

Works for all badges. Changes the header/caption of the badge. Specify empty header to remove it completely.

https://repology.org/badge/version-for-repo/arch/agda.svg Version badge example, with default caption
https://repology.org/badge/version-for-repo/arch/agda.svg?header= Version badge example, with caption removed
https://repology.org/badge/version-for-repo/arch/agda.svg?header=PACKAGE Version badge example, with custom caption set to "PACKAGE"

minversion

Specify "minimal acceptable version" - any versions lesser than it will be marked with crimson color. Useful to mark unacceptable versions based on arbitrary criteria, for instance unsupported dependency versions.

https://repology.org/badge/version-for-repo/arch/agda.svg Version badge example
https://repology.org/badge/version-for-repo/arch/agda.svg?minversion=999999999 Version badge example, with minimal version set

allow_ignored

By default, when picking the version to show on badge, all rolling, noscheme, incorrect, untrusted, ignored versions are skipped (so, for instance, rolling 9999 versions in Gentoo do not hide real stable versions). When allow_ignored parameter is specified (with some non-empty value), the greatest version is always picked regardless of status.

https://repology.org/badge/version-for-repo/arch/agda.svg?allow_ignored=1