gistfile1.txt

/nix/store/484fg7w1fr5xh2avc4g7811mxq3v3p9x-clingo-5.3.0
├── bin
│   ├── clasp
│   ├── clingo
│   ├── gringo
│   ├── lpconvert
│   └── reify
├── include
│   ├── clingo.h
│   └── clingo.hh
└── lib
    ├── cmake
    │   └── Clingo
    │       ├── ClingoConfig.cmake
    │       ├── ClingoConfigVersion.cmake
    │       ├── ClingoTargets.cmake
    │       └── ClingoTargets-release.cmake
    ├── libclingo.so -> libclingo.so.2
    ├── libclingo.so.2 -> libclingo.so.2.0
    └── libclingo.so.2.0

5 directories, 14 files