Revert "ogam-1.13 copilot bounds regressed (nasa/ogma#377)"
Some checks are pending
check / Stackage check (push) Waiting to run

This reverts commit a384774e25.
This commit is contained in:
Andreas Ländle 2026-06-09 21:12:36 +02:00
parent 6a8a26a913
commit 04e0727362

View File

@ -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