[pkgdb] mona was added for jjames

Tue May 6 20:54:29 UTC 2008

Kevin Fenzi (kevin) has added Package mona with summary A decision procedure for the WS1S and WS2S logics
Kevin Fenzi (kevin) has approved Package mona
Kevin Fenzi (kevin) has added a Fedora devel branch for mona with an owner of jjames
Kevin Fenzi (kevin) has approved mona in Fedora devel
Kevin Fenzi (kevin) has approved Package mona
Kevin Fenzi (kevin) has set commit to Approved for cvsextras on mona (Fedora devel)
Kevin Fenzi (kevin) has set build to Approved for cvsextras on mona (Fedora devel)
Kevin Fenzi (kevin) has set checkout to Approved for cvsextras on mona (Fedora devel)

To make changes to this package see:
  https://admin.fedoraproject.org/pkgdb/packages/name/mona