sat4j issueshttps://gitlab.ow2.org/sat4j/sat4j/-/issues2018-04-13T11:56:15Zhttps://gitlab.ow2.org/sat4j/sat4j/-/issues/108Lack of 2.3.5 tag for sat4j2018-04-13T11:56:15ZKrzysztof DanielLack of 2.3.5 tag for sat4jThere is no tag in the repo for 2.3.5 release. This is a big problem for me as I can't rebuild sat4j in Fedora, and therefore can't build Eclipse.There is no tag in the repo for 2.3.5 release. This is a big problem for me as I can't rebuild sat4j in Fedora, and therefore can't build Eclipse.