Merge pull request #250461 from r-ryantm/auto-update/geographiclib

geographiclib: 2.2 -> 2.3
This commit is contained in:
Nikolay Korotkiy 2023-08-21 23:01:56 +04:00 committed by GitHub
commit 55221eea42
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -2,13 +2,13 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "geographiclib"; pname = "geographiclib";
version = "2.2"; version = "2.3";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "geographiclib"; owner = "geographiclib";
repo = "geographiclib"; repo = "geographiclib";
rev = "v${version}"; rev = "v${version}";
hash = "sha256-W2YbeUYr6rjzdufVGzJ1k56uHHMzq8eidDZbRxTyzAU="; hash = "sha256-FVA2y1q0WjRSCltCN2qntWC//Zj94TXO/fTebFfQ9NY=";
}; };
nativeBuildInputs = [ cmake doxygen ]; nativeBuildInputs = [ cmake doxygen ];