8f07ce0 Revert "Temporarily disable coq subpackage"

Authored and Committed by rjones 2 years ago
    Revert "Temporarily disable coq subpackage"
    
    This reverts commit 55de9a3306f3f833c4e08ec711f1d8d4063a77c2.
    
        
  • Build completed
    success
    Built as ocaml-menhir-20220210-6.fc37
    2 years ago
file modified
+3 -3