[aur-requests] [PRQ#28679] Deletion Request for dolfin
8 Oct
2021
8 Oct
'21
3:52 p.m.
entshuld [1] filed a deletion request for dolfin [2]: DOLFIN has migrated into DOLFINx. The old code is from 2019, and having a Git package for DOLFIN does not make sense. Instead a DOLFINx package should be created. [1] https://aur.archlinux.org/account/entshuld/ [2] https://aur.archlinux.org/pkgbase/dolfin/
9 Oct
9 Oct
5:30 p.m.
New subject: [aur-requests] [PRQ#28679] Deletion Request for dolfin Rejected
Request #28679 has been rejected by andrewSC [1]: User admitted to accidentally marking package for deletion [1] so the request is being rejected. [1] https://lists.archlinux.org/pipermail/aur- requests/2021-October/059668.html [1] https://aur.archlinux.org/account/andrewSC/
1171
Age (days ago)
1172
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org