Index of /kali/pool/main/h/haskell-copilot-theorem/

../
haskell-copilot-theorem_4.3-1.debian.tar.xz        30-Mar-2025 01:28    2932
haskell-copilot-theorem_4.3-1.dsc                  30-Mar-2025 01:28    3801
haskell-copilot-theorem_4.3.orig.tar.gz            30-Mar-2025 01:28     70K
haskell-copilot-theorem_4.5-1.debian.tar.xz        12-Aug-2025 07:49    2952
haskell-copilot-theorem_4.5-1.dsc                  12-Aug-2025 07:49    3801
haskell-copilot-theorem_4.5.orig.tar.gz            12-Aug-2025 07:49     70K
libghc-copilot-theorem-dev_4.3-1_amd64.deb         30-Mar-2025 03:49    576K
libghc-copilot-theorem-dev_4.3-1_arm64.deb         30-Mar-2025 03:54    576K
libghc-copilot-theorem-dev_4.3-1_armel.deb         30-Mar-2025 04:33    682K
libghc-copilot-theorem-dev_4.3-1_armhf.deb         30-Mar-2025 03:49    668K
libghc-copilot-theorem-dev_4.3-1_i386.deb          30-Mar-2025 03:54    902K
libghc-copilot-theorem-dev_4.5-1_amd64.deb         12-Aug-2025 09:10    577K
libghc-copilot-theorem-dev_4.5-1_arm64.deb         12-Aug-2025 09:15    577K
libghc-copilot-theorem-dev_4.5-1_armhf.deb         12-Aug-2025 09:10    669K
libghc-copilot-theorem-dev_4.5-1_i386.deb          12-Aug-2025 09:10    906K
libghc-copilot-theorem-doc_4.3-1_all.deb           30-Mar-2025 03:54    224K
libghc-copilot-theorem-doc_4.5-1_all.deb           12-Aug-2025 09:10    225K
libghc-copilot-theorem-prof_4.3-1_amd64.deb        30-Mar-2025 03:49    536K
libghc-copilot-theorem-prof_4.3-1_arm64.deb        30-Mar-2025 03:54    616K
libghc-copilot-theorem-prof_4.3-1_armel.deb        30-Mar-2025 04:33    726K
libghc-copilot-theorem-prof_4.3-1_armhf.deb        30-Mar-2025 03:49    712K
libghc-copilot-theorem-prof_4.3-1_i386.deb         30-Mar-2025 03:54    795K
libghc-copilot-theorem-prof_4.5-1_amd64.deb        12-Aug-2025 09:10    537K
libghc-copilot-theorem-prof_4.5-1_arm64.deb        12-Aug-2025 09:15    616K
libghc-copilot-theorem-prof_4.5-1_armhf.deb        12-Aug-2025 09:10    722K
libghc-copilot-theorem-prof_4.5-1_i386.deb         12-Aug-2025 09:10    801K