![]() | Name | Last modified | Size |
---|---|---|---|
![]() | Parent Directory | - | |
![]() | libghc-copilot-theorem-prof_3.18.1-2+b1_ppc64.deb | 2024-04-13 18:03 | 626K |
![]() | libghc-copilot-theorem-dev_3.18.1-2+b1_ppc64.deb | 2024-04-13 18:03 | 757K |
![]() | haskell-copilot-theorem_3.18.1-2+b1_ppc64.buildinfo | 2024-04-13 18:03 | 17K |