../ | | - | Directory |
libghc-copilot-theorem-dev_3.13-1_amd64.deb | 2023-Jan-10 11:15:05 | 576.6K | application/vnd.debian.binary-package |
libghc-copilot-theorem-dev_3.13-1_arm64.deb | 2023-Jan-10 13:47:21 | 766.9K | application/vnd.debian.binary-package |
libghc-copilot-theorem-dev_3.13-1_i386.deb | 2023-Jan-10 11:04:56 | 909.3K | application/vnd.debian.binary-package |
libghc-copilot-theorem-dev_3.13-1_mips64el.deb | 2023-Jan-10 13:12:07 | 772.4K | application/vnd.debian.binary-package |
libghc-copilot-theorem-dev_3.13-1_ppc64el.deb | 2023-Jan-10 20:29:44 | 776.2K | application/vnd.debian.binary-package |
libghc-copilot-theorem-dev_4.3-1_amd64.deb | 2025-Mar-30 01:19:14 | 575.9K | application/vnd.debian.binary-package |
libghc-copilot-theorem-dev_4.3-1_arm64.deb | 2025-Mar-30 01:24:19 | 575.9K | application/vnd.debian.binary-package |
libghc-copilot-theorem-dev_4.3-1_i386.deb | 2025-Mar-30 01:24:33 | 901.9K | application/vnd.debian.binary-package |
libghc-copilot-theorem-dev_4.3-1_ppc64el.deb | 2025-Mar-30 01:19:18 | 723.5K | application/vnd.debian.binary-package |
libghc-copilot-theorem-dev_4.3-1_riscv64.deb | 2025-Mar-30 04:38:29 | 0.9M | application/vnd.debian.binary-package |
libghc-copilot-theorem-dev_4.5-1_amd64.deb | 2025-Aug-12 06:40:07 | 577.3K | application/vnd.debian.binary-package |
libghc-copilot-theorem-dev_4.5-1_arm64.deb | 2025-Aug-12 06:45:11 | 576.6K | application/vnd.debian.binary-package |
libghc-copilot-theorem-dev_4.5-1_i386.deb | 2025-Aug-12 06:40:06 | 905.8K | application/vnd.debian.binary-package |
libghc-copilot-theorem-dev_4.5-1_mips64el.deb | 2025-Aug-12 07:40:40 | 795.8K | application/vnd.debian.binary-package |
libghc-copilot-theorem-dev_4.5-1_ppc64el.deb | 2025-Aug-12 06:35:00 | 724.2K | application/vnd.debian.binary-package |
libghc-copilot-theorem-dev_4.5-1_riscv64.deb | 2025-Aug-12 10:02:45 | 999.8K | application/vnd.debian.binary-package |
libghc-copilot-theorem-doc_3.13-1_all.deb | 2023-Jan-10 10:59:46 | 208.8K | application/vnd.debian.binary-package |
libghc-copilot-theorem-doc_4.3-1_all.deb | 2025-Mar-30 01:24:24 | 224.2K | application/vnd.debian.binary-package |
libghc-copilot-theorem-doc_4.5-1_all.deb | 2025-Aug-12 06:40:06 | 225.4K | application/vnd.debian.binary-package |
libghc-copilot-theorem-prof_3.13-1_amd64.deb | 2023-Jan-10 11:15:05 | 500.1K | application/vnd.debian.binary-package |
libghc-copilot-theorem-prof_3.13-1_arm64.deb | 2023-Jan-10 13:47:21 | 735.3K | application/vnd.debian.binary-package |
libghc-copilot-theorem-prof_3.13-1_i386.deb | 2023-Jan-10 11:04:56 | 732.6K | application/vnd.debian.binary-package |
libghc-copilot-theorem-prof_3.13-1_mips64el.deb | 2023-Jan-10 13:12:07 | 663.1K | application/vnd.debian.binary-package |
libghc-copilot-theorem-prof_3.13-1_ppc64el.deb | 2023-Jan-10 20:29:44 | 627.2K | application/vnd.debian.binary-package |
libghc-copilot-theorem-prof_4.3-1_amd64.deb | 2025-Mar-30 01:19:14 | 536.1K | application/vnd.debian.binary-package |
libghc-copilot-theorem-prof_4.3-1_arm64.deb | 2025-Mar-30 01:24:19 | 616.0K | application/vnd.debian.binary-package |
libghc-copilot-theorem-prof_4.3-1_i386.deb | 2025-Mar-30 01:24:33 | 794.5K | application/vnd.debian.binary-package |
libghc-copilot-theorem-prof_4.3-1_ppc64el.deb | 2025-Mar-30 01:19:18 | 681.4K | application/vnd.debian.binary-package |
libghc-copilot-theorem-prof_4.3-1_riscv64.deb | 2025-Mar-30 04:38:29 | 1.0M | application/vnd.debian.binary-package |
libghc-copilot-theorem-prof_4.5-1_amd64.deb | 2025-Aug-12 06:40:07 | 537.4K | application/vnd.debian.binary-package |
libghc-copilot-theorem-prof_4.5-1_arm64.deb | 2025-Aug-12 06:45:11 | 616.1K | application/vnd.debian.binary-package |
libghc-copilot-theorem-prof_4.5-1_i386.deb | 2025-Aug-12 06:40:06 | 801.0K | application/vnd.debian.binary-package |
libghc-copilot-theorem-prof_4.5-1_mips64el.deb | 2025-Aug-12 07:40:40 | 732.4K | application/vnd.debian.binary-package |
libghc-copilot-theorem-prof_4.5-1_ppc64el.deb | 2025-Aug-12 06:35:00 | 683.9K | application/vnd.debian.binary-package |
libghc-copilot-theorem-prof_4.5-1_riscv64.deb | 2025-Aug-12 10:02:45 | 1.0M | application/vnd.debian.binary-package |