gistfile1.txt

/nix/store/i5vkq1qda208lc3dcclb3dwwxfy2833c-libpoly-0.1.5
├── include
│   └── poly
│       ├── algebraic_number.h
│       ├── assignment.h
│       ├── dyadic_interval.h
│       ├── dyadic_rational.h
│       ├── feasibility_set.h
│       ├── integer.h
│       ├── interval.h
│       ├── monomial.h
│       ├── output_language.h
│       ├── poly.h
│       ├── polynomial_context.h
│       ├── polynomial.h
│       ├── polynomial_hash_set.h
│       ├── polynomial_vector.h
│       ├── rational.h
│       ├── rational_interval.h
│       ├── sign_condition.h
│       ├── upolynomial_factors.h
│       ├── upolynomial.h
│       ├── value.h
│       ├── variable_db.h
│       ├── variable_list.h
│       ├── variable_order.h
│       └── version.h
└── lib
    ├── libpoly.a
    ├── libpoly.so -> libpoly.so.0
    ├── libpoly.so.0 -> libpoly.so.0.1.5
    └── libpoly.so.0.1.5

3 directories, 28 files