On Wed, Apr 4, 2012 at 10:17 AM, Thomas Dziedzic <[email protected]> wrote: > Hi > > I am disowning vtk, paraview (along with libcgns2 as a dep), nut, > root, and swi-prolog in community. > I will give the devs/tus a week to adopt them before I move them to the aur. > > Cheers!
Also adding on coq (and camlp5 which is a dep for coq) to the list.
