data/picosat-965/picosat.h:                           C source, ASCII text
data/picosat-965/picogcnf.c:                          C source, ASCII text
data/picosat-965/NEWS:                                ASCII text
data/picosat-965/LICENSE:                             ASCII text
data/picosat-965/app.c:                               C source, ASCII text
data/picosat-965/version.c:                           C source, ASCII text
data/picosat-965/VERSION:                             ASCII text
data/picosat-965/picomcs.c:                           C source, ASCII text
data/picosat-965/README:                              ASCII text
data/picosat-965/main.c:                              ASCII text
data/picosat-965/mkconfig.sh:                         POSIX shell script, ASCII text executable
data/picosat-965/configure.sh:                        POSIX shell script, ASCII text executable
data/picosat-965/picomus.c:                           C source, ASCII text
data/picosat-965/debian/changelog:                    ASCII text
data/picosat-965/debian/control:                      ASCII text
data/picosat-965/debian/copyright:                    ASCII text
data/picosat-965/debian/dirs:                         ASCII text
data/picosat-965/debian/install:                      a /usr/bin/dh-exec script, ASCII text executable
data/picosat-965/debian/links:                        a /usr/bin/dh-exec script, ASCII text executable
data/picosat-965/debian/manpages:                     ASCII text
data/picosat-965/debian/patches/dynamic_lib.patch:    unified diff output, ASCII text
data/picosat-965/debian/patches/hardening.patch:      unified diff output, ASCII text
data/picosat-965/debian/patches/series:               ASCII text
data/picosat-965/debian/patches/verbose_output.patch: unified diff output, ASCII text
data/picosat-965/debian/picomus.1:                    troff or preprocessor input, ASCII text
data/picosat-965/debian/picosat.1:                    troff or preprocessor input, ASCII text
data/picosat-965/debian/rules:                        a /usr/bin/make -f script, ASCII text executable
data/picosat-965/debian/source/format:                ASCII text
data/picosat-965/debian/symbols:                      ASCII text
data/picosat-965/debian/upstream/metadata:            ASCII text
data/picosat-965/debian/watch:                        ASCII text
data/picosat-965/.pc/.version:                        ASCII text
data/picosat-965/.pc/.quilt_patches:                  ASCII text
data/picosat-965/.pc/.quilt_series:                   ASCII text
data/picosat-965/.pc/applied-patches:                 ASCII text
data/picosat-965/.pc/dynamic_lib.patch/makefile.in:   makefile script, ASCII text
data/picosat-965/.pc/verbose_output.patch/picosat.c:  C source, ASCII text
data/picosat-965/.pc/hardening.patch/makefile.in:     makefile script, ASCII text
data/picosat-965/picosat.c:                           C source, ASCII text
data/picosat-965/makefile.in:                         makefile script, ASCII text