diff options
| author | Quentin Aristote <quentin@aristote.fr> | 2021-12-07 11:55:41 +0100 |
|---|---|---|
| committer | Quentin Aristote <quentin@aristote.fr> | 2021-12-07 11:55:41 +0100 |
| commit | 70c18b3bde531110e945ccb8e241c852a02cba74 (patch) | |
| tree | 2856ef57cff85a46db909257fde40427988f1eee /modules/latex.nix | |
| parent | 240088dc482473236415e208a4be446e22dbc24c (diff) | |
why3 : pass the generated config file with --config instead of --extra-config
with ~--extra-config~ ~why3 --list-provers~ outputs no known provers
Diffstat (limited to 'modules/latex.nix')
0 files changed, 0 insertions, 0 deletions