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

Icon  Name                    Last modified      Size  Description
[<--] Parent Directory                             -    
[!!!] README                  2020-09-05 02:31  525    
[SPT] cvc4.SlackBuild         2020-09-05 02:31  3.4K   
[   ] cvc4.info               2020-09-05 02:31  417    
[   ] run-antlr               2019-04-27 02:31   67    
[TXT] slack-desc              2020-01-12 01:55  1.0K
Apache/2 Server at raw.slackware.uk Port 443