From 080eae2adc1b0e8f1829c4138b3d462218a02f36 Mon Sep 17 00:00:00 2001 Message-Id: <080eae2adc1b0e8f1829c4138b3d462218a02f36.1682840777.git.dev@jpoiret.xyz> From: Josselin Poiret Date: Sun, 30 Apr 2023 09:32:59 +0200 Subject: [PATCH] Bump Agda to 2.6.3 and stdlib to 1.7.2 From: Josselin Poiret --- .github/workflows/ci-ubuntu.yml | 4 ++-- agda-categories.agda-lib | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/ci-ubuntu.yml b/.github/workflows/ci-ubuntu.yml index ab26835d..25604420 100644 --- a/.github/workflows/ci-ubuntu.yml +++ b/.github/workflows/ci-ubuntu.yml @@ -45,8 +45,8 @@ on: ######################################################################## env: - AGDA_COMMIT: tags/v2.6.2 - STDLIB_VERSION: 1.7.1 + AGDA_COMMIT: tags/v2.6.3 + STDLIB_VERSION: 1.7.2 GHC_VERSION: 8.6.5 CABAL_VERSION: 3.2.0.0 diff --git a/agda-categories.agda-lib b/agda-categories.agda-lib index 186e350b..5b19c405 100644 --- a/agda-categories.agda-lib +++ b/agda-categories.agda-lib @@ -1,3 +1,3 @@ name: agda-categories -depend: standard-library-1.7.1 +depend: standard-library-1.7.2 include: src/ base-commit: 20397e93a60ed1439ed57ee76ae377c66a5eb8d9 -- 2.39.2