[aur-requests] [PRQ#28300] Merge Request for apalache
19 Sep
2021
19 Sep
'21
10:45 p.m.
rnbguy [1] filed a request to merge apalache [2] into apalache-bin [3]: this is a binary (jar) release package [1] https://aur.archlinux.org/account/rnbguy/ [2] https://aur.archlinux.org/pkgbase/apalache/ [3] https://aur.archlinux.org/pkgbase/apalache-bin/
20 Sep
20 Sep
2:56 a.m.
New subject: [aur-requests] [PRQ#28300] Merge Request for apalache Accepted
Request #28300 has been accepted by ainola [1]. [1] https://aur.archlinux.org/account/ainola/
1142
Age (days ago)
1143
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify@aur.archlinux.org