Index of /api/pulp-content/public-copr/petersen/idris2-pack/fedora-rawhide-aarch64/Packages/i/

../
idris2-algebra-0.0.1-1.fc45.20260120.aarch64.rpm                                                    21-Mar-2026 11:14  491.7 kB
idris2-algebra-0.0.1-1.fc45.20260120.src.rpm                                                        21-Mar-2026 11:14  39.9 kB
idris2-array-0.0.1-1.fc45.20260120.aarch64.rpm                                                      21-Mar-2026 13:37  336.1 kB
idris2-array-0.0.1-1.fc45.20260120.src.rpm                                                          21-Mar-2026 13:37  48.4 kB
idris2-bytestring-0.0.1-1.fc45.20251215.aarch64.rpm                                                 21-Mar-2026 14:11  178.4 kB
idris2-bytestring-0.0.1-1.fc45.20251215.src.rpm                                                     21-Mar-2026 14:11  27.3 kB
idris2-elab-util-0.6.0-1.fc45.20260126.aarch64.rpm                                                  21-Mar-2026 11:21  317.7 kB
idris2-elab-util-0.6.0-1.fc45.20260126.src.rpm                                                      21-Mar-2026 11:21  78.1 kB
idris2-filepath-0.0.1-1.fc45.20260226.aarch64.rpm                                                   21-Mar-2026 11:28  108.2 kB
idris2-filepath-0.0.1-1.fc45.20260226.src.rpm                                                       21-Mar-2026 11:28  19.0 kB
idris2-getopts-0.1.0-1.fc45.20231028.aarch64.rpm                                                    21-Mar-2026 11:33  57.1 kB
idris2-getopts-0.1.0-1.fc45.20231028.src.rpm                                                        21-Mar-2026 11:33  15.1 kB
idris2-ilex-0.1.0-1.fc45.20260122.aarch64.rpm                                                       21-Mar-2026 14:18  583.5 kB
idris2-ilex-0.1.0-1.fc45.20260122.src.rpm                                                           21-Mar-2026 14:18  168.1 kB
idris2-ilex-core-0.1.0-1.fc45.20260122.aarch64.rpm                                                  21-Mar-2026 14:18  81.5 kB
idris2-ilex-toml-0.1.0-1.fc45.20260122.aarch64.rpm                                                  21-Mar-2026 14:18  165.1 kB
idris2-literal-0.1.0-1.fc45.20251022.aarch64.rpm                                                    21-Mar-2026 14:04  39.0 kB
idris2-literal-0.1.0-1.fc45.20251022.src.rpm                                                        21-Mar-2026 14:04  14.0 kB
idris2-pack-0.0.1-1.fc45.20260222.aarch64.rpm                                                       21-Mar-2026 14:26  875.7 kB
idris2-pack-0.0.1-1.fc45.20260222.src.rpm                                                           21-Mar-2026 14:26  306.1 kB
idris2-ref1-0.7.0-1.fc45.20260220.aarch64.rpm                                                       21-Mar-2026 12:54  161.7 kB
idris2-ref1-0.7.0-1.fc45.20260220.src.rpm                                                           21-Mar-2026 12:54  34.8 kB
idris2-refined-0.1.0-1.fc45.20260121.aarch64.rpm                                                    21-Mar-2026 13:58  170.2 kB
idris2-refined-0.1.0-1.fc45.20260121.src.rpm                                                        21-Mar-2026 13:58  25.4 kB