| Parent directory/ | - | - |
| libghc-what4-doc_1.3-4_all.deb | 1.4 MiB | October 12, 2022 |
| libghc-what4-dev_1.3-4+b3_amd64.deb | 3.6 MiB | October 27, 2022 |
| libghc-what4-prof_1.3-4+b3_amd64.deb | 3.3 MiB | October 27, 2022 |
| haskell-what4-utils_1.3-4+b3_amd64.deb | 2.0 MiB | October 27, 2022 |
| libghc-what4-prof_1.3-4+b2_i386.deb | 5.0 MiB | October 27, 2022 |
| haskell-what4-utils_1.3-4+b2_i386.deb | 5.4 MiB | October 27, 2022 |
| libghc-what4-dev_1.3-4+b2_i386.deb | 6.0 MiB | October 27, 2022 |
| libghc-what4-prof_1.3-4+b2_arm64.deb | 4.8 MiB | October 27, 2022 |
| haskell-what4-utils_1.3-4+b2_arm64.deb | 4.6 MiB | October 27, 2022 |
| libghc-what4-dev_1.3-4+b2_arm64.deb | 5.3 MiB | October 27, 2022 |
| haskell-what4-utils_1.3-4+b1_ppc64el.deb | 3.8 MiB | October 28, 2022 |
| libghc-what4-prof_1.3-4+b1_ppc64el.deb | 4.3 MiB | October 28, 2022 |
| libghc-what4-dev_1.3-4+b1_ppc64el.deb | 5.4 MiB | October 28, 2022 |
| libghc-what4-dev_1.3-4+b1_mips64el.deb | 5.3 MiB | October 30, 2022 |
| libghc-what4-prof_1.3-4+b1_mips64el.deb | 4.5 MiB | October 30, 2022 |
| haskell-what4-utils_1.3-4+b1_mips64el.deb | 5.7 MiB | October 30, 2022 |
| libghc-what4-doc_1.5.1-3_all.deb | 1.5 MiB | November 4, 2023 |
| libghc-what4-prof_1.5.1-3+b1_arm64.deb | 4.3 MiB | April 13, 2024 |
| haskell-what4-utils_1.5.1-3+b1_arm64.deb | 4.0 MiB | April 13, 2024 |
| libghc-what4-dev_1.5.1-3+b1_arm64.deb | 4.5 MiB | April 13, 2024 |
| haskell-what4-utils_1.5.1-3+b1_amd64.deb | 4.0 MiB | April 13, 2024 |
| libghc-what4-prof_1.5.1-3+b1_amd64.deb | 3.7 MiB | April 13, 2024 |
| libghc-what4-dev_1.5.1-3+b1_amd64.deb | 4.1 MiB | April 13, 2024 |
| libghc-what4-dev_1.5.1-3+b1_ppc64el.deb | 6.2 MiB | April 13, 2024 |
| haskell-what4-utils_1.5.1-3+b1_ppc64el.deb | 4.5 MiB | April 13, 2024 |
| libghc-what4-prof_1.5.1-3+b1_ppc64el.deb | 4.8 MiB | April 13, 2024 |
| libghc-what4-dev_1.5.1-3+b1_i386.deb | 7.0 MiB | April 13, 2024 |
| libghc-what4-prof_1.5.1-3+b1_i386.deb | 5.8 MiB | April 13, 2024 |
| haskell-what4-utils_1.5.1-3+b1_i386.deb | 6.0 MiB | April 13, 2024 |
| haskell-what4-utils_1.5.1-3+b1_mips64el.deb | 6.4 MiB | April 13, 2024 |
| libghc-what4-dev_1.5.1-3+b1_mips64el.deb | 6.2 MiB | April 13, 2024 |
| libghc-what4-prof_1.5.1-3+b1_mips64el.deb | 5.2 MiB | April 13, 2024 |
| libghc-what4-prof_1.5.1-3+b1_riscv64.deb | 7.5 MiB | April 15, 2024 |
| libghc-what4-dev_1.5.1-3+b1_riscv64.deb | 6.9 MiB | April 15, 2024 |
| haskell-what4-utils_1.5.1-3+b1_riscv64.deb | 5.0 MiB | April 15, 2024 |
