From 50d02e415825b208996f02675d46012ba92b36a6 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Fri, 22 Mar 2024 11:53:54 -0700 Subject: [PATCH] Fix apk installation command in README --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 4baa7ed455..60cad59d1a 100644 --- a/README.md +++ b/README.md @@ -44,7 +44,7 @@ Package Manager | Command Line Invocation | Aptitude (Ubuntu / Debian) | `apt install coq ocaml-findlib libcoq-ocaml-dev jq` | Homebrew (OS X) | `brew install coq ocaml-findlib coreutils jq` | Pacman (Archlinux) | `pacman -S coq ocaml-findlib ocaml-zarith jq` | -APK (Alpine) | `apk install ocaml ocaml-findlib coq ocaml-zarith jq make` | +APK (Alpine) | `apk add --repository=https://dl-cdn.alpinelinux.org/alpine/edge/testing ocaml ocaml-findlib coq ocaml-zarith jq make` | You can clone this repository with