Name Last modified Size Description
Parent Directory -
coq-debugsource-8.7.1-1.fc28.armv7hl.rpm 2018-02-13 04:27 1.8M
coq-debuginfo-8.7.1-1.fc28.armv7hl.rpm 2018-02-13 04:27 3.7M
coq-coqide-debuginfo-8.7.1-1.fc28.armv7hl.rpm 2018-02-13 04:27 380K
coq-coqide-8.7.1-1.fc28.armv7hl.rpm 2018-02-13 04:27 1.5M
coq-8.7.1-1.fc28.armv7hl.rpm 2018-02-13 04:27 44M