@@ -75,7 +75,16 @@ and re-running CMake.
7575## End-User Installation ##
7676
7777Most users will find it easiest and fastest to use package management
78- software to install OpenCoarrays. Package management options for
78+ software to install OpenCoarrays. Below is the status of OpenCoarrays
79+ in various package managers. If you do not see your favorite package
80+ manager listed or it is badly out of date, please reach out and ask
81+ for it to be included or updated, or contribute it yourself. We are
82+ happy to work with package managers to resolve issues, and adapt our
83+ build system to play nicely so they don't have to maintain patches.
84+
85+ [ ![ Packaging status] [ repology-badge ]] [ OC-on-repology ]
86+
87+ Package management options for
7988macOS, Windows, and Linux are described first below. Also described
8089below are options for installing via the Sourcery Institute virtual
8190machine or via the bash scripts included that are in the OpenCoarrays
@@ -423,6 +432,9 @@ file.
423432
424433[ URLs ] : #
425434
435+ [ OC-on-repology ] : https://repology.org/project/opencoarrays/versions
436+ [ repology-badge ] : https://repology.org/badge/vertical-allrepos/opencoarrays.svg
437+
426438[ FreeBSD ports/packages installation information ] : https://www.freebsd.org/doc/en_US.ISO8859-1/books/handbook/ports.html
427439[ GH all releases badge ] : https://img.shields.io/github/downloads/sourceryinstitute/OpenCoarrays/total.svg?style=flat-square
428440[ GH release badge ] : https://img.shields.io/github/release/sourceryinstitute/OpenCoarrays.svg?style=flat-square
0 commit comments