data/packup-0.6/basic_clause.hh:                            C++ source, ASCII text
data/packup-0.6/basic_types.h:                              C source, ASCII text
data/packup-0.6/clause_utils.hh:                            C source, ASCII text
data/packup-0.6/cl_functors.hh:                             C++ source, ASCII text
data/packup-0.6/cl_registry.cc:                             C source, ASCII text
data/packup-0.6/cl_utils.hh:                                C++ source, ASCII text
data/packup-0.6/collections.cc:                             C source, ASCII text
data/packup-0.6/common_types.cc:                            C source, ASCII text
data/packup-0.6/config.hh:                                  C source, ASCII text
data/packup-0.6/ConverterMem.cc:                            C source, ASCII text
data/packup-0.6/ConverterMem.hh:                            C++ source, ASCII text
data/packup-0.6/dbg_prt.hh:                                 C++ source, ASCII text
data/packup-0.6/Encoder.hh:                                 C++ source, ASCII text
data/packup-0.6/EncoderTypes.cc:                            C source, ASCII text
data/packup-0.6/EncoderTypes.hh:                            C source, ASCII text
data/packup-0.6/err_utils.hh:                               C++ source, ASCII text
data/packup-0.6/ExternalWrapper.hh:                         C++ source, ASCII text
data/packup-0.6/fmtutils.hh:                                C++ source, ASCII text
data/packup-0.6/functors.hh:                                C++ source, ASCII text
data/packup-0.6/globals.hh:                                 C++ source, ASCII text
data/packup-0.6/id_manager.hh:                              C++ source, ASCII text
data/packup-0.6/InstallableUnit.hh:                         C++ source, ASCII text
data/packup-0.6/IntervalVariables.cc:                       C source, ASCII text
data/packup-0.6/IntervalVariables.hh:                       C++ source, ASCII text
data/packup-0.6/Lexer.cc:                                   C++ source, ASCII text
data/packup-0.6/Lexer.hh:                                   C++ source, ASCII text
data/packup-0.6/LICENSE:                                    ASCII text
data/packup-0.6/macros.hh:                                  C++ source, ASCII text
data/packup-0.6/NotRemoved.cc:                              C source, ASCII text
data/packup-0.6/NotRemoved.hh:                              C++ source, ASCII text
data/packup-0.6/Options.cc:                                 C++ source, ASCII text
data/packup-0.6/Options.hh:                                 C++ source, ASCII text
data/packup-0.6/p.tab.cc:                                   C++ source, ASCII text
data/packup-0.6/p.tab.hh:                                   C source, ASCII text
data/packup-0.6/PackageVersions.hh:                         C++ source, ASCII text
data/packup-0.6/PackageVersionVariables.cc:                 C source, ASCII text
data/packup-0.6/PackageVersionVariables.hh:                 C++ source, ASCII text
data/packup-0.6/package_version.cc:                         C source, ASCII text
data/packup-0.6/package_version.hh:                         C++ source, ASCII text
data/packup-0.6/parser.cc:                                  C++ source, ASCII text
data/packup-0.6/parser.hh:                                  C++ source, ASCII text
data/packup-0.6/Printer.cc:                                 C source, ASCII text
data/packup-0.6/Printer.hh:                                 C++ source, ASCII text
data/packup-0.6/README.txt:                                 ASCII text
data/packup-0.6/rusage.hh:                                  C++ source, ASCII text
data/packup-0.6/SolutionReader.cc:                          C++ source, ASCII text
data/packup-0.6/SolutionReader.hh:                          C++ source, ASCII text
data/packup-0.6/SolverWrapper.hh:                           C++ source, ASCII text
data/packup-0.6/SolverWrapperBase.hh:                       C++ source, ASCII text
data/packup-0.6/SolverWrapperTypes.hh:                      C source, ASCII text
data/packup-0.6/VersionInstalled.hh:                        C++ source, ASCII text
data/packup-0.6/debian/changelog:                           UTF-8 Unicode text
data/packup-0.6/debian/compat:                              ASCII text
data/packup-0.6/debian/control:                             ASCII text
data/packup-0.6/debian/copyright:                           UTF-8 Unicode text
data/packup-0.6/debian/gbp.conf:                            ASCII text
data/packup-0.6/debian/packup.1:                            troff or preprocessor input, ASCII text
data/packup-0.6/debian/packup.dirs:                         ASCII text
data/packup-0.6/debian/packup.install:                      ASCII text
data/packup-0.6/debian/packup.manpages:                     ASCII text
data/packup-0.6/debian/patches/c++11:                       unified diff output, UTF-8 Unicode text
data/packup-0.6/debian/patches/make-environment:            unified diff output, ASCII text
data/packup-0.6/debian/patches/minisat+-invocation:         unified diff output, ASCII text
data/packup-0.6/debian/patches/series:                      ASCII text
data/packup-0.6/debian/patches/spelling:                    unified diff output, ASCII text
data/packup-0.6/debian/rules:                               a /usr/bin/make -f script, ASCII text executable
data/packup-0.6/debian/solvers/packup:                      ASCII text
data/packup-0.6/debian/source/format:                       ASCII text
data/packup-0.6/debian/tests/control:                       ASCII text
data/packup-0.6/debian/tests/install1.cudf:                 ASCII text
data/packup-0.6/debian/tests/simple:                        POSIX shell script, ASCII text executable
data/packup-0.6/debian/watch:                               ASCII text
data/packup-0.6/.pc/.version:                               ASCII text
data/packup-0.6/.pc/.quilt_patches:                         ASCII text
data/packup-0.6/.pc/.quilt_series:                          ASCII text
data/packup-0.6/.pc/applied-patches:                        ASCII text
data/packup-0.6/.pc/minisat+-invocation/ExternalWrapper.cc: C++ source, ASCII text
data/packup-0.6/.pc/make-environment/Makefile:              makefile script, ASCII text
data/packup-0.6/.pc/c++11/basic_clset.hh:                   C++ source, ASCII text
data/packup-0.6/.pc/c++11/cl_globals.hh:                    C++ source, ASCII text
data/packup-0.6/.pc/c++11/cl_registry.hh:                   C++ source, ASCII text
data/packup-0.6/.pc/c++11/cl_types.hh:                      C source, ASCII text
data/packup-0.6/.pc/c++11/collections.hh:                   C++ source, ASCII text
data/packup-0.6/.pc/c++11/common_types.hh:                  C++ source, ASCII text
data/packup-0.6/.pc/c++11/cudf_msu.cc:                      C++ source, ASCII text
data/packup-0.6/.pc/c++11/hash_structs.hh:                  empty
data/packup-0.6/.pc/c++11/Makefile:                         makefile script, ASCII text
data/packup-0.6/.pc/c++11/types.hh:                         C++ source, ASCII text
data/packup-0.6/.pc/spelling/Encoder.cc:                    C source, ASCII text
data/packup-0.6/ExternalWrapper.cc:                         C++ source, ASCII text
data/packup-0.6/basic_clset.hh:                             C++ source, ASCII text
data/packup-0.6/cl_globals.hh:                              C++ source, ASCII text
data/packup-0.6/cl_registry.hh:                             C++ source, ASCII text
data/packup-0.6/cl_types.hh:                                C source, ASCII text
data/packup-0.6/collections.hh:                             C++ source, ASCII text
data/packup-0.6/common_types.hh:                            C++ source, ASCII text
data/packup-0.6/cudf_msu.cc:                                C++ source, ASCII text
data/packup-0.6/hash_structs.hh:                            C++ source, ASCII text
data/packup-0.6/Makefile:                                   makefile script, ASCII text
data/packup-0.6/types.hh:                                   C++ source, ASCII text
data/packup-0.6/Encoder.cc:                                 C source, ASCII text