Typo

coq-tactician · Dec 24, 2023 · e3c49b2 · e3c49b2
1 parent 31ce34c
commit e3c49b2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -180,7 +180,7 @@ This repository has an OCaml component that should be installed through the Opam
 package manager and a Python component that should be installed through the Pip
 package manager. Additionally, some extra dependencies are needed:
 - Opam 2.1.x
-- Capt'n Proto >= 0.8
+- Cap'n Proto >= 0.8
 - XXHash >= 0.8
 - Graphviz
 - A reasonable set of development packages like git, bash, gmp, c/c++ compiler