From f153994e6a13b0fc6a85279ed598c21eea18c540 Mon Sep 17 00:00:00 2001
From: Adrian Lehmann <26521502+adrianleh@users.noreply.github.com>
Date: Wed, 7 Feb 2024 22:46:23 -0600
Subject: [PATCH 1/2] Update README.md

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 6952dbf..94b8f8d 100644
--- a/README.md
+++ b/README.md
@@ -31,7 +31,7 @@ opam pin -y coq-voqc https://github.com/inQWIRE/SQIR.git
 Then install [VyZX](https://github.com/inQWIRE/VyZX)
 
 ```bash
-opam pin -y coq-vicar https://github.com/inQWIRE/VyZX.git
+opam pin -y coq-vyzx https://github.com/inQWIRE/VyZX.git
 ```
 
 Then install [ViCaR](https://github.com/inQWIRE/ViCaR) while in the directory by running

From 3bec2dcbcbfa4c0c52970f5652826d36a8c4dba8 Mon Sep 17 00:00:00 2001
From: Adrian Lehmann <26521502+adrianleh@users.noreply.github.com>
Date: Wed, 7 Feb 2024 23:03:01 -0600
Subject: [PATCH 2/2] Fix: readme pointing now to vyzx category-abstraction
 branch

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 94b8f8d..abf77e8 100644
--- a/README.md
+++ b/README.md
@@ -31,7 +31,7 @@ opam pin -y coq-voqc https://github.com/inQWIRE/SQIR.git
 Then install [VyZX](https://github.com/inQWIRE/VyZX)
 
 ```bash
-opam pin -y coq-vyzx https://github.com/inQWIRE/VyZX.git
+opam pin -y coq-vyzx https://github.com/inQWIRE/VyZX.git#category-abstraction
 ```
 
 Then install [ViCaR](https://github.com/inQWIRE/ViCaR) while in the directory by running