souffle_2.1_amd64.deb
Install the package
sudo apt-get install souffle=2.1
A Datalog Compiler
Full description: A Datalog Compiler Souffle - A Datalog Compiler
Checksums
MD5 | b07ba1074dc12fb42bfa1ffa0a05262b |
SHA1 | 5b8a498120153ca981e3a28d5ee7d51379583ad6 |
SHA256 | 343bd71831b59dadd3496fd33cae64a7acf799a4cce556aa1d42af5dba132019 |
SHA512 | 51860d86ff142492db490b8efee811661b1d83693e5b8f038c73dea1c754c85ad4b33b0250b59178697d6c3bae200ca9202e7576cf26434df75ab838c5fe227b |
Depends
- g++ (>= 7), libffi-dev, libncurses5-dev, libsqlite3-dev, mcpp, zlib1g-dev, libc6 (>= 2.33), libffi8ubuntu1 (>= 3.4~20200819), 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/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
- /usr/include/souffle/profile/Cell.h
- /usr/include/souffle/io/WriteStreamSQLite.h
- /usr/include/souffle/io/WriteStreamJSON.h
- /usr/include/souffle/io/WriteStreamCSV.h
- /usr/include/souffle/io/WriteStream.h
Uploaded
over 2 years agoPackage Size
3.26 MBInstalled Size
12.3 MBDownloads
26
wget
wget --content-disposition "https://packagecloud.io/souffle-lang/souffle/packages/ubuntu/hirsute/souffle_2.1_amd64.deb/download.deb?distro_version_id=220"