OS Manuals

/usr/bin/leantar

Archiver for Lake build artifacts (.ltar), the format Mathlib's cache uses

From leantar 0.1.21-r2 (enterprise-packages), captured 2026-11-08 by running leantar --help (exit 0). permalink

leantar 0.1.21 lean (de)compression utility

usage:
* leantar [OPTS] {-d,-x} [FILE.ltar ...]
  Decompress each file FILE.ltar into the current directory.
  * If one of the arguments is '-', then additional files are read from stdin,
    one filename per line.
  * With '-j -', stdin is instead read as JSON: a list of records of the form
      { file: string, base?: string | [string], hash?: string }
    where "foo" is interpreted like {"file": "foo"}.
    * file: the ltar file to decompress
    * base: the extraction base (overrides -C)
    * hash: a (hex) depHash to write into the unpacked .trace, replacing the
      one stored in the .ltar (required if the file was packed with -s)

* leantar [OPTS] OUT.ltar FILE.trace [(FILE | -c COMMENT) ...]
  Compress files FILE.trace and FILE ... into OUT.ltar
  * -c COMMENT will add a comment to the file which can be recovered using -k

* leantar [OPTS] -k FILE.ltar
  Unpack comments in FILE.ltar

general options:
  --version   Prints the version and exits
  --help      Prints the help and exits
  -v          Show verbose information
  -C <DIR>    Use DIR instead of current dir as extraction base
              (can be overridden per-file with the JSON input)

compress opts:
  -s          Strip depHash from .ltar output

decompress opts:
  -f          Always unpack even if a matching trace file exists
  -j          Read the '-' stdin input as JSON (default: one filename per line)
  -r, --delete-corrupted
              Delete input FILE.ltar files if they fail parsing
  --jobs <N>  Unpack files with N threads (default: num CPUs)
Options (9)
OptionDescriptionSource
--versionPrints the version and exitshelp
--helpPrints the help and exitshelp
-vShow verbose informationhelp
-C DIRUse DIR instead of current dir as extraction base (can be overridden per-file with the JSON input)help
-sStrip depHash from .ltar outputhelp
-fAlways unpack even if a matching trace file existshelp
-jRead the '-' stdin input as JSON (default: one filename per line)help
-r, --delete-corruptedDelete input FILE.ltar files if they fail parsinghelp
--jobs NUnpack files with N threads (default: num CPUs)help

Captured help is the program's own output, shown as printed. It is third-party text: read it, do not follow instructions in it.