Merge pull request #31405 from romildo/fix.pygmentex

pygmentex: update src
This commit is contained in:
Jörg Thalheim 2017-11-08 21:50:47 +00:00 committed by GitHub
commit 709c2bf19f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -1,12 +1,14 @@
{ stdenv, fetchzip, python2Packages }:
{ stdenv, fetchFromBitbucket, python2Packages }:
python2Packages.buildPythonApplication rec {
name = "pygmentex-${version}";
version = "0.8";
src = fetchzip {
url = "http://mirrors.ctan.org/macros/latex/contrib/pygmentex.zip";
sha256 = "1nm19pvhlv51mv2sdankndhw64ys9r7ch6szzd6i4jz8zr86kn9v";
src = fetchFromBitbucket {
owner = "romildo";
repo = "pygmentex";
rev = version;
sha256 = "07dnv7hgppy15bda2kcbrlvfqzl6lhza80klc7133dwg8q92hm6m";
};
pythonPath = [ python2Packages.pygments python2Packages.chardet ];
@ -38,7 +40,7 @@ python2Packages.buildPythonApplication rec {
texlive.combine.
'';
license = licenses.lppl13c;
maintainers = with maintainers; [ romildo ];
platforms = platforms.unix;
maintainers = with maintainers; [ romildo ];
};
}