100644 blob 624ededcc6f86df6ba767887bac0721837243316	Manifest
100644 blob 952a4b9b605c580d061e9066fa199f0b315ea45e	metadata.xml
100644 blob e33a75a141db3bd7d28e1815b50b23e82287f5ae	sat4j-core-2.2.0.ebuild
100644 blob 0eef81467296e0f46b50d07d14a6083c3bf43698	sat4j-core-2.3.1-r1.ebuild