id summary reporter owner description type status priority milestone component version resolution keywords cc port 51647 gringo @4.5.4 does not require Boost antonbachin@… mww@… "This patch considerably decreases the size of the package generated by ""port mpkg opam"", from 139MB to 8MB. OPAM depends on Gringo. Background: I believe the Boost dependency was removed in 4.2: https://github.com/potassco/clingo/blob/master/CHANGES#L100 Gringo may have depended on Boost otherwise for some versions after that (haven't searched the full history). But, for 4.5.4, grep -rni boost * in the Gringo source directory reveals no code using Boost." enhancement closed Normal ports fixed haspatch kurthindenburg gringo