diff options
author | Mario Rodas <marsam@users.noreply.github.com> | 2020-01-29 21:47:20 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-01-29 21:47:20 -0500 |
commit | a20b7cff7c715538bf4b08d19acaca77406c4bc2 (patch) | |
tree | 5e241d45c180a41ab1df7781cedbffe9a83d6eb7 | |
parent | 4b785743508dc3e1d0847a32c95061772f832992 (diff) | |
parent | f1085d02bb2180dd9b3a956e40f2c7a709f9063d (diff) | |
download | nixlib-a20b7cff7c715538bf4b08d19acaca77406c4bc2.tar nixlib-a20b7cff7c715538bf4b08d19acaca77406c4bc2.tar.gz nixlib-a20b7cff7c715538bf4b08d19acaca77406c4bc2.tar.bz2 nixlib-a20b7cff7c715538bf4b08d19acaca77406c4bc2.tar.lz nixlib-a20b7cff7c715538bf4b08d19acaca77406c4bc2.tar.xz nixlib-a20b7cff7c715538bf4b08d19acaca77406c4bc2.tar.zst nixlib-a20b7cff7c715538bf4b08d19acaca77406c4bc2.zip |
Merge pull request #78521 from r-ryantm/auto-update/ott
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 854a62a5538d..fa7c3dd5e95f 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 ]; |