Index of /ubuntu-ports/pool/universe/h/haskell-smtlib/

../
haskell-smtlib_1.1-1build2.debian.tar.xz           30-Aug-2023 23:37                2692
haskell-smtlib_1.1-1build2.dsc                     30-Aug-2023 23:37                2334
haskell-smtlib_1.1-3.debian.tar.xz                 20-Dec-2023 00:12                2604
haskell-smtlib_1.1-3.dsc                           20-Dec-2023 00:12                2223
haskell-smtlib_1.1.orig.tar.gz                     30-Aug-2023 23:37                9667
libghc-smtlib-dev_1.1-1build2_arm64.deb            30-Aug-2023 23:37              613020
libghc-smtlib-dev_1.1-3_arm64.deb                  20-Dec-2023 00:12              524596
libghc-smtlib-doc_1.1-1build2_all.deb              30-Aug-2023 23:37               82596
libghc-smtlib-doc_1.1-3_all.deb                    20-Dec-2023 00:12               82856
libghc-smtlib-prof_1.1-1build2_arm64.deb           30-Aug-2023 23:37              458100
libghc-smtlib-prof_1.1-3_arm64.deb                 20-Dec-2023 00:12              523534