Index of /packages/coq/8.15.2/2.fc37/s390x
Name Last modified Size Description
Parent Directory -
coq-8.15.2-2.fc37.s390x.rpm 2022-06-21 17:55 39M
coq-coqide-8.15.2-2.fc37.s390x.rpm 2022-06-21 17:55 2.6M
coq-coqide-debuginfo-8.15.2-2.fc37.s390x.rpm 2022-06-21 17:55 540K
coq-coqide-server-8.15.2-2.fc37.s390x.rpm 2022-06-21 17:55 20M
coq-coqide-server-debuginfo-8.15.2-2.fc37.s390x.rpm 2022-06-21 17:55 1.2M
coq-core-8.15.2-2.fc37.s390x.rpm 2022-06-21 17:55 138M
coq-core-debuginfo-8.15.2-2.fc37.s390x.rpm 2022-06-21 17:55 6.0M
coq-debuginfo-8.15.2-2.fc37.s390x.rpm 2022-06-21 17:55 1.4M
coq-debugsource-8.15.2-2.fc37.s390x.rpm 2022-06-21 17:55 1.8M