From 7d6f36293681944b191cfa7542e5f69513c66a72 Mon Sep 17 00:00:00 2001
From: Danila Fedorin <danila.fedorin@gmail.com>
Date: Sat, 25 May 2024 06:06:10 +0000
Subject: [PATCH] Avoid using rev in Agda derivation

This might make the derivation more cacheable

Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
---
 lib.nix | 1 -
 1 file changed, 1 deletion(-)

diff --git a/lib.nix b/lib.nix
index 3a91d94..708ed40 100644
--- a/lib.nix
+++ b/lib.nix
@@ -27,7 +27,6 @@ let
     in
       stdenv.mkDerivation {
         name = "blog-static-agda-html";
-        version = settings.src.rev or "dirty";
         buildInputs = [ ruby agdaEnv ];
         builder = builtins.toFile "builder.sh" "
         source $stdenv/setup