commit db1e62b7c0d53381be53c9154c1afbb82c655867 · pyrox.dev/nixpkgs

pyrox.dev / nixpkgs

lol

fork atom

kissat: 4.0.2 -> 4.0.3 (#420977)

Aleksana 5 months ago db1e62b7 6def0235

options

unified split

Changed files

+2 -2

pkgs

by-name

kissat

package.nix

+2 -2

pkgs/by-name/ki/kissat/package.nix

···

       25
       25
        
       in

     

       26
       26
        
       stdenv.mkDerivation rec {

     

       27
       27
        
         pname = "kissat";

     

       28
       28
       -
         version = "4.0.2";

     

       28
       28
       +
         version = "4.0.3";

     

       29
       29
        
       

     

       30
       30
        
         src = fetchFromGitHub {

     

       31
       31
        
           owner = "arminbiere";

     

       32
       32
        
           repo = "kissat";

     

       33
       33
        
           rev = "rel-${version}";

     

       34
       34
       -
           sha256 = "sha256-XVaWO1zHMXM83Qih3HnmIsOvM1zpefF6u9lBP420/mQ=";

     

       34
       34
       +
           sha256 = "sha256-IlMHtsEYafpbCNZfbeJo1JS5S5qcZQt1aDWjv+xxoqM=";

     

       35
       35
        
         };

     

       36
       36
        
       

     

       37
       37
        
         outputs = [