Index of /api/pulp-content/public-copr/petersen/idris2-pack/fedora-44-x86_64/Packages/i/

../
idris2-algebra-0.0.1-1.fc44.20260120.src.rpm                                                        21-Mar-2026 11:11  39.9 kB
idris2-algebra-0.0.1-1.fc44.20260120.x86_64.rpm                                                     21-Mar-2026 11:11  491.8 kB
idris2-array-0.0.1-1.fc44.20260120.src.rpm                                                          21-Mar-2026 13:35  48.4 kB
idris2-array-0.0.1-1.fc44.20260120.x86_64.rpm                                                       21-Mar-2026 13:35  336.2 kB
idris2-bytestring-0.0.1-1.fc44.20251215.src.rpm                                                     21-Mar-2026 14:08  27.3 kB
idris2-bytestring-0.0.1-1.fc44.20251215.x86_64.rpm                                                  21-Mar-2026 14:08  178.5 kB
idris2-elab-util-0.6.0-1.fc44.20260126.src.rpm                                                      21-Mar-2026 11:19  78.1 kB
idris2-elab-util-0.6.0-1.fc44.20260126.x86_64.rpm                                                   21-Mar-2026 11:19  317.8 kB
idris2-filepath-0.0.1-1.fc44.20260226.src.rpm                                                       21-Mar-2026 11:25  19.0 kB
idris2-filepath-0.0.1-1.fc44.20260226.x86_64.rpm                                                    21-Mar-2026 11:25  108.3 kB
idris2-getopts-0.1.0-1.fc44.20231028.src.rpm                                                        21-Mar-2026 11:31  15.1 kB
idris2-getopts-0.1.0-1.fc44.20231028.x86_64.rpm                                                     21-Mar-2026 11:31  57.2 kB
idris2-ilex-0.1.0-1.fc44.20260122.src.rpm                                                           21-Mar-2026 14:16  168.1 kB
idris2-ilex-0.1.0-1.fc44.20260122.x86_64.rpm                                                        21-Mar-2026 14:16  583.5 kB
idris2-ilex-core-0.1.0-1.fc44.20260122.x86_64.rpm                                                   21-Mar-2026 14:16  81.5 kB
idris2-ilex-toml-0.1.0-1.fc44.20260122.x86_64.rpm                                                   21-Mar-2026 14:16  165.1 kB
idris2-literal-0.1.0-1.fc44.20251022.src.rpm                                                        21-Mar-2026 14:02  14.0 kB
idris2-literal-0.1.0-1.fc44.20251022.x86_64.rpm                                                     21-Mar-2026 14:02  39.0 kB
idris2-pack-0.0.1-1.fc44.20260222.src.rpm                                                           21-Mar-2026 14:23  306.1 kB
idris2-pack-0.0.1-1.fc44.20260222.x86_64.rpm                                                        21-Mar-2026 14:23  909.2 kB
idris2-ref1-0.7.0-1.fc44.20260220.src.rpm                                                           21-Mar-2026 11:37  34.8 kB
idris2-ref1-0.7.0-1.fc44.20260220.x86_64.rpm                                                        21-Mar-2026 11:37  161.7 kB
idris2-refined-0.1.0-1.fc44.20260121.src.rpm                                                        21-Mar-2026 13:56  25.4 kB
idris2-refined-0.1.0-1.fc44.20260121.x86_64.rpm                                                     21-Mar-2026 13:56  170.3 kB