[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]haskell-copilot-theorem_3.13-1.debian.tar.xz2023-01-09 17:20 2.6K 
[ ]haskell-copilot-theorem_4.2-1.debian.tar.xz2025-01-22 15:54 2.9K 
[TXT]haskell-copilot-theorem_3.13-1.dsc2023-01-09 17:20 3.5K 
[TXT]haskell-copilot-theorem_4.2-1.dsc2025-01-22 15:54 3.7K 
[ ]haskell-copilot-theorem_3.13.orig.tar.gz2023-01-09 17:20 64K 
[ ]haskell-copilot-theorem_4.2.orig.tar.gz2025-01-22 15:54 65K 
[ ]libghc-copilot-theorem-doc_3.13-1_all.deb2023-01-09 21:29 209K 
[ ]libghc-copilot-theorem-doc_4.2-1_all.deb2025-01-22 17:15 211K 
[ ]libghc-copilot-theorem-prof_3.13-1_amd64.deb2023-01-09 21:45 500K 
[ ]libghc-copilot-theorem-prof_4.2-1+b1_amd64.deb2025-02-02 01:43 515K 
[ ]libghc-copilot-theorem-dev_4.2-1_arm64.deb2025-01-22 17:10 553K 
[ ]libghc-copilot-theorem-dev_4.2-1+b1_amd64.deb2025-02-02 01:43 555K 
[ ]libghc-copilot-theorem-dev_3.13-1_amd64.deb2023-01-09 21:45 577K 
[ ]libghc-copilot-theorem-prof_4.2-1_arm64.deb2025-01-22 17:10 591K 
[ ]libghc-copilot-theorem-dev_4.2-1+b1_armhf.deb2025-02-17 19:03 643K 
[ ]libghc-copilot-theorem-dev_3.13-1_armhf.deb2023-01-09 23:42 689K 
[ ]libghc-copilot-theorem-prof_4.2-1+b1_armhf.deb2025-02-17 19:03 692K 
[ ]libghc-copilot-theorem-prof_3.13-1_armhf.deb2023-01-09 23:42 694K 
[ ]libghc-copilot-theorem-prof_3.13-1_i386.deb2023-01-09 21:34 733K 
[ ]libghc-copilot-theorem-prof_3.13-1_arm64.deb2023-01-10 00:17 735K 
[ ]libghc-copilot-theorem-prof_4.2-1+b1_i386.deb2025-02-14 05:11 765K 
[ ]libghc-copilot-theorem-dev_3.13-1_arm64.deb2023-01-10 00:17 767K 
[ ]libghc-copilot-theorem-dev_4.2-1+b1_i386.deb2025-02-14 05:11 869K 
[ ]libghc-copilot-theorem-dev_3.13-1_i386.deb2023-01-09 21:34 909K 
[ ]libghc-copilot-theorem-dev_4.2-1_riscv64.deb2025-01-23 02:26 967K 
[ ]libghc-copilot-theorem-prof_4.2-1_riscv64.deb2025-01-23 02:26 1.0M