../ haskell-presburger_1.3.1-3.debian.tar.xz 26-Apr-2023 14:55 2100 haskell-presburger_1.3.1-3.dsc 26-Apr-2023 14:55 2445 haskell-presburger_1.3.1.orig.tar.gz 26-Apr-2023 14:55 11K libghc-presburger-dev_1.3.1-3+b1_i386.deb 26-Apr-2023 14:55 169K libghc-presburger-doc_1.3.1-3_all.deb 26-Apr-2023 14:55 47K libghc-presburger-prof_1.3.1-3+b1_i386.deb 26-Apr-2023 14:55 157K