| ../ | | - | Directory |
| libghc-copilot-theorem-dev_3.13-1_amd64.deb | 2023-Jan-10 00:45:05 | 576.6K | application/vnd.debian.binary-package |
| libghc-copilot-theorem-dev_3.13-1_arm64.deb | 2023-Jan-10 03:17:21 | 766.9K | application/vnd.debian.binary-package |
| libghc-copilot-theorem-dev_3.13-1_armhf.deb | 2023-Jan-10 02:42:09 | 688.9K | application/vnd.debian.binary-package |
| libghc-copilot-theorem-dev_3.13-1_i386.deb | 2023-Jan-10 00:34:56 | 909.3K | application/vnd.debian.binary-package |
| libghc-copilot-theorem-dev_4.0-2+b2_amd64.deb | 2024-Oct-23 01:34:17 | 561.2K | application/vnd.debian.binary-package |
| libghc-copilot-theorem-dev_4.0-2+b2_arm64.deb | 2024-Oct-23 01:54:56 | 559.7K | application/vnd.debian.binary-package |
| libghc-copilot-theorem-dev_4.0-2+b3_armhf.deb | 2024-Oct-23 06:29:55 | 648.8K | application/vnd.debian.binary-package |
| libghc-copilot-theorem-dev_4.0-2+b3_i386.deb | 2024-Oct-23 02:51:31 | 873.4K | application/vnd.debian.binary-package |
| libghc-copilot-theorem-doc_3.13-1_all.deb | 2023-Jan-10 00:29:46 | 208.8K | application/vnd.debian.binary-package |
| libghc-copilot-theorem-doc_4.0-2_all.deb | 2024-Oct-08 09:48:01 | 219.1K | application/vnd.debian.binary-package |
| libghc-copilot-theorem-prof_3.13-1_amd64.deb | 2023-Jan-10 00:45:05 | 500.1K | application/vnd.debian.binary-package |
| libghc-copilot-theorem-prof_3.13-1_arm64.deb | 2023-Jan-10 03:17:21 | 735.3K | application/vnd.debian.binary-package |
| libghc-copilot-theorem-prof_3.13-1_armhf.deb | 2023-Jan-10 02:42:09 | 693.6K | application/vnd.debian.binary-package |
| libghc-copilot-theorem-prof_3.13-1_i386.deb | 2023-Jan-10 00:34:56 | 732.6K | application/vnd.debian.binary-package |
| libghc-copilot-theorem-prof_4.0-2+b2_amd64.deb | 2024-Oct-23 01:34:17 | 523.3K | application/vnd.debian.binary-package |
| libghc-copilot-theorem-prof_4.0-2+b2_arm64.deb | 2024-Oct-23 01:54:56 | 595.7K | application/vnd.debian.binary-package |
| libghc-copilot-theorem-prof_4.0-2+b3_armhf.deb | 2024-Oct-23 06:29:55 | 696.3K | application/vnd.debian.binary-package |
| libghc-copilot-theorem-prof_4.0-2+b3_i386.deb | 2024-Oct-23 02:51:31 | 774.8K | application/vnd.debian.binary-package |