From 89e5bfb6219eaceb98a63a74c6c450eeb5930740 Mon Sep 17 00:00:00 2001
From: Jesse Bouwman <jlbouwman@hrl.com>
Date: Tue, 4 Jun 2024 13:18:49 -0700
Subject: [PATCH] Allegro 10.1 -> 11.0

---
 allegro/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/allegro/Dockerfile b/allegro/Dockerfile
index 132548d..4317367 100644
--- a/allegro/Dockerfile
+++ b/allegro/Dockerfile
@@ -4,7 +4,7 @@ LABEL org.opencontainers.image.source=https://github.com/coalton-lang/base-image
 LABEL org.opencontainers.image.description="Allegro CL base image for Coalton CI"
 LABEL org.opencontainers.image.licenses=MIT
 
-ARG ALLEGRO_VERSION=10.1
+ARG ALLEGRO_VERSION=11.0
 
 # Install dependencies
 ARG DEBIAN_FRONTEND=noninteractive