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 | 11f266e45cd61137f178febd15f4a22c |
SHA1 | a4e43599a794885587c8c3992b21584ebe4f9ab1 |
SHA256 | f53a4544970c239e916d83cd104c641a69cfb8a0578aceead10da74d2a9c9dac |
SHA512 | 1fe1fee2fb97b0aa8477c0f370da0ca20e5a90b55face683b16389c11faf7edc4b98d597faed3164205659899945edbba15b0b58c93c787fe952c72b71b4f84b |
Depends
- g++ (>= 8), 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/utility/VisitorFwd.h
- /usr/include/souffle/utility/Visitor.h
- /usr/include/souffle/utility/Types.h
- /usr/include/souffle/utility/tinyformat.h
- /usr/include/souffle/utility/SubProcess.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/NodeMapperFwd.h
- /usr/include/souffle/utility/NodeMapper.h
- /usr/include/souffle/utility/MiscUtil.h
- /usr/include/souffle/utility/json11.h
- /usr/include/souffle/utility/Iteration.h
- /usr/include/souffle/utility/General.h
- /usr/include/souffle/utility/FunctionalUtil.h
- /usr/include/souffle/utility/FileUtil.h
- /usr/include/souffle/utility/EvaluatorUtil.h
- /usr/include/souffle/utility/DynamicCasting.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
Uploaded
over 2 years agoPackage Size
3.68 MBInstalled Size
14.7 MBDownloads
26
wget
wget --content-disposition "https://packagecloud.io/souffle-lang/souffle/packages/ubuntu/hirsute/souffle_2.2_amd64.deb/download.deb?distro_version_id=220"