Index of /packages/coq/8.17.0/1.fc39/aarch64

Icon  Name                                                  Last modified      Size  Description
[PARENTDIR] Parent Directory                                                           -   
[   ] coq-core-8.17.0-1.fc39.aarch64.rpm                    2023-04-01 16:27  142M  
[   ] coq-8.17.0-1.fc39.aarch64.rpm                         2023-04-01 16:26   37M  
[   ] coq-coqide-server-8.17.0-1.fc39.aarch64.rpm           2023-04-01 16:26   22M  
[   ] coq-core-debuginfo-8.17.0-1.fc39.aarch64.rpm          2023-04-01 16:26   10M  
[   ] coq-coqide-8.17.0-1.fc39.aarch64.rpm                  2023-04-01 16:26  3.0M  
[   ] coq-debugsource-8.17.0-1.fc39.aarch64.rpm             2023-04-01 16:26  1.9M  
[   ] coq-coqide-server-debuginfo-8.17.0-1.fc39.aarch64.rpm 2023-04-01 16:26  1.7M  
[   ] coq-coqide-debuginfo-8.17.0-1.fc39.aarch64.rpm        2023-04-01 16:26  702K  
[   ] coq-debuginfo-8.17.0-1.fc39.aarch64.rpm               2023-04-01 16:27  189K