Merge pull request #42215 from marsam/feature/update-tectonic

tectonic: 0.1.7 -> 0.1.8
This commit is contained in:
Jörg Thalheim 2018-06-19 10:48:47 +01:00 committed by GitHub
commit d5c4c8efdf
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -3,16 +3,16 @@
rustPlatform.buildRustPackage rec {
name = "tectonic-${version}";
version = "0.1.7";
version = "0.1.8";
src = fetchFromGitHub {
owner = "tectonic-typesetting";
repo = "tectonic";
rev = "v${version}";
sha256 = "007l0l9xnyayiqiap22zlsp8l9afdw803064cj8inr3q7ckzfcpb";
sha256 = "1bm3s2zkyy44xrc804c65hrbc6ixzcr95na671b0dannjrikrx1x";
};
cargoSha256 = "0kjy9zrjlrlkr2il62nz35hm1nndyym9dbnas43hzz7y8hdf859k";
cargoSha256 = "1pyaw72h85ydq794mpgfjfq7dcq3a1dg4infh770swfaycyll6h6";
nativeBuildInputs = [ pkgconfig ];