This website requires JavaScript.
Explore
Help
Sign In
nek0
/
nixpkgs
Watch
1
Star
0
Fork
You've already forked nixpkgs
0
Code
Issues
Pull requests
Releases
Wiki
Activity
b45c4d2d88
nixpkgs
/
pkgs
/
tools
/
typesetting
/
tex
/
lkproof
History
Markus Kowalewski
d190d8af0c
lkproof: add license
2018-11-15 00:13:53 +01:00
..
default.nix
lkproof: add license
2018-11-15 00:13:53 +01:00