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

../
idris2-algebra-0.0.1-1.fc45.20260120.src.rpm                                                        14-Aug-2026 12:47  39.9 kB
idris2-algebra-0.0.1-1.fc45.20260120.x86_64.rpm                                                     14-Aug-2026 12:47  491.8 kB
idris2-array-0.0.1-1.fc45.20260120.src.rpm                                                          14-Aug-2026 12:46  48.4 kB
idris2-array-0.0.1-1.fc45.20260120.x86_64.rpm                                                       14-Aug-2026 12:46  336.2 kB
idris2-bytestring-0.0.1-1.fc45.20251215.src.rpm                                                     14-Aug-2026 12:46  27.3 kB
idris2-bytestring-0.0.1-1.fc45.20251215.x86_64.rpm                                                  14-Aug-2026 12:46  178.5 kB
idris2-elab-util-0.6.0-1.fc45.20260126.src.rpm                                                      14-Aug-2026 12:47  78.1 kB
idris2-elab-util-0.6.0-1.fc45.20260126.x86_64.rpm                                                   14-Aug-2026 12:47  317.8 kB
idris2-filepath-0.0.1-1.fc45.20260226.src.rpm                                                       14-Aug-2026 12:46  19.0 kB
idris2-filepath-0.0.1-1.fc45.20260226.x86_64.rpm                                                    14-Aug-2026 12:46  108.3 kB
idris2-getopts-0.1.0-1.fc45.20231028.src.rpm                                                        14-Aug-2026 12:46  15.1 kB
idris2-getopts-0.1.0-1.fc45.20231028.x86_64.rpm                                                     14-Aug-2026 12:46  57.2 kB
idris2-ilex-0.1.0-1.fc45.20260122.src.rpm                                                           14-Aug-2026 12:46  168.1 kB
idris2-ilex-0.1.0-1.fc45.20260122.x86_64.rpm                                                        14-Aug-2026 12:46  583.5 kB
idris2-ilex-core-0.1.0-1.fc45.20260122.x86_64.rpm                                                   14-Aug-2026 12:46  81.5 kB
idris2-ilex-toml-0.1.0-1.fc45.20260122.x86_64.rpm                                                   14-Aug-2026 12:46  165.1 kB
idris2-literal-0.1.0-1.fc45.20251022.src.rpm                                                        14-Aug-2026 12:47  14.0 kB
idris2-literal-0.1.0-1.fc45.20251022.x86_64.rpm                                                     14-Aug-2026 12:47  39.0 kB
idris2-pack-0.0.1-1.fc45.20260222.src.rpm                                                           14-Aug-2026 12:47  306.1 kB
idris2-pack-0.0.1-1.fc45.20260222.x86_64.rpm                                                        14-Aug-2026 12:47  909.1 kB
idris2-ref1-0.7.0-1.fc45.20260220.src.rpm                                                           14-Aug-2026 12:47  34.8 kB
idris2-ref1-0.7.0-1.fc45.20260220.x86_64.rpm                                                        14-Aug-2026 12:47  161.7 kB
idris2-refined-0.1.0-1.fc45.20260121.src.rpm                                                        14-Aug-2026 12:48  25.4 kB
idris2-refined-0.1.0-1.fc45.20260121.x86_64.rpm                                                     14-Aug-2026 12:48  170.3 kB