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