Update blog source and publish Agda+Hugo

Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
This commit is contained in:
Danila Fedorin 2024-05-30 07:30:58 +00:00
parent feea668396
commit 694d2fac14

View File

@ -23,11 +23,11 @@
"blog-source": {
"flake": false,
"locked": {
"lastModified": 1716704898,
"narHash": "sha256-WiRmOvcgHMIbDf0rEkZN9XMNBPQwUo0MchF3Idjxlqo=",
"lastModified": 1717054205,
"narHash": "sha256-x0AHNNr6f9sSa4S8kfIEBC+hANZlhI+PrgYEhjdzUoU=",
"ref": "refs/heads/master",
"rev": "6a168f2fe144850ed3a81b796e07266cbf80f382",
"revCount": 785,
"rev": "b66c58b68e9c507f47b5b9ef8fb8d85281502ffe",
"revCount": 788,
"submodules": true,
"type": "git",
"url": "https://dev.danilafe.com/Web-Projects/blog-static.git"