Badges for minisat

Vertical badge

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

Markdown code:

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

HTML code:

<a href="https://repology.org/project/minisat/versions">
    <img src="https://repology.org/badge/vertical-allrepos/minisat.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/minisat/versions">
    <img src="https://repology.org/badge/vertical-allrepos/minisat.svg" alt="Packaging status" align="right">
</a>

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

It's also possible to specify number of columns with columns=<N> parameter.

You may exclude specific kinds of sources (repository, modules, site) with exclude_sources parameter. E.g. use exclude_sources=modules,site to exclude e.g. PyPI and Wikidata.

You may also exclude old and no longer supported repositories with exclude_unsupported=1 parameter. Note however that this will only work for repositories which have end of life date (valid_till) set in the configs. Feel free to submit PRs with missing dates.

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.

Markdown code:

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

HTML code:

<a href="https://repology.org/project/minisat/versions">
    <img src="https://repology.org/badge/tiny-repos/minisat.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.

Markdown code:

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

HTML code:

<a href="https://repology.org/project/minisat/versions">
    <img src="https://repology.org/badge/latest-versions/minisat.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.

Sample	Markdown code	HTML code
	[](https://repology.org/project/minisat/versions)	<a href="https://repology.org/project/minisat/versions">   <img src="https://repology.org/badge/version-for-repo/arch/minisat.svg" alt="Arch package"> </a>
	[](https://repology.org/project/minisat/versions)	<a href="https://repology.org/project/minisat/versions">   <img src="https://repology.org/badge/version-for-repo/archlinux32_i486/minisat.svg" alt="Arch Linux 32 i486 package"> </a>
	[](https://repology.org/project/minisat/versions)	<a href="https://repology.org/project/minisat/versions">   <img src="https://repology.org/badge/version-for-repo/archlinux32_i686/minisat.svg" alt="Arch Linux 32 i686 package"> </a>
	[](https://repology.org/project/minisat/versions)	<a href="https://repology.org/project/minisat/versions">   <img src="https://repology.org/badge/version-for-repo/archlinux32_pentium4/minisat.svg" alt="Arch Linux 32 pentium4 package"> </a>
	[](https://repology.org/project/minisat/versions)	<a href="https://repology.org/project/minisat/versions">   <img src="https://repology.org/badge/version-for-repo/archlinuxarm_aarch64/minisat.svg" alt="Arch Linux ARM aarch64 package"> </a>
	[](https://repology.org/project/minisat/versions)	<a href="https://repology.org/project/minisat/versions">   <img src="https://repology.org/badge/version-for-repo/archlinuxarm_armv7h/minisat.svg" alt="Arch Linux ARM armv7h package"> </a>
	[](https://repology.org/project/minisat/versions)	<a href="https://repology.org/project/minisat/versions">   <img src="https://repology.org/badge/version-for-repo/aur/minisat.svg" alt="AUR package"> </a>
	[](https://repology.org/project/minisat/versions)	<a href="https://repology.org/project/minisat/versions">   <img src="https://repology.org/badge/version-for-repo/freebsd/minisat.svg" alt="FreeBSD port"> </a>
	[](https://repology.org/project/minisat/versions)	<a href="https://repology.org/project/minisat/versions">   <img src="https://repology.org/badge/version-for-repo/gentoo/minisat.svg" alt="Gentoo package"> </a>
	[](https://repology.org/project/minisat/versions)	<a href="https://repology.org/project/minisat/versions">   <img src="https://repology.org/badge/version-for-repo/gnuguix/minisat.svg" alt="GNU Guix package"> </a>
	[](https://repology.org/project/minisat/versions)	<a href="https://repology.org/project/minisat/versions">   <img src="https://repology.org/badge/version-for-repo/homebrew/minisat.svg" alt="Homebrew package"> </a>
	[](https://repology.org/project/minisat/versions)	<a href="https://repology.org/project/minisat/versions">   <img src="https://repology.org/badge/version-for-repo/liguros_stable/minisat.svg" alt="LiGurOS stable package"> </a>
	[](https://repology.org/project/minisat/versions)	<a href="https://repology.org/project/minisat/versions">   <img src="https://repology.org/badge/version-for-repo/liguros_develop/minisat.svg" alt="LiGurOS develop package"> </a>
	[](https://repology.org/project/minisat/versions)	<a href="https://repology.org/project/minisat/versions">   <img src="https://repology.org/badge/version-for-repo/macports/minisat.svg" alt="MacPorts package"> </a>
	[](https://repology.org/project/minisat/versions)	<a href="https://repology.org/project/minisat/versions">   <img src="https://repology.org/badge/version-for-repo/manjaro_stable/minisat.svg" alt="Manjaro Stable package"> </a>
	[](https://repology.org/project/minisat/versions)	<a href="https://repology.org/project/minisat/versions">   <img src="https://repology.org/badge/version-for-repo/manjaro_testing/minisat.svg" alt="Manjaro Testing package"> </a>
	[](https://repology.org/project/minisat/versions)	<a href="https://repology.org/project/minisat/versions">   <img src="https://repology.org/badge/version-for-repo/manjaro_unstable/minisat.svg" alt="Manjaro Unstable package"> </a>
	[](https://repology.org/project/minisat/versions)	<a href="https://repology.org/project/minisat/versions">   <img src="https://repology.org/badge/version-for-repo/nix_stable_21_11/minisat.svg" alt="nixpkgs stable 21.11 package"> </a>
	[](https://repology.org/project/minisat/versions)	<a href="https://repology.org/project/minisat/versions">   <img src="https://repology.org/badge/version-for-repo/nix_stable_22_05/minisat.svg" alt="nixpkgs stable 22.05 package"> </a>
	[](https://repology.org/project/minisat/versions)	<a href="https://repology.org/project/minisat/versions">   <img src="https://repology.org/badge/version-for-repo/nix_stable_22_11/minisat.svg" alt="nixpkgs stable 22.11 package"> </a>
	[](https://repology.org/project/minisat/versions)	<a href="https://repology.org/project/minisat/versions">   <img src="https://repology.org/badge/version-for-repo/nix_unstable/minisat.svg" alt="nixpkgs unstable package"> </a>
	[](https://repology.org/project/minisat/versions)	<a href="https://repology.org/project/minisat/versions">   <img src="https://repology.org/badge/version-for-repo/openbsd/minisat.svg" alt="OpenBSD port"> </a>
	[](https://repology.org/project/minisat/versions)	<a href="https://repology.org/project/minisat/versions">   <img src="https://repology.org/badge/version-for-repo/openpkg_current/minisat.svg" alt="OpenPKG package"> </a>
	[](https://repology.org/project/minisat/versions)	<a href="https://repology.org/project/minisat/versions">   <img src="https://repology.org/badge/version-for-repo/opensuse_leap_42_3/minisat.svg" alt="openSUSE Leap 42.3 package"> </a>
	[](https://repology.org/project/minisat/versions)	<a href="https://repology.org/project/minisat/versions">   <img src="https://repology.org/badge/version-for-repo/opensuse_leap_15_0/minisat.svg" alt="openSUSE Leap 15.0 package"> </a>
	[](https://repology.org/project/minisat/versions)	<a href="https://repology.org/project/minisat/versions">   <img src="https://repology.org/badge/version-for-repo/opensuse_leap_15_1/minisat.svg" alt="openSUSE Leap 15.1 package"> </a>
	[](https://repology.org/project/minisat/versions)	<a href="https://repology.org/project/minisat/versions">   <img src="https://repology.org/badge/version-for-repo/opensuse_leap_15_2/minisat.svg" alt="openSUSE Leap 15.2 package"> </a>
	[](https://repology.org/project/minisat/versions)	<a href="https://repology.org/project/minisat/versions">   <img src="https://repology.org/badge/version-for-repo/opensuse_leap_15_3/minisat.svg" alt="openSUSE Leap 15.3 package"> </a>
	[](https://repology.org/project/minisat/versions)	<a href="https://repology.org/project/minisat/versions">   <img src="https://repology.org/badge/version-for-repo/opensuse_leap_15_4/minisat.svg" alt="openSUSE Leap 15.4 package"> </a>
	[](https://repology.org/project/minisat/versions)	<a href="https://repology.org/project/minisat/versions">   <img src="https://repology.org/badge/version-for-repo/opensuse_leap_15_5/minisat.svg" alt="openSUSE Leap 15.5 package"> </a>
	[](https://repology.org/project/minisat/versions)	<a href="https://repology.org/project/minisat/versions">   <img src="https://repology.org/badge/version-for-repo/opensuse_tumbleweed/minisat.svg" alt="openSUSE Tumbleweed package"> </a>
	[](https://repology.org/project/minisat/versions)	<a href="https://repology.org/project/minisat/versions">   <img src="https://repology.org/badge/version-for-repo/parabola/minisat.svg" alt="Parabola package"> </a>
	[](https://repology.org/project/minisat/versions)	<a href="https://repology.org/project/minisat/versions">   <img src="https://repology.org/badge/version-for-repo/pkgsrc_current/minisat.svg" alt="pkgsrc current package"> </a>
	[](https://repology.org/project/minisat/versions)	<a href="https://repology.org/project/minisat/versions">   <img src="https://repology.org/badge/version-for-repo/rosa_2019_1/minisat.svg" alt="Rosa 2021.1 package"> </a>
	[](https://repology.org/project/minisat/versions)	<a href="https://repology.org/project/minisat/versions">   <img src="https://repology.org/badge/version-for-repo/void_x86_64/minisat.svg" alt="Void Linux x86_64 package"> </a>
	[](https://repology.org/project/minisat/versions)	<a href="https://repology.org/project/minisat/versions">   <img src="https://repology.org/badge/version-for-repo/yacp/minisat.svg" alt="YACP package"> </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/minisat.svg
https://repology.org/badge/version-for-repo/arch/minisat.svg?header=
https://repology.org/badge/version-for-repo/arch/minisat.svg?header=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/minisat.svg
https://repology.org/badge/version-for-repo/arch/minisat.svg?minversion=999999999

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/minisat.svg?allow_ignored=1