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

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