Index of /packages/coq/8.15.2/3.fc37/ppc64le

Icon  Name                                                  Last modified      Size  Description
[PARENTDIR] Parent Directory                                                           -   
[   ] coq-debugsource-8.15.2-3.fc37.ppc64le.rpm             2022-07-21 00:45  1.8M  
[   ] coq-debuginfo-8.15.2-3.fc37.ppc64le.rpm               2022-07-21 00:45  1.5M  
[   ] coq-core-debuginfo-8.15.2-3.fc37.ppc64le.rpm          2022-07-21 00:45  6.2M  
[   ] coq-core-8.15.2-3.fc37.ppc64le.rpm                    2022-07-21 00:45  141M  
[   ] coq-coqide-server-debuginfo-8.15.2-3.fc37.ppc64le.rpm 2022-07-21 00:45  1.2M  
[   ] coq-coqide-server-8.15.2-3.fc37.ppc64le.rpm           2022-07-21 00:45   20M  
[   ] coq-coqide-debuginfo-8.15.2-3.fc37.ppc64le.rpm        2022-07-21 00:45  590K  
[   ] coq-coqide-8.15.2-3.fc37.ppc64le.rpm                  2022-07-21 00:45  2.7M  
[   ] coq-8.15.2-3.fc37.ppc64le.rpm                         2022-07-21 00:45   40M