0e164ec Version 8.12.0.

Authored and Committed by jjames 8 months ago
    Version 8.12.0.
    
    - Build with dune.
    - Add coqide-server subpackage.
    - Unbundle fonts from the documentation.
    
        
  • Build failed
    failure
    Built as coq-8.12.0-1.fc34
    8 months ago
file modified
+1 -28
file modified
+131 -102
file modified
+1 -1