Commit a61240d

committed

update self maintained souffle

1 parent 5283e18 commit a61240dCopy full SHA for a61240d

1 file changed

+220

-467

lines changed

godel-script/godel-backend
- 0001-init-self-used-souffle-from-public-souffle.patch

1 file changed

+220

-467

lines changed

Comments

(0)