[arch-commits] Commit in (cryptominisat)

Antonio Rojas arojas at archlinux.org
Fri Oct 28 20:20:49 UTC 2016


    Date: Friday, October 28, 2016 @ 20:20:49
  Author: arojas
Revision: 193953

Replaced by cryptominisat2

Deleted:
  cryptominisat/



More information about the arch-commits mailing list