gistfile1.txt

/nix/store/xmsf9vfzxgzkgysj7c0sb8r3whr9673x-polyml-5.8
├── bin
│   ├── poly
│   ├── polyc
│   └── polyimport
├── lib
│   ├── libpolymain.a
│   ├── libpolymain.la
│   ├── libpolyml.la
│   ├── libpolyml.so -> libpolyml.so.10.0.0
│   ├── libpolyml.so.10 -> libpolyml.so.10.0.0
│   ├── libpolyml.so.10.0.0
│   ├── pkgconfig
│   │   └── polyml.pc
│   └── polyml
│       └── modules
│           └── IntInfAsInt
└── share
    └── man
        └── man1
            ├── poly.1.gz
            ├── polyc.1.gz
            └── polyimport.1.gz

8 directories, 14 files