data/haskell-presburger-1.3.1/presburger.cabal:                                                           ASCII text
data/haskell-presburger-1.3.1/LICENSE:                                                                    ASCII text, with very long lines
data/haskell-presburger-1.3.1/Setup.hs:                                                                   ASCII text
data/haskell-presburger-1.3.1/tests/qc.hs:                                                                ASCII text
data/haskell-presburger-1.3.1/src/Data/Integer/SAT.hs:                                                    ASCII text
data/haskell-presburger-1.3.1/debian/changelog:                                                           ASCII text
data/haskell-presburger-1.3.1/debian/compat:                                                              ASCII text
data/haskell-presburger-1.3.1/debian/control:                                                             ASCII text
data/haskell-presburger-1.3.1/debian/copyright:                                                           ASCII text, with very long lines
data/haskell-presburger-1.3.1/debian/patches/0b7ab4518debdd36add6bb967ef55e6be5dedfb9.patch:              unified diff output, ASCII text
data/haskell-presburger-1.3.1/debian/patches/fd7746dbc63d427ab5670341cd0fd13cb2c087b6.patch:              unified diff output, ASCII text
data/haskell-presburger-1.3.1/debian/patches/ghc-8.8.patch:                                               unified diff output, ASCII text
data/haskell-presburger-1.3.1/debian/patches/series:                                                      ASCII text
data/haskell-presburger-1.3.1/debian/rules:                                                               a /usr/bin/make -f script, ASCII text executable
data/haskell-presburger-1.3.1/debian/source/format:                                                       ASCII text
data/haskell-presburger-1.3.1/debian/watch:                                                               ASCII text
data/haskell-presburger-1.3.1/.pc/.version:                                                               ASCII text
data/haskell-presburger-1.3.1/.pc/.quilt_patches:                                                         ASCII text
data/haskell-presburger-1.3.1/.pc/.quilt_series:                                                          ASCII text
data/haskell-presburger-1.3.1/.pc/applied-patches:                                                        ASCII text
data/haskell-presburger-1.3.1/.pc/fd7746dbc63d427ab5670341cd0fd13cb2c087b6.patch/src/Data/Integer/SAT.hs: ASCII text
data/haskell-presburger-1.3.1/.pc/0b7ab4518debdd36add6bb967ef55e6be5dedfb9.patch/src/Data/Integer/SAT.hs: ASCII text
data/haskell-presburger-1.3.1/.pc/ghc-8.8.patch/src/Data/Integer/SAT.hs:                                  ASCII text