Merge pull request #47088 from r-ryantm/auto-update/cgal

cgal: 4.12 -> 4.12.1
This commit is contained in:
Michael Raskin 2018-09-21 06:00:27 +00:00 committed by GitHub
commit 77ce79d4e9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -1,14 +1,14 @@
{ stdenv, fetchFromGitHub, cmake, boost, gmp, mpfr }:
stdenv.mkDerivation rec {
version = "4.12";
version = "4.12.1";
name = "cgal-" + version;
src = fetchFromGitHub {
owner = "CGAL";
repo = "releases";
rev = "CGAL-${version}";
sha256 = "0n4yvg2rkrlb1bwhykrg4iyqg4whxadcs441k10xx0r75i6220mn";
sha256 = "0b8wwfnvbayxi18jahfdplkjqr59ynq6phk0kz62gqp8vmwia9d9";
};
# note: optional component libCGAL_ImageIO would need zlib and opengl;