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

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