Index of /ubuntu-ports/pool/universe/m/mlgmp/

../
libgmp-ocaml-dev_20021123-17build4_arm64.deb       23-Dec-2013 17:03     61K
libgmp-ocaml-dev_20021123-18build1_arm64.deb       31-Oct-2015 23:38     74K
libgmp-ocaml-dev_20021123-19build1_arm64.deb       27-Oct-2017 10:01     75K
libgmp-ocaml-dev_20021123-20build1_arm64.deb       21-Feb-2020 01:53     81K
libgmp-ocaml-dev_20021123-21build2_arm64.deb       24-Jan-2022 20:04    103K
libgmp-ocaml-dev_20021123-22build1_arm64.deb       02-Nov-2023 10:35    100K
libgmp-ocaml-dev_20021123-23build1_arm64.deb       09-Aug-2024 16:53     97K
libgmp-ocaml-dev_20021123-23build2_arm64.deb       28-Jan-2025 21:04     97K
libgmp-ocaml-dev_20021123-23build3_arm64.deb       16-Jun-2025 13:33     97K
libgmp-ocaml_20021123-17build4_arm64.deb           23-Dec-2013 17:03     16K
libgmp-ocaml_20021123-18build1_arm64.deb           31-Oct-2015 23:38     17K
libgmp-ocaml_20021123-19build1_arm64.deb           27-Oct-2017 10:01     17K
libgmp-ocaml_20021123-20build1_arm64.deb           21-Feb-2020 01:53     20K
libgmp-ocaml_20021123-21build2_arm64.deb           24-Jan-2022 20:04     22K
libgmp-ocaml_20021123-22build1_arm64.deb           02-Nov-2023 10:35     21K
libgmp-ocaml_20021123-23build1_arm64.deb           09-Aug-2024 16:53     21K
libgmp-ocaml_20021123-23build2_arm64.deb           28-Jan-2025 21:04     21K
libgmp-ocaml_20021123-23build3_arm64.deb           16-Jun-2025 13:33     21K
mlgmp_20021123-17build4.diff.gz                    23-Dec-2013 15:23    8398
mlgmp_20021123-17build4.dsc                        23-Dec-2013 15:23    1621
mlgmp_20021123-18build1.debian.tar.xz              31-Oct-2015 23:28    7996
mlgmp_20021123-18build1.dsc                        31-Oct-2015 23:28    1858
mlgmp_20021123-19build1.debian.tar.xz              27-Oct-2017 07:44    8660
mlgmp_20021123-19build1.dsc                        27-Oct-2017 07:44    1944
mlgmp_20021123-20build1.debian.tar.xz              21-Feb-2020 01:48    8868
mlgmp_20021123-20build1.dsc                        21-Feb-2020 01:48    2225
mlgmp_20021123-21build2.debian.tar.xz              24-Jan-2022 19:44    9228
mlgmp_20021123-21build2.dsc                        24-Jan-2022 19:44    2113
mlgmp_20021123-22build1.debian.tar.xz              02-Nov-2023 10:35    9236
mlgmp_20021123-22build1.dsc                        02-Nov-2023 10:35    2084
mlgmp_20021123-23build1.debian.tar.xz              09-Aug-2024 16:50     11K
mlgmp_20021123-23build1.dsc                        09-Aug-2024 16:50    2087
mlgmp_20021123-23build2.debian.tar.xz              28-Jan-2025 21:02     11K
mlgmp_20021123-23build2.dsc                        28-Jan-2025 21:02    2087
mlgmp_20021123-23build3.debian.tar.xz              16-Jun-2025 11:30     11K
mlgmp_20021123-23build3.dsc                        16-Jun-2025 11:30    2087
mlgmp_20021123.orig.tar.gz                         27-Jul-2004 02:47     39K