rpms / coq

Clone
Source Code
GIT

2568f6d Version 8.13.0.

Authored and Committed by jjames 3 years ago
raw patch tree parent
6 files changed. 149 lines added. 132 lines removed.
coq-sphinxcontrib-bibtex.patch
file removed
-10
coq.spec
file modified
+101 -81
coq.xml
file modified
+1 -0
fr.inria.coqide.desktopcoqide.desktop
file renamed
+0 -0
fr.inria.coqide.metainfo.xmlcoqide.appdata.xml
file renamed
+46 -40
sources
file modified
+1 -1 
    Version 8.13.0.
    
    - Revert to make; dune is unable to build the native compilation
      version.
    - Install into the metainfo dir instead of the appdata dir.
file removed
-10
file modified
+101 -81
file modified
+1 -0
fr.inria.coqide.desktop coqide.desktop
file renamed
file was renamed with no change to the file
fr.inria.coqide.metainfo.xml coqide.appdata.xml
file renamed
+46 -40
file modified
+1 -1
Powered by Pagure 5.13.3
Documentation • File an Issue • About this Instance • SSH Hostkey/Fingerprint
© Red Hat, Inc. and others.