@hugomg: Could you submit aspcud (and its dependencies gringo and clasp) to a devel project and then to Factory? I'm trying to bring opam (*) to openSUSE and this solver is the recommended one :)
(*) It's here for now.
1Antoine1 created request over 7 years ago
1Antoine1 revoked request about 7 years ago
The Open Build Service is an openSUSE project.
@hugomg: Could you submit aspcud (and its dependencies gringo and clasp) to a devel project and then to Factory? I'm trying to bring opam (*) to openSUSE and this solver is the recommended one :)
(*) It's here for now.