Merge pull request #236978 from r-ryantm/auto-update/tectonic

tectonic: 0.12.0 -> 0.13.1
This commit is contained in:
Doron Behar 2023-06-10 16:10:43 +03:00 committed by GitHub
commit 6a0d7ee981
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -14,17 +14,17 @@
rustPlatform.buildRustPackage rec { rustPlatform.buildRustPackage rec {
pname = "tectonic"; pname = "tectonic";
version = "0.12.0"; version = "0.13.1";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "tectonic-typesetting"; owner = "tectonic-typesetting";
repo = "tectonic"; repo = "tectonic";
rev = "tectonic@${version}"; rev = "tectonic@${version}";
fetchSubmodules = true; fetchSubmodules = true;
sha256 = "sha256-m2wBZNaepad4eaT/1DTjzAYrDX2wH/7wMfdzPWHQOLI="; sha256 = "sha256-m1KmyVB4/Flr/xZGY7ixRZhEGNcIPWnwzUsf3VLqzZc=";
}; };
cargoSha256 = "sha256-pMqwWWmPxJZbJavxSVfjjRd7u9fI2AUZRjHF5SxxqoU="; cargoHash = "sha256-Q1b7/XJ5Aq2hV2uv12B64WI+JOw6M8J3KITXs5cUo6U=";
nativeBuildInputs = [ pkg-config makeBinaryWrapper ]; nativeBuildInputs = [ pkg-config makeBinaryWrapper ];