gistfile1.txt

/nix/store/n4pd0mjw0zljrm4i7xb04rh1w6kms211-eprover-2.5
├── bin
│   ├── checkproof
│   ├── e_axfilter
│   ├── e_deduction_server
│   ├── eground
│   ├── ekb_create
│   ├── ekb_delete
│   ├── ekb_ginsert
│   ├── ekb_insert
│   ├── e_ltb_runner
│   ├── epclextract
│   ├── eprover
│   ├── e_stratpar
│   └── picosat
└── share
    └── man
        ├── checkproof.1.gz
        ├── e_axfilter.1.gz
        ├── e_deduction_server.1.gz
        ├── eground.1.gz
        ├── ekb_create.1.gz
        ├── ekb_delete.1.gz
        ├── ekb_ginsert.1.gz
        ├── ekb_insert.1.gz
        ├── e_ltb_runner.1.gz
        ├── epclextract.1.gz
        ├── eprover.1.gz
        └── e_stratpar.1.gz

3 directories, 25 files