From 04e0727362a4426060321fabf53d758e32f6cfcd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andreas=20L=C3=A4ndle?=
 <969523+alaendle@users.noreply.github.com>
Date: Tue, 9 Jun 2026 21:12:36 +0200
Subject: [PATCH] Revert "ogam-1.13 copilot bounds regressed (nasa/ogma#377)"

This reverts commit a384774e253457e210d8ff20155a77df40d23153.
---
 build-constraints.yaml | 15 ---------------
 1 file changed, 15 deletions(-)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 533519bd..aef84d4d 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -7799,21 +7799,6 @@ packages:
         - lsp-test < 0.18
         - lsp-types < 2.4
 
-        # https://github.com/nasa/ogma/issues/377
-        - ogma-cli < 1.13
-        - ogma-core < 1.13
-        - ogma-extra < 1.13
-        - ogma-language-c < 1.13
-        - ogma-language-cocospec < 1.13
-        - ogma-language-copilot < 1.13
-        - ogma-language-csv < 1.13
-        - ogma-language-jsonspec < 1.13
-        - ogma-language-lustre < 1.13
-        - ogma-language-smv < 1.13
-        - ogma-language-xlsx < 1.13
-        - ogma-language-xmlspec < 1.13
-        - ogma-spec < 1.13
-
         # https://github.com/commercialhaskell/stackage/issues/7987
         - pqueue < 1.7