_ ,,,,              _
       __    |-|-:__    ___.   |  ,  __    __  __    . ,.  ___
      (__`   |''''__)  /   `   |.(    |    |   __)    |   /___)
  |   .__)  _|_  (__|_ '.__.  _|  \_  \_/\_/  (__|_  _|_  '.__.
  |
  |__________________________________________________  | |  |_/
                                                       \_/  | \

 Name                                    Last modified      Size  Description
 Parent Directory                                             -    
 CVC4-1.8.tar.gz                         2022-06-03 23:54  7.2M   
 README                                  2022-06-03 23:54  525    
 antlr-3.4-complete.jar                  2016-08-21 12:23  2.3M   
 cvc4.SlackBuild                         2022-03-11 05:34  3.8K   
 cvc4.info                               2022-06-03 23:54  426    
 run-antlr                               2022-06-03 23:54   67    
 slack-desc                              2022-06-03 23:54  1.0K