Index of /api/pulp-content/public-copr/codeblock/coq-epel/epel-7-x86_64/Packages/c/

../
coq-8.5pl1-1.el7.centos.src.rpm                                                                     18-Sep-2026 08:47  5.4 MB
coq-8.5pl1-1.el7.centos.x86_64.rpm                                                                  18-Sep-2026 08:47  69.3 MB
coq-coqide-8.5pl1-1.el7.centos.x86_64.rpm                                                           18-Sep-2026 08:47  2.3 MB
coq-debuginfo-8.5pl1-1.el7.centos.x86_64.rpm                                                        18-Sep-2026 08:47  5.3 MB
coq-doc-8.5pl1-1.el7.centos.noarch.rpm                                                              18-Sep-2026 08:47  6.1 MB
coq-emacs-8.5pl1-1.el7.centos.noarch.rpm                                                            18-Sep-2026 08:47  41.4 kB
csdp-6.1.1-11.el7.centos.src.rpm                                                                    18-Sep-2026 08:47  448.8 kB
csdp-6.1.1-11.el7.centos.x86_64.rpm                                                                 18-Sep-2026 08:47  206.8 kB
csdp-debuginfo-6.1.1-11.el7.centos.x86_64.rpm                                                       18-Sep-2026 08:47  122.9 kB
csdp-devel-6.1.1-11.el7.centos.x86_64.rpm                                                           18-Sep-2026 08:47  10.0 kB
csdp-octave-6.1.1-11.el7.centos.noarch.rpm                                                          18-Sep-2026 08:47  12.5 kB
csdp-tools-6.1.1-11.el7.centos.x86_64.rpm                                                           18-Sep-2026 08:47  22.8 kB