gistfile1.txt

/nix/store/krbi5x8vd00s8pz3yvr0gx3mm7my88wc-ocaml4.06.1-psmt2-frontend-0.2
└── lib
    └── ocaml
        └── 4.06.1
            └── site-lib
                └── psmt2-frontend
                    ├── META
                    ├── options.mli
                    ├── psmt2Frontend.a
                    ├── psmt2Frontend.cma
                    ├── psmt2Frontend.cmi
                    ├── psmt2Frontend.cmo
                    ├── psmt2Frontend.cmt
                    ├── psmt2Frontend.cmx
                    ├── psmt2Frontend.cmxa
                    ├── psmt2Frontend.cmxs
                    ├── psmt2Frontend.o
                    ├── smtlib_parser.mli
                    └── version.mli

5 directories, 13 files