From fb071e55aae11c6fb959b1b14abccbfb22af9ff9 Mon Sep 17 00:00:00 2001 From: Danila Fedorin Date: Sun, 18 Aug 2024 13:23:20 -1000 Subject: [PATCH] Update 'submodules.json' with new submodule Signed-off-by: Danila Fedorin --- data/submodules.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/data/submodules.json b/data/submodules.json index bb8736d..9d5328d 100644 --- a/data/submodules.json +++ b/data/submodules.json @@ -1,5 +1,5 @@ { - "agda-spa": "https://dev.danilafe.com/DanilaFe/agda-spa/src/commit/f0da9a902005b24db4e03a89c2862493735467c4", + "agda-spa": "https://dev.danilafe.com/DanilaFe/agda-spa/src/commit/828b652d3b9266e27ef7cf5a8a7fb82e3fd3133f", "aoc-2020": "https://dev.danilafe.com/Advent-of-Code/AdventOfCode-2020/src/commit/7a8503c3fe1aa7e624e4d8672aa9b56d24b4ba82", "blog-static-flake": "https://dev.danilafe.com/Nix-Configs/blog-static-flake/src/commit/67b47d9c298e7476c2ca211aac5c5fd961637b7b", "compiler": "https://dev.danilafe.com/DanilaFe/bloglang/src/commit/137455b0f4365ba3fd11c45ce49781cdbe829ec3",