Mon, 30 Mar 2020 05:20:14 UTC

Information for RPM coq-coqide-8.9.1-8.fc32.x86_64.rpm

ID19804207
Namecoq-coqide
Version8.9.1
Release8.fc32
Epoch
Archx86_64
Summary
Description
Build Time2019-12-06 08:46:28 GMT
Statedeleted
Size7,829,474
108ece2d6f9d8ae6a072b6496a13e070
License
Buildrootf32-build-side-14856-18410281-1311751
Provides No Provides
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires No Requires
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files No Files
Component of No Buildroots