The hardware and bandwidth for this mirror is donated by dogado GmbH, the Webhosting and Full Service-Cloud Provider. Check out our Wordpress Tutorial.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]dogado.de.

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

../
haskell-copilot-theorem_3.13-1.debian.tar.xz       10-Jan-2023 01:20                2644
haskell-copilot-theorem_3.13-1.dsc                 10-Jan-2023 01:20                3579
haskell-copilot-theorem_3.13.orig.tar.gz           10-Jan-2023 01:20               65218
haskell-copilot-theorem_3.18.1-2.debian.tar.xz     09-Jan-2024 03:53                2840
haskell-copilot-theorem_3.18.1-2.dsc               09-Jan-2024 03:53                3793
haskell-copilot-theorem_3.18.1.orig.tar.gz         09-Jan-2024 01:20               67349
libghc-copilot-theorem-dev_3.13-1_amd64.deb        10-Jan-2023 05:45              590456
libghc-copilot-theorem-dev_3.13-1_arm64.deb        10-Jan-2023 08:17              785340
libghc-copilot-theorem-dev_3.13-1_i386.deb         10-Jan-2023 05:34              931168
libghc-copilot-theorem-dev_3.18.1-2+b1_amd64.deb   13-Apr-2024 17:46              591652
libghc-copilot-theorem-dev_3.18.1-2+b1_arm64.deb   13-Apr-2024 17:51              593836
libghc-copilot-theorem-dev_3.18.1-2+b1_i386.deb    13-Apr-2024 18:22              941444
libghc-copilot-theorem-dev_3.18.1-2_amd64.deb      09-Jan-2024 04:49              591336
libghc-copilot-theorem-dev_3.18.1-2_arm64.deb      09-Jan-2024 04:54              593960
libghc-copilot-theorem-dev_3.18.1-2_i386.deb       09-Jan-2024 04:54              939680
libghc-copilot-theorem-doc_3.13-1_all.deb          10-Jan-2023 05:29              213864
libghc-copilot-theorem-doc_3.18.1-2_all.deb        09-Jan-2024 04:49              220332
libghc-copilot-theorem-prof_3.13-1_amd64.deb       10-Jan-2023 05:45              512192
libghc-copilot-theorem-prof_3.13-1_arm64.deb       10-Jan-2023 08:17              752972
libghc-copilot-theorem-prof_3.13-1_i386.deb        10-Jan-2023 05:34              750184
libghc-copilot-theorem-prof_3.18.1-2+b1_amd64.deb  13-Apr-2024 17:46              525644
libghc-copilot-theorem-prof_3.18.1-2+b1_arm64.deb  13-Apr-2024 17:51              601876
libghc-copilot-theorem-prof_3.18.1-2+b1_i386.deb   13-Apr-2024 18:22              764900
libghc-copilot-theorem-prof_3.18.1-2_amd64.deb     09-Jan-2024 04:49              524880
libghc-copilot-theorem-prof_3.18.1-2_arm64.deb     09-Jan-2024 04:54              603272
libghc-copilot-theorem-prof_3.18.1-2_i386.deb      09-Jan-2024 04:54              762676

These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.
Health stats visible at Monitor.