summaryrefslogtreecommitdiffstats
path: root/pkgs/applications/science/logic/ott/default.nix
diff options
context:
space:
mode:
Diffstat (limited to 'pkgs/applications/science/logic/ott/default.nix')
-rw-r--r--pkgs/applications/science/logic/ott/default.nix4
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/ott/default.nix b/pkgs/applications/science/logic/ott/default.nix
index fa2ad9c4abc4..4f1b984b995f 100644
--- a/pkgs/applications/science/logic/ott/default.nix
+++ b/pkgs/applications/science/logic/ott/default.nix
@@ -2,13 +2,13 @@
stdenv.mkDerivation rec {
pname = "ott";
- version = "0.30";
+ version = "0.31";
src = fetchFromGitHub {
owner = "ott-lang";
repo = "ott";
rev = version;
- sha256 = "16bxfnm30z94x36vr8vs6zd6fj55vnb7aypjl6hf7clk42040brc";
+ sha256 = "0l81126i2qkz11fs5yrjdgymnqgjcs5avb7f951h61yh1s68jpnn";
};
nativeBuildInputs = [ pkgconfig ];