| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | animatedot.sh | 207 | logstatsplain |
| -rw-r--r-- | copy-includes.pl | 988 | logstatsplain |
| -rw-r--r-- | default.nix | 6939 | logstatsplain |
| -rw-r--r-- | dot2pdf.sh | 375 | logstatsplain |
| -rw-r--r-- | dot2ps.sh | 332 | logstatsplain |
| -rw-r--r-- | find-includes.pl | 2200 | logstatsplain |
| -rw-r--r-- | find-lhs2tex-includes.sh | 107 | logstatsplain |
| -rw-r--r-- | lhs2tex.sh | 306 | logstatsplain |
| -rw-r--r-- | run-latex.sh | 3653 | logstatsplain |
 |
index : nixpkgs | |
| Nixpkgs mirror | NixOS |
| summaryrefslogtreecommitdiffstats |