Index of /ubuntu-ports/pool/universe/h/haskell-simple-smt/


../
haskell-simple-smt_0.6.0-3build1.debian.tar.xz     24-Jan-2017 10:50                2268
haskell-simple-smt_0.6.0-3build1.dsc               24-Jan-2017 10:50                2307
haskell-simple-smt_0.6.0.orig.tar.gz               16-Jun-2016 12:04                7870
haskell-simple-smt_0.9.1-1build1.debian.tar.xz     03-Aug-2019 11:13                2572
haskell-simple-smt_0.9.1-1build1.dsc               03-Aug-2019 11:13                2346
haskell-simple-smt_0.9.1.orig.tar.gz               12-Dec-2018 09:34                8816
haskell-simple-smt_0.9.5-1build1.debian.tar.xz     30-Oct-2020 02:20                2640
haskell-simple-smt_0.9.5-1build1.dsc               30-Oct-2020 02:20                2462
haskell-simple-smt_0.9.5.orig.tar.gz               17-Aug-2020 23:18                9315
haskell-simple-smt_0.9.7-2.debian.tar.xz           04-Nov-2023 17:07                2628
haskell-simple-smt_0.9.7-2.dsc                     04-Nov-2023 17:07                2355
haskell-simple-smt_0.9.7-2build1.debian.tar.xz     15-May-2024 08:39                2692
haskell-simple-smt_0.9.7-2build1.dsc               15-May-2024 08:39                2350
haskell-simple-smt_0.9.7-3.debian.tar.xz           21-Oct-2024 05:08                2652
haskell-simple-smt_0.9.7-3.dsc                     21-Oct-2024 05:08                2357
haskell-simple-smt_0.9.7.orig.tar.gz               03-Jul-2022 05:29               10177
libghc-simple-smt-dev_0.6.0-3build1_arm64.deb      24-Jan-2017 11:46               98680
libghc-simple-smt-dev_0.6.0-3build1_armhf.deb      24-Jan-2017 11:47               88844
libghc-simple-smt-dev_0.6.0-3build1_ppc64el.deb    24-Jan-2017 11:31               88570
libghc-simple-smt-dev_0.6.0-3build1_s390x.deb      24-Jan-2017 11:32               98602
libghc-simple-smt-dev_0.9.1-1build1_arm64.deb      03-Aug-2019 11:24              105488
libghc-simple-smt-dev_0.9.1-1build1_armhf.deb      03-Aug-2019 11:25              102080
libghc-simple-smt-dev_0.9.1-1build1_ppc64el.deb    03-Aug-2019 11:53              117068
libghc-simple-smt-dev_0.9.1-1build1_riscv64.deb    08-Apr-2020 01:18              152816
libghc-simple-smt-dev_0.9.1-1build1_s390x.deb      03-Aug-2019 11:25              122048
libghc-simple-smt-dev_0.9.5-1build1_arm64.deb      30-Oct-2020 03:10              110964
libghc-simple-smt-dev_0.9.5-1build1_armhf.deb      30-Oct-2020 03:11              106468
libghc-simple-smt-dev_0.9.5-1build1_ppc64el.deb    30-Oct-2020 03:11              123748
libghc-simple-smt-dev_0.9.5-1build1_riscv64.deb    30-Oct-2020 05:43              154372
libghc-simple-smt-dev_0.9.5-1build1_s390x.deb      30-Oct-2020 03:12              132408
libghc-simple-smt-dev_0.9.7-2_arm64.deb            04-Nov-2023 18:17              122834
libghc-simple-smt-dev_0.9.7-2_armhf.deb            04-Nov-2023 18:17              131038
libghc-simple-smt-dev_0.9.7-2_ppc64el.deb          04-Nov-2023 17:08              160578
libghc-simple-smt-dev_0.9.7-2_riscv64.deb          04-Nov-2023 21:54              185024
libghc-simple-smt-dev_0.9.7-2_s390x.deb            04-Nov-2023 18:17              159368
libghc-simple-smt-dev_0.9.7-2build1_arm64.deb      15-May-2024 19:05              123094
libghc-simple-smt-dev_0.9.7-2build1_armhf.deb      15-May-2024 19:05              130934
libghc-simple-smt-dev_0.9.7-2build1_ppc64el.deb    15-May-2024 23:04              164532
libghc-simple-smt-dev_0.9.7-2build1_riscv64.deb    15-May-2024 14:04              183872
libghc-simple-smt-dev_0.9.7-2build1_s390x.deb      16-May-2024 10:59              160060
libghc-simple-smt-dev_0.9.7-3_arm64.deb            21-Oct-2024 05:11              112046
libghc-simple-smt-dev_0.9.7-3_armhf.deb            21-Oct-2024 05:12              139978
libghc-simple-smt-dev_0.9.7-3_ppc64el.deb          21-Oct-2024 05:14              134264
libghc-simple-smt-dev_0.9.7-3_riscv64.deb          21-Oct-2024 08:10              191146
libghc-simple-smt-dev_0.9.7-3_s390x.deb            21-Oct-2024 05:16              175684
libghc-simple-smt-doc_0.6.0-3build1_all.deb        24-Jan-2017 11:26               35268
libghc-simple-smt-doc_0.9.1-1build1_all.deb        03-Aug-2019 11:24               52372
libghc-simple-smt-doc_0.9.5-1build1_all.deb        30-Oct-2020 02:25               58516
libghc-simple-smt-doc_0.9.7-2_all.deb              04-Nov-2023 17:07               61148
libghc-simple-smt-doc_0.9.7-2build1_all.deb        15-May-2024 09:25               61540
libghc-simple-smt-doc_0.9.7-3_all.deb              21-Oct-2024 05:09               61162
libghc-simple-smt-prof_0.6.0-3build1_arm64.deb     24-Jan-2017 11:46               88690
libghc-simple-smt-prof_0.6.0-3build1_armhf.deb     24-Jan-2017 11:47               78950
libghc-simple-smt-prof_0.6.0-3build1_ppc64el.deb   24-Jan-2017 11:31               84280
libghc-simple-smt-prof_0.6.0-3build1_s390x.deb     24-Jan-2017 11:32               82124
libghc-simple-smt-prof_0.9.1-1build1_arm64.deb     03-Aug-2019 11:24               83688
libghc-simple-smt-prof_0.9.1-1build1_armhf.deb     03-Aug-2019 11:24               81012
libghc-simple-smt-prof_0.9.1-1build1_ppc64el.deb   03-Aug-2019 11:53               89532
libghc-simple-smt-prof_0.9.1-1build1_riscv64.deb   08-Apr-2020 01:18              142428
libghc-simple-smt-prof_0.9.1-1build1_s390x.deb     03-Aug-2019 11:25               85504
libghc-simple-smt-prof_0.9.5-1build1_arm64.deb     30-Oct-2020 03:10               87856
libghc-simple-smt-prof_0.9.5-1build1_armhf.deb     30-Oct-2020 03:11               86056
libghc-simple-smt-prof_0.9.5-1build1_ppc64el.deb   30-Oct-2020 03:11               98072
libghc-simple-smt-prof_0.9.5-1build1_riscv64.deb   30-Oct-2020 05:43              140164
libghc-simple-smt-prof_0.9.5-1build1_s390x.deb     30-Oct-2020 03:12               91376
libghc-simple-smt-prof_0.9.7-2_arm64.deb           04-Nov-2023 18:17              116942
libghc-simple-smt-prof_0.9.7-2_armhf.deb           04-Nov-2023 18:17              133780
libghc-simple-smt-prof_0.9.7-2_ppc64el.deb         04-Nov-2023 17:08              127240
libghc-simple-smt-prof_0.9.7-2_riscv64.deb         04-Nov-2023 21:54              204476
libghc-simple-smt-prof_0.9.7-2_s390x.deb           04-Nov-2023 18:17              141286
libghc-simple-smt-prof_0.9.7-2build1_arm64.deb     15-May-2024 19:05              116874
libghc-simple-smt-prof_0.9.7-2build1_armhf.deb     15-May-2024 19:05              133656
libghc-simple-smt-prof_0.9.7-2build1_ppc64el.deb   15-May-2024 23:04              127218
libghc-simple-smt-prof_0.9.7-2build1_riscv64.deb   15-May-2024 14:04              204610
libghc-simple-smt-prof_0.9.7-2build1_s390x.deb     16-May-2024 10:59              141680
libghc-simple-smt-prof_0.9.7-3_arm64.deb           21-Oct-2024 05:11              114154
libghc-simple-smt-prof_0.9.7-3_armhf.deb           21-Oct-2024 05:12              136704
libghc-simple-smt-prof_0.9.7-3_ppc64el.deb         21-Oct-2024 05:14              126672
libghc-simple-smt-prof_0.9.7-3_riscv64.deb         21-Oct-2024 08:10              199536
libghc-simple-smt-prof_0.9.7-3_s390x.deb           21-Oct-2024 05:16              146092