From a150b56916304db3a7fdf4dbea23ecd448c86611 Mon Sep 17 00:00:00 2001
From: Zach Newbery <47321182+ZachNewbery@users.noreply.github.com>
Date: Tue, 30 Sep 2025 21:43:12 +0300
Subject: [PATCH 1/2] Add 'dot2tex' under ExternalConditions

---
 PackageInfo.g | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/PackageInfo.g b/PackageInfo.g
index 79a6606..cc11a50 100644
--- a/PackageInfo.g
+++ b/PackageInfo.g
@@ -66,7 +66,7 @@ Dependencies := rec(
   GAP := ">= 4.11",
   NeededOtherPackages := [ ],
   SuggestedOtherPackages := [["digraphs", ">=1.5.0"],],
-  ExternalConditions := [ ],
+  ExternalConditions := ["dot2tex (https://dot2tex.readthedocs.io/en/latest/installation_guide.html) must be installed"],
 ),
 
 AvailabilityTest := ReturnTrue,

From 349b6b5513bdf9f8bb9c4bd5080bc68356a9b348 Mon Sep 17 00:00:00 2001
From: Zach Newbery <47321182+ZachNewbery@users.noreply.github.com>
Date: Tue, 30 Sep 2025 21:53:40 +0300
Subject: [PATCH 2/2] Update README.md to use new status badge link format

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

diff --git a/README.md b/README.md
index 09f9db8..b95c3f9 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,4 @@
-[![CI](https://github.com/gap-packages/typeset/workflows/CI/badge.svg?branch=main)](https://github.com/gap-packages/typeset/actions?query=workflow%3ACI+branch%3Amain)
+[![CI](https://github.com/gap-packages/typeset/actions/workflows/CI.yml/badge.svg?branch=main)](https://github.com/gap-packages/typeset/actions/workflows/CI.yml)
 [![Code Coverage](https://codecov.io/github/gap-packages/typeset/coverage.svg?branch=main&token=)](https://codecov.io/gh/gap-packages/typeset)
 [![Binder](https://mybinder.org/badge_logo.svg)](https://mybinder.org/v2/gh/gap-packages/typeset/HEAD)