![]() | Name | Last modified | Size |
---|---|---|---|
![]() | Parent Directory | - | |
![]() | haskell-copilot-theorem_3.10-2.debian.tar.xz | 04-Oct-2022 21:33 | 2.5K |
![]() | haskell-copilot-theorem_3.10-2.dsc | 04-Oct-2022 21:33 | 3.3K |
![]() | haskell-copilot-theorem_3.10.orig.tar.gz | 19-Sep-2022 20:53 | 57K |
![]() | haskell-copilot-theorem_3.13-1.debian.tar.xz | 10-Jan-2023 12:39 | 2.6K |
![]() | haskell-copilot-theorem_3.13-1.dsc | 10-Jan-2023 12:39 | 3.5K |
![]() | haskell-copilot-theorem_3.13.orig.tar.gz | 10-Jan-2023 12:39 | 64K |
![]() | libghc-copilot-theorem-dev_3.10-2_amd64.deb | 04-Oct-2022 21:33 | 569K |
![]() | libghc-copilot-theorem-dev_3.13-1_amd64.deb | 10-Jan-2023 17:34 | 626K |
![]() | libghc-copilot-theorem-doc_3.10-2_all.deb | 04-Oct-2022 21:33 | 164K |
![]() | libghc-copilot-theorem-doc_3.13-1_all.deb | 10-Jan-2023 17:34 | 182K |
![]() | libghc-copilot-theorem-prof_3.10-2_amd64.deb | 04-Oct-2022 21:33 | 505K |
![]() | libghc-copilot-theorem-prof_3.13-1_amd64.deb | 10-Jan-2023 17:34 | 550K |