[arch-commits] Commit in (lal)

[Jaroslav Lichtblau via arch-commits]

    Date: Thursday, October 1, 2020 @ 20:46:29
  Author: jlichtblau
Revision: 714289

lal - dead project, package deleted

Deleted:
  lal/