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

Icon  Name                                                  Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] coq-debugsource-8.15.2-2.fc37.ppc64le.rpm 2022-06-21 18:05 1.8M [   ] coq-debuginfo-8.15.2-2.fc37.ppc64le.rpm 2022-06-21 18:05 1.5M [   ] coq-core-debuginfo-8.15.2-2.fc37.ppc64le.rpm 2022-06-21 18:05 6.2M [   ] coq-core-8.15.2-2.fc37.ppc64le.rpm 2022-06-21 18:05 141M [   ] coq-coqide-server-debuginfo-8.15.2-2.fc37.ppc64le.rpm 2022-06-21 18:05 1.2M [   ] coq-coqide-server-8.15.2-2.fc37.ppc64le.rpm 2022-06-21 18:05 20M [   ] coq-coqide-debuginfo-8.15.2-2.fc37.ppc64le.rpm 2022-06-21 18:05 588K [   ] coq-coqide-8.15.2-2.fc37.ppc64le.rpm 2022-06-21 18:05 2.7M [   ] coq-8.15.2-2.fc37.ppc64le.rpm 2022-06-21 18:05 40M