fesco

#301 Sponsor Request: "David A. Wheeler"
Closed Opened by kevin.

Closed
Reopen Issue

= Full Name =

"David A. Wheeler" dwheeler@dwheeler.com

= Qualifications =

  • I've packaged & maintain 6 packages in Fedora:
    https://admin.fedoraproject.org/pkgdb/users/packages/dwheeler
  • I've also reviewed a number of packages: ocaml-ocamlgraph, alt-ergo, why, cvc3, and pvs-sbcl.
    In my recent review of pvs-sbcl, I was told "thanks for reviewing the package so thoroughly":
    https://bugzilla.redhat.com/show_bug.cgi?id=548607#c27
  • I'm the co-leader of the new "Formal Methods" SIG.
  • I have a lot of experience with open source software in general, as you can see from http://www.dwheeler.com.

= Rationale =

I want to sponsor new packagers so we can get more formal methods related packages into Fedora.

Thanks. FYI, I'm also the creator/primary author of the Fedora wiki's "How to create an RPM package":
http://fedoraproject.org/wiki/PackageMaintainers/CreatingPackageHowTo

Note: I've been using and developing on Unix/Unix-like systems since 1984, and using/developing on Red Hat or Fedora since Red Hat Linux 5.

At the 2010-01-15 fesco meeting we have asked David to do some more reviews and come back to us. I will leave this ticket open and just remove the meeting keyword.

David: Please readd that keyword or add a note here when you have done more reviews/have more experence with them!

No activity in the ticket for two years. I guess we can close it now.
Metadata
None
None
None
None
None
Static archive. pagure.io was sunset in 2026; this is a read-only snapshot.
Red Hat Logo

Fedora is sponsored by Red Hat. Learn more about the relationship between Red Hat and Fedora »

© Red Hat, Inc. and others.