diff options
| author | Frederik Rietdijk <fridh@fridh.nl> | 2019-10-24 08:27:04 +0200 |
|---|---|---|
| committer | Frederik Rietdijk <fridh@fridh.nl> | 2019-10-24 08:27:04 +0200 |
| commit | 32389de159a0983f4daf7de446da6439a92a29a2 (patch) | |
| tree | d670ccdd2e24a6a6f0dee7ff3c252b593377deb4 /pkgs/applications/science/logic/ott/default.nix | |
| parent | 09c9a2de7e75191bebfb3397364809f94195224c (diff) | |
| parent | 7044058ef779e8050aa4684a8f73114fdf39b849 (diff) | |
| download | nixlib-32389de159a0983f4daf7de446da6439a92a29a2.tar nixlib-32389de159a0983f4daf7de446da6439a92a29a2.tar.gz nixlib-32389de159a0983f4daf7de446da6439a92a29a2.tar.bz2 nixlib-32389de159a0983f4daf7de446da6439a92a29a2.tar.lz nixlib-32389de159a0983f4daf7de446da6439a92a29a2.tar.xz nixlib-32389de159a0983f4daf7de446da6439a92a29a2.tar.zst nixlib-32389de159a0983f4daf7de446da6439a92a29a2.zip | |
Merge master into staging-next
Diffstat (limited to 'pkgs/applications/science/logic/ott/default.nix')
| -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 40c66dd699d8..854a62a5538d 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.28"; + version = "0.29"; src = fetchFromGitHub { owner = "ott-lang"; repo = "ott"; rev = version; - sha256 = "0mzbrvqayqpns9zzg4m1scxx24dv9askhn51dawyb9pisvlyvai0"; + sha256 = "0saznk2mjbhp3j57imy2p2j0938026bw5m5gqbj59vcvk1rwwl22"; }; nativeBuildInputs = [ pkgconfig ]; |