souffle_2.2_amd64.deb
Install the package
sudo apt-get install souffle=2.2
A Datalog Compiler
Full description: A Datalog Compiler Souffle - A Datalog Compiler
Checksums
MD5 | c672687c02e84eab0bd064253655e660 |
SHA1 | b0d390a51b9408766342b491b91ee36b0ed27230 |
SHA256 | eb152fb3ba079a7bf7f61e81b8f8d70fcd78b8efb347bf5d178eca1d00a20072 |
SHA512 | 227a6f808019cec096e40373aa5b267aa70245b2e75e73d284118d020f74530f5ee64e740c4b9090ec2674aede1f8bcd9ec4fc3b572d66af681939efc0b524fa |
Depends
- g++ (>= 8), libffi-dev, libncurses5-dev, libsqlite3-dev, mcpp, zlib1g-dev, libc6 (>= 2.29), libffi7 (>= 3.3~20180313), libgcc-s1 (>= 3.0), libgomp1 (>= 6), libncurses6 (>= 6), libsqlite3-0 (>= 3.5.9), libstdc++6 (>= 9), libtinfo6 (>= 6), zlib1g (>= 1:1.1.4)
Files
- /usr/include/souffle/provenance/ExplainProvenanceImpl.h
- /usr/include/souffle/provenance/ExplainProvenance.h
- /usr/include/souffle/provenance/Explain.h
- /usr/include/souffle/profile/UserInputReader.h
- /usr/include/souffle/profile/Tui.h
- /usr/include/souffle/profile/Table.h
- /usr/include/souffle/profile/StringUtils.h
- /usr/include/souffle/profile/Rule.h
- /usr/include/souffle/profile/Row.h
- /usr/include/souffle/profile/Relation.h
- /usr/include/souffle/profile/Reader.h
- /usr/include/souffle/profile/ProgramRun.h
- /usr/include/souffle/profile/ProfileEvent.h
- /usr/include/souffle/profile/ProfileDatabase.h
- /usr/include/souffle/profile/OutputProcessor.h
- /usr/include/souffle/profile/Logger.h
- /usr/include/souffle/profile/Iteration.h
- /usr/include/souffle/profile/htmlMain.h
- /usr/include/souffle/profile/htmlJsUtil.h
- /usr/include/souffle/profile/htmlJsTableSort.h
- /usr/include/souffle/profile/htmlJsMain.h
- /usr/include/souffle/profile/htmlJsChartistPlugin.h
- /usr/include/souffle/profile/htmlJsChartistMin.h
- /usr/include/souffle/profile/HtmlGenerator.h
- /usr/include/souffle/profile/htmlCssStyle.h
- /usr/include/souffle/profile/htmlCssChartist.h
- /usr/include/souffle/profile/EventProcessor.h
- /usr/include/souffle/profile/DataComparator.h
- /usr/include/souffle/profile/Cli.h
- /usr/include/souffle/profile/CellInterface.h
Uploaded
over 2 years agoPackage Size
3.64 MBInstalled Size
14.3 MBDownloads
256
wget
wget --content-disposition "https://packagecloud.io/souffle-lang/souffle/packages/ubuntu/focal/souffle_2.2_amd64.deb/download.deb?distro_version_id=210"