[arch-commits] Commit in (libfplll)

[Antonio Rojas]

    Date: Saturday, October 22, 2016 @ 18:33:59
  Author: arojas
Revision: 193007

Replaced by fplll

Deleted:
  libfplll/