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 | 8008ab65e3db0f8a79c0f1a24238065d |
SHA1 | f73e0895e6a99c0e6f24b8bc24bb9e21bdbce964 |
SHA256 | dc1e8c16c976dab1f28b67a305977848eb2667dac6f4d5fb4794eaba333d5645 |
SHA512 | 87133e0d48491fa9f0fabd1590e406a6ed5f116b4c9bd9732b67c039d9219b069d933edf6367e8cb2ce9bf9541d7a2db6a2c79193e82c353c30ea6e28969c9e4 |
Depends
- g++ (>= 7), 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/share/bash-completion/completions/souffle
- /usr/include/souffle/utility/Visitor.h
- /usr/include/souffle/utility/Types.h
- /usr/include/souffle/utility/tinyformat.h
- /usr/include/souffle/utility/StringUtil.h
- /usr/include/souffle/utility/StreamUtil.h
- /usr/include/souffle/utility/span.h
- /usr/include/souffle/utility/ParallelUtil.h
- /usr/include/souffle/utility/MiscUtil.h
- /usr/include/souffle/utility/json11.h
- /usr/include/souffle/utility/Iteration.h
- /usr/include/souffle/utility/FunctionalUtil.h
- /usr/include/souffle/utility/FileUtil.h
- /usr/include/souffle/utility/EvaluatorUtil.h
- /usr/include/souffle/utility/ContainerUtil.h
- /usr/include/souffle/utility/CacheUtil.h
- /usr/include/souffle/TypeAttribute.h
- /usr/include/souffle/SymbolTable.h
- /usr/include/souffle/swig/SwigInterface.i
- /usr/include/souffle/swig/SwigInterface.h
- /usr/include/souffle/SouffleInterface.h
- /usr/include/souffle/SignalHandler.h
- /usr/include/souffle/RecordTable.h
- /usr/include/souffle/RamTypes.h
- /usr/include/souffle/provenance/ExplainTree.h
- /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
Uploaded
over 2 years agoPackage Size
3.19 MBInstalled Size
11.9 MBDownloads
63
wget
wget --content-disposition "https://packagecloud.io/souffle-lang/souffle/packages/ubuntu/focal/souffle_2.1_amd64.deb/download.deb?distro_version_id=210"