
../ haskell-copilot-theorem_3.18.1-2.debian.tar.xz 09-Jan-2024 13:21 2840 haskell-copilot-theorem_3.18.1-2.dsc 09-Jan-2024 13:21 3793 haskell-copilot-theorem_3.18.1.orig.tar.gz 09-Jan-2024 07:45 66K haskell-copilot-theorem_4.2-1.debian.tar.xz 23-Jan-2025 07:47 2928 haskell-copilot-theorem_4.2-1.dsc 23-Jan-2025 07:47 3764 haskell-copilot-theorem_4.2.orig.tar.gz 23-Jan-2025 07:47 65K haskell-copilot-theorem_4.5-1build1.debian.tar.xz 12-Sep-2025 08:38 3028 haskell-copilot-theorem_4.5-1build1.dsc 12-Sep-2025 08:38 3804 haskell-copilot-theorem_4.5.orig.tar.gz 27-Aug-2025 19:48 70K haskell-copilot-theorem_4.6.1-1.debian.tar.xz 01-Mar-2026 01:32 2936 haskell-copilot-theorem_4.6.1-1.dsc 01-Mar-2026 01:32 3841 haskell-copilot-theorem_4.6.1.orig.tar.gz 01-Mar-2026 01:32 70K haskell-copilot-theorem_4.7.1-1.debian.tar.xz 21-Jun-2026 07:24 2980 haskell-copilot-theorem_4.7.1-1.dsc 21-Jun-2026 07:24 3940 haskell-copilot-theorem_4.7.1.orig.tar.gz 21-Jun-2026 07:24 70K libghc-copilot-theorem-dev_3.18.1-2_amd64.deb 09-Jan-2024 13:21 623K libghc-copilot-theorem-dev_4.2-1_amd64.deb 23-Jan-2025 15:45 600K libghc-copilot-theorem-dev_4.5-1build1_amd64.deb 14-Sep-2025 17:43 626K libghc-copilot-theorem-dev_4.5-1build1_arm64.deb 14-Sep-2025 17:43 654K libghc-copilot-theorem-dev_4.6.1-1_amd64.deb 01-Mar-2026 15:54 612K libghc-copilot-theorem-dev_4.6.1-1_amd64v3.deb 01-Mar-2026 15:55 612K libghc-copilot-theorem-dev_4.6.1-1_arm64.deb 01-Mar-2026 15:55 640K libghc-copilot-theorem-dev_4.7.1-1_amd64.deb 22-Jun-2026 14:41 613K libghc-copilot-theorem-dev_4.7.1-1_amd64v3.deb 22-Jun-2026 14:42 613K libghc-copilot-theorem-dev_4.7.1-1_arm64.deb 22-Jun-2026 14:42 641K libghc-copilot-theorem-doc_3.18.1-2_all.deb 09-Jan-2024 13:21 187K libghc-copilot-theorem-doc_4.2-1_all.deb 23-Jan-2025 15:45 189K libghc-copilot-theorem-doc_4.5-1build1_all.deb 14-Sep-2025 17:43 203K libghc-copilot-theorem-doc_4.6.1-1_all.deb 01-Mar-2026 15:54 198K libghc-copilot-theorem-doc_4.7.1-1_all.deb 22-Jun-2026 14:41 199K libghc-copilot-theorem-prof_3.18.1-2_amd64.deb 09-Jan-2024 13:21 550K libghc-copilot-theorem-prof_4.2-1_amd64.deb 23-Jan-2025 15:45 565K libghc-copilot-theorem-prof_4.5-1build1_amd64.deb 14-Sep-2025 17:43 588K libghc-copilot-theorem-prof_4.5-1build1_arm64.deb 14-Sep-2025 17:43 716K libghc-copilot-theorem-prof_4.6.1-1_amd64.deb 01-Mar-2026 15:54 589K libghc-copilot-theorem-prof_4.6.1-1_amd64v3.deb 01-Mar-2026 15:55 590K libghc-copilot-theorem-prof_4.6.1-1_arm64.deb 01-Mar-2026 15:55 721K libghc-copilot-theorem-prof_4.7.1-1_amd64.deb 22-Jun-2026 14:41 591K libghc-copilot-theorem-prof_4.7.1-1_amd64v3.deb 22-Jun-2026 14:42 591K libghc-copilot-theorem-prof_4.7.1-1_arm64.deb 22-Jun-2026 14:42 722K
NO WARRANTY
THIS MIRROR IS PROVIDED "AS IS" WITHOUT WARRANTY OF ANY KIND, EITHER EXPRESSED
OR IMPLIED, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE. THE ENTIRE RISK
AS TO THE QUALITY AND PERFORMANCE OF THE MIRROR IS WITH YOU. SHOULD THE
MIRROR PROVE DEFECTIVE, YOU ASSUME THE COST OF ALL NECESSARY SERVICING,
REPAIR OR CORRECTION.
IN NO EVENT UNLESS REQUIRED BY APPLICABLE LAW OR AGREED TO IN WRITING
WILL UNIVERSITY OF TRIESTE OR ANY PEOPLE INVLOLVED IN SERVICING THE
MIRROR BE LIABLE TO YOU FOR DAMAGES,
INCLUDING ANY GENERAL, SPECIAL, INCIDENTAL OR CONSEQUENTIAL DAMAGES
ARISING OUT OF THE USE OR INABILITY TO USE THE MIRROR (INCLUDING BUT NOT
LIMITED TO LOSS OF DATA OR DATA BEING RENDERED INACCURATE OR LOSSES SUSTAINED
BY YOU OR THIRD PARTIES OR A FAILURE OF THE PROGRAM TO OPERATE WITH ANY
OTHER PROGRAMS), EVEN IF UNIVERSITY OF TRIESTE AND PEOPLE INVLOLVED IN
SERVICING THE MIRROR HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGES.