../ libghc-numeric-extras-dev_0.1-7+b2_amd64.deb 28-Jul-2023 05:07 19244 libghc-numeric-extras-dev_0.1-9+b1_amd64.deb 10-Aug-2025 12:21 17356 libghc-numeric-extras-doc_0.1-7_all.deb 28-Jul-2023 05:07 40988 libghc-numeric-extras-doc_0.1-9_all.deb 10-Aug-2025 12:21 40944 libghc-numeric-extras-prof_0.1-7+b2_amd64.deb 28-Jul-2023 05:07 15944 libghc-numeric-extras-prof_0.1-9+b1_amd64.deb 10-Aug-2025 12:21 14664