Commit History

Autor SHA1 Mensaxe Data
  Matteo Bernardini d8e4d5de7d academic/aris: Fix for gcc >= 10.x. %!s(int64=2) %!d(string=hai) anos
  Heinz Wiesinger 63daf9f79a All: Support $PRINT_PACKAGE_NAME env var %!s(int64=3) %!d(string=hai) anos
  Heinz Wiesinger 7f26b9929f All: SlackBuilds run in the directory they are in %!s(int64=3) %!d(string=hai) anos
  Heinz Wiesinger fd9245fe0a All: Change SlackBuild shebang to /bin/bash %!s(int64=3) %!d(string=hai) anos
  Philip Lacroix 6f6a902299 academic/aris: Updated for version 2. New maintainer. %!s(int64=3) %!d(string=hai) anos
  dsomero d0c108251a various: Update find command to match template. %!s(int64=11) %!d(string=hai) anos
  Willy Sudiarto Raharjo 9d6abe0415 academic/aris: Updated for version 2.1.1. %!s(int64=11) %!d(string=hai) anos
  Juan M. Lasca c9b87b9659 academic/aris: Fix html docs. %!s(int64=11) %!d(string=hai) anos
  Juan M. Lasca 17ef36e40e academic/aris: Added (sequential proof program) %!s(int64=11) %!d(string=hai) anos