texpresso.tectonic: set version

2025-02-24 13:34:25 +02:00
parent c69f479b00
commit 7f75c0a0f0
1 changed files with 1 additions and 0 deletions
@@ -7,6 +7,7 @@
 tectonic-unwrapped.overrideAttrs (
  finalAttrs: prevAttrs: {
    pname = "texpresso-tonic";
+    version = "0.15.0-unstable-2024-04-19";
    src = fetchFromGitHub {
      owner = "let-def";
      repo = "tectonic";