We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 3767aab commit a8816f0Copy full SHA for a8816f0
README.md
@@ -44,6 +44,7 @@ Package Manager | Command Line Invocation |
44
Aptitude (Ubuntu / Debian) | `apt install coq ocaml-findlib libcoq-ocaml-dev jq` |
45
Homebrew (OS X) | `brew install coq ocaml-findlib coreutils jq` |
46
Pacman (Archlinux) | `pacman -S coq ocaml-findlib ocaml-zarith jq` |
47
+APK (Alpine) | `apk install ocaml ocaml-findlib coq ocaml-zarith jq make` |
48
49
You can clone this repository with
50
0 commit comments