package info (click to toggle)
lhs2tex 1.24-1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm, bullseye
  • size: 1,976 kB
  • sloc: haskell: 4,408; makefile: 314; sh: 221

Folder: Library

d .. (parent)
- - rwxr-xr-x 1,603 agda.fmt
- - rwxr-xr-x 681 beamer.fmt
- - rwxr-xr-x 1,196 beamerboxed.fmt
- - rwxr-xr-x 1,785 colorcode.fmt
- - rwxr-xr-x 850 exists.fmt
- - rwxr-xr-x 1,844 forall.fmt
- - rwxr-xr-x 1,839 greek.fmt
- - rwxr-xr-x 926 jfpcompat.fmt
- - rwxr-xr-x 977 lambda.fmt
- - rwxr-xr-x 5,699 polycode.fmt
- - rwxr-xr-x 799 spacing.fmt