Index of /ubuntu-ports/security/pool/universe/h/haskell-copilot-theorem/

../
libghc-copilot-theorem-dev_3.18.1-2_arm64.deb      09-Jan-2024 12:05    659K
libghc-copilot-theorem-dev_3.18.1-2_armhf.deb      09-Jan-2024 12:05    666K
libghc-copilot-theorem-dev_4.2-1_arm64.deb         23-Jan-2025 13:46    630K
libghc-copilot-theorem-dev_4.2-1_armhf.deb         23-Jan-2025 15:41    726K
libghc-copilot-theorem-dev_4.5-1build1_arm64.deb   14-Sep-2025 15:43    654K
libghc-copilot-theorem-dev_4.5-1build1_armhf.deb   14-Sep-2025 15:43    754K
libghc-copilot-theorem-dev_4.6.1-1_arm64.deb       01-Mar-2026 13:55    640K
libghc-copilot-theorem-dev_4.6.1-1_armhf.deb       01-Mar-2026 13:56    767K
libghc-copilot-theorem-doc_3.18.1-2_all.deb        09-Jan-2024 11:21    187K
libghc-copilot-theorem-doc_4.2-1_all.deb           23-Jan-2025 13:45    189K
libghc-copilot-theorem-doc_4.5-1build1_all.deb     14-Sep-2025 15:43    203K
libghc-copilot-theorem-doc_4.6.1-1_all.deb         01-Mar-2026 13:54    198K
libghc-copilot-theorem-prof_3.18.1-2_arm64.deb     09-Jan-2024 12:05    679K
libghc-copilot-theorem-prof_3.18.1-2_armhf.deb     09-Jan-2024 12:05    722K
libghc-copilot-theorem-prof_4.2-1_arm64.deb        23-Jan-2025 13:46    690K
libghc-copilot-theorem-prof_4.2-1_armhf.deb        23-Jan-2025 15:41    795K
libghc-copilot-theorem-prof_4.5-1build1_arm64.deb  14-Sep-2025 15:43    716K
libghc-copilot-theorem-prof_4.5-1build1_armhf.deb  14-Sep-2025 15:43    824K
libghc-copilot-theorem-prof_4.6.1-1_arm64.deb      01-Mar-2026 13:55    721K
libghc-copilot-theorem-prof_4.6.1-1_armhf.deb      01-Mar-2026 13:56    872K