Name Last modified Size Description
Parent Directory - coq-8.7.1-7.fc29.i686.rpm 2018-07-12 23:53 43M coq-coqide-8.7.1-7.fc29.i686.rpm 2018-07-12 23:53 1.4M coq-coqide-debuginfo-8.7.1-7.fc29.i686.rpm 2018-07-12 23:53 351K coq-debuginfo-8.7.1-7.fc29.i686.rpm 2018-07-12 23:53 3.6M coq-debugsource-8.7.1-7.fc29.i686.rpm 2018-07-12 23:53 1.8M