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

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