1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
| | From 080eae2adc1b0e8f1829c4138b3d462218a02f36 Mon Sep 17 00:00:00 2001
Message-Id: <080eae2adc1b0e8f1829c4138b3d462218a02f36.1682840777.git.dev@jpoiret.xyz>
From: Josselin Poiret <dev@jpoiret.xyz>
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 <dev@jpoiret.xyz>
---
.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
|