Index of /packages/coq/8.15.2/2.fc36/armv7hl

Icon  Name                                                  Last modified      Size  Description
[PARENTDIR] Parent Directory                                                           -   
[   ] coq-8.15.2-2.fc36.armv7hl.rpm                         2022-10-06 20:07   39M  
[   ] coq-coqide-8.15.2-2.fc36.armv7hl.rpm                  2022-10-06 20:07  2.4M  
[   ] coq-coqide-debuginfo-8.15.2-2.fc36.armv7hl.rpm        2022-10-06 20:07  541K  
[   ] coq-coqide-server-8.15.2-2.fc36.armv7hl.rpm           2022-10-06 20:07   20M  
[   ] coq-coqide-server-debuginfo-8.15.2-2.fc36.armv7hl.rpm 2022-10-06 20:07  1.2M  
[   ] coq-core-8.15.2-2.fc36.armv7hl.rpm                    2022-10-06 20:07  135M  
[   ] coq-core-debuginfo-8.15.2-2.fc36.armv7hl.rpm          2022-10-06 20:07  6.4M  
[   ] coq-debuginfo-8.15.2-2.fc36.armv7hl.rpm               2022-10-06 20:07  1.7M  
[   ] coq-debugsource-8.15.2-2.fc36.armv7hl.rpm             2022-10-06 20:07  1.8M