/nix/store/c181bjv2v6488mqdnv6c8rzidp0zlbp9-clingo-5.4.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.3
    ├── libclingo.so.3 -> libclingo.so.3.0
    └── libclingo.so.3.0

5 directories, 14 files