about summary refs log tree commit diff
path: root/pkgs/tools/typesetting/tex/lkproof
AgeCommit message (Expand)AuthorFilesLines
2021-08-02tools/{text/typesetting}: replace name with pname&versionFelix Buehler1-1/+2
2021-02-20treewide: unzip buildInputs to nativeBuildInputs (#112302)Ben Siraphob1-1/+1
2021-01-11treewide: with stdenv.lib; in meta -> with lib;Profpatsch1-2/+2
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-1/+1
2018-11-15lkproof: add licenseMarkus Kowalewski1-4/+5
2016-08-02treewide: Add lots of platforms to packages with no metaTuomas Tynkkynen1-0/+4
2012-02-06svn merge ^/nixpkgs/trunkYury G. Kudryashov1-0/+17
2012-02-04Moved all LaTeX expressions into tools/typesetting hierarchy.Peter Simons1-0/+17