Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: NixOS/nixpkgs
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: 7c5a202738ec
Choose a base ref
...
head repository: NixOS/nixpkgs
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: 65d917244293
Choose a head ref
  • 2 commits
  • 1 file changed
  • 2 contributors

Commits on Mar 2, 2019

  1. cryptominisat: 5.6.6 -> 5.6.8 

    Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/cryptominisat/versions
    @r-ryantm
    r-ryantm committed Mar 2, 2019

    Verified

    This commit was created on GitHub.com and signed with GitHub’s verified signature.
    GPG key ID: B5690EEEBB952194
    Verified
    Learn about vigilant mode
    Copy the full SHA
    4f1c449 View commit details

  2. Merge pull request #56620 from r-ryantm/auto-update/cryptominisat 

    cryptominisat: 5.6.6 -> 5.6.8
    @disassembler
    disassembler authored Mar 2, 2019

    Verified

    This commit was created on GitHub.com and signed with GitHub’s verified signature.
    GPG key ID: B5690EEEBB952194
    Verified
    Learn about vigilant mode
    Copy the full SHA
    65d9172 View commit details
Showing with 2 additions and 2 deletions.
  1. +2 −2 pkgs/applications/science/logic/cryptominisat/default.nix
4 changes: 2 additions & 2 deletions pkgs/applications/science/logic/cryptominisat/default.nix
View file
Original file line number Diff line number Diff line change
@@ -2,13 +2,13 @@

stdenv.mkDerivation rec {
name = "cryptominisat-${version}";
version = "5.6.6";
version = "5.6.8";

src = fetchFromGitHub {
owner = "msoos";
repo = "cryptominisat";
rev = version;
sha256 = "1a1494gj4j73yij0hjbzsn2hglk9zy5c5wfwgig3j67cis28saf5";
sha256 = "0csimmy1nvkfcsxjra9bm4mlcyxa3ac8zarm88zfb7640ca0d0wv";
};

buildInputs = [ python3 boost ];