From f699b857142c42879d4bfc6ad82e326f7671d351 Mon Sep 17 00:00:00 2001
From: Ivan Perez <ivan.perezdominguez@nasa.gov>
Date: Sun, 23 Aug 2026 19:02:15 +0000
Subject: [PATCH 1/3] copilot-visualizer: Fix inconsistent version bounds for
 `copilot` in Cabal file. Refs #749.

The cabal file of `copilot-visualizer` lists inconsistent version bounds
for the package `copilot`. Specifically, it depends on `copilot`
versions from 4.8 to, but not including, 4.9 for the visualizer library,
and from 4.7 up to, but not including, 4.8 for the `gui-example`
executable. This prevents the example from being compiled against the
same version of the library.

This commit fixes the version bounds on `copilot` in the `gui-example`
executable so that they match the version bounds applied to the
`copilot-visualizer` library.
---
 copilot-visualizer/copilot-visualizer.cabal | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/copilot-visualizer/copilot-visualizer.cabal b/copilot-visualizer/copilot-visualizer.cabal
index 1bd88608..4284c988 100644
--- a/copilot-visualizer/copilot-visualizer.cabal
+++ b/copilot-visualizer/copilot-visualizer.cabal
@@ -121,7 +121,7 @@ executable tikz-example
   build-depends:
     base               >= 4.9 && < 5,
 
-    copilot            >= 4.7 && < 4.8,
+    copilot            >= 4.8 && < 4.9,
     copilot-visualizer
 
   if flag(examples)

From dfba5e7c3fe2ab22f5c7e1daf393b72ae9ad09aa Mon Sep 17 00:00:00 2001
From: Ivan Perez <ivan.perezdominguez@nasa.gov>
Date: Sun, 23 Aug 2026 19:05:39 +0000
Subject: [PATCH 2/3] copilot-visualizer: Document changes in CHANGELOG. Refs
 #749.

---
 copilot-visualizer/CHANGELOG | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/copilot-visualizer/CHANGELOG b/copilot-visualizer/CHANGELOG
index e4a74c50..4ccb59a2 100644
--- a/copilot-visualizer/CHANGELOG
+++ b/copilot-visualizer/CHANGELOG
@@ -1,3 +1,6 @@
+2026-08-23
+        * Fix inconsistent version bounds for `copilot` in Cabal file (#749).
+
 2026-07-07
         * Version bump (4.8). (#745)
 

From f05946e93f11e03780abe220f2c14efc40bac351 Mon Sep 17 00:00:00 2001
From: Ivan Perez <ivan.perezdominguez@nasa.gov>
Date: Sun, 23 Aug 2026 19:21:32 +0000
Subject: [PATCH 3/3] copilot: Fix cabal update in CI.

---
 .travis.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.travis.yml b/.travis.yml
index c7c69118..7c349ca2 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -26,6 +26,7 @@ before_install:
   - export PATH=/opt/ghc/$GHCVER/bin:/opt/cabal/$CABALVER/bin:$PATH
   - cabal --version
   - echo "$(ghc --version) [$(ghc --print-project-git-commit-id 2> /dev/null || echo '?')]"
+  - sed -ie 's;-- secure: True;secure: False;g' $HOME/.cabal/config
   - travis_retry cabal update
   - git submodule update --remote