-

/nix/store/ac6iwd3ixncb9cqjg59fbj2nzcfmsqgn-polyml-5.7.1
├── bin
│   ├── poly
│   ├── polyc
│   └── polyimport
├── lib
│   ├── libpolymain.a
│   ├── libpolymain.la
│   ├── libpolyml.la
│   ├── libpolyml.so -> libpolyml.so.9.0.0
│   ├── libpolyml.so.9 -> libpolyml.so.9.0.0
│   ├── libpolyml.so.9.0.0
│   ├── pkgconfig
│   │   └── polyml.pc
│   └── polyml
│       └── modules
│           └── IntInfAsInt
└── share
    └── man
        └── man1
            ├── poly.1.gz
            ├── polyc.1.gz
            └── polyimport.1.gz

8 directories, 14 files