ptex

id

type: String

default: 'ptex'

argv1

type: String

default: '{scie.lift}'

version

type: String (Optional)

digest

type: digest (Optional)

base_url

type: String

default: 'https://github.com/a-scie/ptex/releases'

The base URL to download ptex binaries from.

Defaults to https://github.com/a-scie/ptex/releases but can be configured to the ptex sub-directory of a mirror created with the science download ptex command.