Commit History

Autor SHA1 Mensaxe Data
  espie 511c5d230a a few minor pkg_subst fixes, for the coming patch (disallow -c without -m %!s(int64=9) %!d(string=hai) anos
  jasper 5c884092b6 remove a whole bunch more @rm -f cases %!s(int64=9) %!d(string=hai) anos
  espie 0662a4e9d6 PERMIT_* / REGRESS->TEST sweep %!s(int64=12) %!d(string=hai) anos
  espie e820071495 normalize pkgpath %!s(int64=13) %!d(string=hai) anos
  jasper bc895bff08 missing bump %!s(int64=13) %!d(string=hai) anos
  jasper 6e4ac2d1c5 - tweak MASTER_SITES %!s(int64=13) %!d(string=hai) anos
  jasper eec0417831 bump after default python version switch %!s(int64=13) %!d(string=hai) anos
  jasper 2c96b38d8c import Prover9, Mace4, and several related programs come packaged in a system %!s(int64=14) %!d(string=hai) anos