[Bug 1093500] Review Request: clasp - A conflict-driven nogood learning answer set solver

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



https://bugzilla.redhat.com/show_bug.cgi?id=1093500

Ben Rosser <rosser.bjr@xxxxxxxxx> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |logans@xxxxxxxxxxx
              Flags|needinfo?(i@xxxxxxxx)       |needinfo?(logans@xxxxxxxxxx
                   |                            |t)



--- Comment #11 from Ben Rosser <rosser.bjr@xxxxxxxxx> ---
Ping.

aspcud is the recommended external depsolver for opam, the OCaml package
manager. I've been taking over work on packaging opam (that got stalled back in
2015), and it would be nice to be able to get aspcud and its dependency stack
into Fedora too.

As per https://fedoraproject.org/wiki/Policy_for_stalled_package_reviews,
please respond soon if you're still interested in these reviews.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
You are always notified about changes to this product and component
_______________________________________________
package-review mailing list -- package-review@xxxxxxxxxxxxxxxxxxxxxxx
To unsubscribe send an email to package-review-leave@xxxxxxxxxxxxxxxxxxxxxxx




[Index of Archives]     [Fedora Users]     [Fedora Desktop]     [Fedora SELinux]     [Yosemite Conditions]     [KDE Users]

  Powered by Linux