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

Icon  Name                                                Last modified      Size  Description
[PARENTDIR] Parent Directory                                                         -   
[   ] coq-debugsource-8.17.0-1.fc39.s390x.rpm             2023-04-01 16:36  1.9M  
[   ] coq-debuginfo-8.17.0-1.fc39.s390x.rpm               2023-04-01 16:36   20K  
[   ] coq-core-debuginfo-8.17.0-1.fc39.s390x.rpm          2023-04-01 16:36  6.3M  
[   ] coq-core-8.17.0-1.fc39.s390x.rpm                    2023-04-01 16:36  135M  
[   ] coq-coqide-server-debuginfo-8.17.0-1.fc39.s390x.rpm 2023-04-01 16:36  1.2M  
[   ] coq-coqide-server-8.17.0-1.fc39.s390x.rpm           2023-04-01 16:35   21M  
[   ] coq-coqide-debuginfo-8.17.0-1.fc39.s390x.rpm        2023-04-01 16:36  541K  
[   ] coq-coqide-8.17.0-1.fc39.s390x.rpm                  2023-04-01 16:36  2.6M  
[   ] coq-8.17.0-1.fc39.s390x.rpm                         2023-04-01 16:36   36M