| Parent directory/ | - | - |
| libghc-what4-dev_1.5.1-4+b4_i386.deb | 6.8 MiB | February 14, 2025 |
| haskell-what4-utils_1.5.1-4+b4_i386.deb | 6.0 MiB | February 14, 2025 |
| libghc-what4-prof_1.5.1-4+b4_i386.deb | 5.7 MiB | February 14, 2025 |
| haskell-what4-utils_1.5.1-4+b3_amd64.deb | 4.0 MiB | February 2, 2025 |
| libghc-what4-prof_1.5.1-4+b3_amd64.deb | 3.7 MiB | February 2, 2025 |
| libghc-what4-dev_1.5.1-4+b3_amd64.deb | 4.1 MiB | February 2, 2025 |
| haskell-what4-utils_1.5.1-4+b2_riscv64.deb | 5.3 MiB | October 25, 2024 |
| libghc-what4-prof_1.5.1-4+b2_riscv64.deb | 7.8 MiB | October 25, 2024 |
| libghc-what4-dev_1.5.1-4+b2_riscv64.deb | 7.7 MiB | October 25, 2024 |
| libghc-what4-prof_1.5.1-4+b3_mips64el.deb | 5.2 MiB | October 23, 2024 |
| haskell-what4-utils_1.5.1-4+b3_mips64el.deb | 6.0 MiB | October 23, 2024 |
| libghc-what4-dev_1.5.1-4+b3_mips64el.deb | 6.2 MiB | October 23, 2024 |
| libghc-what4-prof_1.5.1-4+b2_arm64.deb | 4.3 MiB | October 23, 2024 |
| libghc-what4-dev_1.5.1-4+b2_arm64.deb | 4.4 MiB | October 23, 2024 |
| haskell-what4-utils_1.5.1-4+b2_arm64.deb | 4.0 MiB | October 23, 2024 |
| libghc-what4-prof_1.5.1-4+b2_ppc64el.deb | 4.9 MiB | October 23, 2024 |
| haskell-what4-utils_1.5.1-4+b2_ppc64el.deb | 3.9 MiB | October 23, 2024 |
| libghc-what4-dev_1.5.1-4+b2_ppc64el.deb | 5.6 MiB | October 23, 2024 |
| libghc-what4-doc_1.5.1-4_all.deb | 1.5 MiB | October 8, 2024 |
| 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 |
| 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-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 |
| 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-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-doc_1.3-4_all.deb | 1.4 MiB | October 12, 2022 |
