cbmc: 5.68.0 -> 5.69.0 · pyrox.dev/nixpkgs@52b1e28

pyrox.dev / nixpkgs

fork atom

lol

fork atom

cbmc: 5.68.0 -> 5.69.0

authored by

R. Ryantm and committed by

Bobby Rong 3 years ago 52b1e282 0a4b2823

+2 -2

1 changed file

expand all

pkgs

applications

science

logic

cbmc

default.nix

+2 -2

pkgs/applications/science/logic/cbmc/default.nix

··· 13 14 stdenv.mkDerivation rec { 15 pname = "cbmc"; 16 - version = "5.68.0"; 17 18 src = fetchFromGitHub { 19 owner = "diffblue"; 20 repo = pname; 21 rev = "${pname}-${version}"; 22 - sha256 = "sha256-Hup/E426sPAj8/vpgBz8j6C65fG6U59oq78mqmGkDD8="; 23 }; 24 25 nativeBuildInputs = [

··· 13 14 stdenv.mkDerivation rec { 15 pname = "cbmc"; 16 + version = "5.69.0"; 17 18 src = fetchFromGitHub { 19 owner = "diffblue"; 20 repo = pname; 21 rev = "${pname}-${version}"; 22 + sha256 = "sha256-X0Kc7I+5it0sbyRT6QXm7OOA9efnY3KwnMnyldgsNaA="; 23 }; 24 25 nativeBuildInputs = [