diff options
author | R. RyanTM <ryantm-bot@ryantm.com> | 2020-01-26 09:43:23 +0000 |
---|---|---|
committer | R. RyanTM <ryantm-bot@ryantm.com> | 2020-01-26 09:43:23 +0000 |
commit | f1085d02bb2180dd9b3a956e40f2c7a709f9063d (patch) | |
tree | 80647e0ca8e2f4ca298203d0fc8ea7de6ee9eb4c | |
parent | 4311cfa1577c6b3cba7b50e820d2bddacda52484 (diff) | |
download | nixpkgs-f1085d02bb2180dd9b3a956e40f2c7a709f9063d.tar nixpkgs-f1085d02bb2180dd9b3a956e40f2c7a709f9063d.tar.gz nixpkgs-f1085d02bb2180dd9b3a956e40f2c7a709f9063d.tar.bz2 nixpkgs-f1085d02bb2180dd9b3a956e40f2c7a709f9063d.tar.lz nixpkgs-f1085d02bb2180dd9b3a956e40f2c7a709f9063d.tar.xz nixpkgs-f1085d02bb2180dd9b3a956e40f2c7a709f9063d.tar.zst nixpkgs-f1085d02bb2180dd9b3a956e40f2c7a709f9063d.zip |
ott: 0.29 -> 0.30
-rw-r--r-- | pkgs/applications/science/logic/ott/default.nix | 4 |
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 854a62a5538..fa7c3dd5e95 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.29"; + version = "0.30"; src = fetchFromGitHub { owner = "ott-lang"; repo = "ott"; rev = version; - sha256 = "0saznk2mjbhp3j57imy2p2j0938026bw5m5gqbj59vcvk1rwwl22"; + sha256 = "16bxfnm30z94x36vr8vs6zd6fj55vnb7aypjl6hf7clk42040brc"; }; nativeBuildInputs = [ pkgconfig ]; |