MirrorHub/nixpkgs
0
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-16 23:03:40 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

Merge pull request #78521 from r-ryantm/auto-update/ott

Browse source 
ott: 0.29 -> 0.30
This commit is contained in:
Mario Rodas 2020-01-29 21:47:20 -05:00 committed by GitHub
commit a20b7cff7c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
pkgs/applications/science/logic/ott/default.nix
View file

@ -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 ];