20 Sep
2021
20 Sep
'21
9:52 p.m.
rnbguy [1] filed a deletion request for apalache [2]: I forgot to refactor my build script with new `apalache-bin` package name. [1] https://aur.archlinux.org/account/rnbguy/ [2] https://aur.archlinux.org/pkgbase/apalache/