Merge pull request #144514 from r-ryantm/auto-update/or-tools

or-tools: 9.0 -> 9.1
This commit is contained in:
Bobby Rong 2021-11-04 16:04:18 +08:00 committed by GitHub
commit 1b2c29472d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -16,14 +16,14 @@
stdenv.mkDerivation rec {
pname = "or-tools";
version = "9.0";
version = "9.1";
disabled = python.pythonOlder "3.6"; # not supported upstream
src = fetchFromGitHub {
owner = "google";
repo = "or-tools";
rev = "v${version}";
sha256 = "0yihrsg8wj4b82xwg1hbn97my8zqd7xhw7dk7wm2axsyvqd6m3b3";
sha256 = "sha256-dEYMPWpa3J9EqtCq3kubdUYJivNRTOKUpNDx3UC1IcQ=";
};
# The original build system uses cmake which does things like pull