Remove angr-targets from repo list (#53)

angr · Jan 6, 2025 · 5af7cec · 5af7cec
1 parent f03d926
commit 5af7cec
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/ci-image/conf/repo-list.txt b/ci-image/conf/repo-list.txt
@@ -14,7 +14,6 @@ angr/angr -> archinfo, pyvex, claripy, cle, ailment, pysoot
 # docs and add-ons
 !angr/angr-examples -> angr
 angr/angr-platforms:angr_platforms -> angr
-angr/angr-targets:angr_targets
 angr/pysoot
 angr/archr