Index of /linux/debian/bookworm/pool/main/h/haskell-copilot-theorem/

../
libghc-copilot-theorem-dev_3.13-1_amd64.deb        17-Jul-2023 14:40              590456
libghc-copilot-theorem-dev_3.13-1_arm64.deb        17-Jul-2023 14:34              785340
libghc-copilot-theorem-dev_3.13-1_i386.deb         17-Jul-2023 18:35              931168
libghc-copilot-theorem-doc_3.13-1_all.deb          17-Jul-2023 13:59              213864
libghc-copilot-theorem-prof_3.13-1_amd64.deb       17-Jul-2023 14:36              512192
libghc-copilot-theorem-prof_3.13-1_arm64.deb       17-Jul-2023 16:37              752972
libghc-copilot-theorem-prof_3.13-1_i386.deb        17-Jul-2023 15:05              750184