nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-02-02 10:14:09 +00:00
Code Issues Packages Projects Releases Wiki Activity

clingo: 5.6.0 -> 5.6.1

Browse Source
This commit is contained in:
R. Ryantm 2022-09-17 05:32:12 +00:00
parent d9a1414346
commit 9cb166091c
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/potassco/clingo.nix
View File

@ -2,13 +2,13 @@
stdenv.mkDerivation rec {
pname = "clingo";
version = "5.6.0";
version = "5.6.1";
src = fetchFromGitHub {
owner = "potassco";
repo = "clingo";
rev = "v${version}";
sha256 = "sha256-3qyQ7CnpELs6IsDxrW+IbV/TmlfYxP9VIVVjc7sM9fg=";
sha256 = "sha256-blr2GPa/ZwVfvot6wUcQmdN/mLEox6tjIWtr0geeoDI=";
};
nativeBuildInputs = [ cmake ];