7 Jan
2012
7 Jan
'12
8:20 p.m.
Hello, Is it possible to disown `menhir` [*] package? It has been flagged as OOD since October, and maintainer seems to ignore the comments completely. Thanks, Sergei [*] https://aur.archlinux.org/packages.php?ID=15726