[arch-commits] Commit in (cryptominisat2)
Antonio Rojas
arojas at archlinux.org
Sat Jul 22 17:24:01 UTC 2017
Date: Saturday, July 22, 2017 @ 17:24:01
Author: arojas
Revision: 245996
Drop old version of cryptominisat
Deleted:
cryptominisat2/
More information about the arch-commits
mailing list