souffle-2.2-1.x86_64.rpm
Install the package
sudo yum install souffle-2.2-1.x86_64
A Datalog Compiler
Full description: DESCRIPTION =========== This is an installer created using CPack (https://cmake.org). No additional installation instructions provided.
Checksums
MD5 | 788454ae8ccff69a87efd9bdefc0bbf9 |
SHA1 | 9d1b7577ef17d4e65d4dc3d50d10941ee17c8365 |
SHA256 | ec28679c85d7279080902680838d1bfb2c1e044cb55405396ac2c36b95d6a3c2 |
SHA512 | 1a6b63a4c3e963b71f4cf7ded223e19724794d6fc27b294a87e9bada7837ec123939bf4184298ce20dfa7ecd6b675529a9b71d1c77e48d2a0c1c3ae0592c2f58 |
Requires
- /bin/bash
- /bin/sh
- /bin/sh
- gcc-c++ >= 8-
- libc.so.6(GLIBC_2.14)(64bit)
- libdl.so.2()(64bit)
- libdl.so.2(GLIBC_2.2.5)(64bit)
- libffi
- libffi-devel
- libffi.so.6()(64bit)
- libgcc_s.so.1()(64bit)
- libgcc_s.so.1(GCC_3.0)(64bit)
- libgomp.so.1()(64bit)
- libgomp.so.1(GOMP_1.0)(64bit)
- libgomp.so.1(GOMP_4.0)(64bit)
- libgomp.so.1(OMP_1.0)(64bit)
- libm.so.6()(64bit)
- libm.so.6(GLIBC_2.2.5)(64bit)
- libncurses.so.6()(64bit)
- libpthread.so.0()(64bit)
- libpthread.so.0(GLIBC_2.2.5)(64bit)
- libpthread.so.0(GLIBC_2.3.2)(64bit)
- libsqlite3.so.0()(64bit)
- libstdc++.so.6()(64bit)
- libstdc++.so.6(CXXABI_1.3)(64bit)
- libstdc++.so.6(CXXABI_1.3.11)(64bit)
- libstdc++.so.6(CXXABI_1.3.2)(64bit)
- libstdc++.so.6(CXXABI_1.3.5)(64bit)
- libstdc++.so.6(CXXABI_1.3.8)(64bit)
- libstdc++.so.6(CXXABI_1.3.9)(64bit)
- libstdc++.so.6(GLIBCXX_3.4)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.11)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.14)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.15)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.18)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.19)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.20)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.21)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.22)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.9)(64bit)
- libtinfo.so.6()(64bit)
- libz.so.1()(64bit)
- mcpp
- ncurses-devel
- rtld(GNU_HASH)
- sqlite-devel
- zlib-devel
Provides
- souffle(x86-64) = 2.2-1
- souffle = 2.2-1
Files
- /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
- /usr/include/souffle/io/SerialisationStream.h
- /usr/include/souffle/io/ReadStreamSQLite.h
- /usr/include/souffle/io/ReadStreamJSON.h
- /usr/include/souffle/io/ReadStreamCSV.h
- /usr/include/souffle/io/ReadStream.h
- /usr/include/souffle/io/IOSystem.h
- /usr/include/souffle/io/gzfstream.h
- /usr/include/souffle/datastructure/UnionFind.h
- /usr/include/souffle/datastructure/Table.h
- /usr/include/souffle/datastructure/PiggyList.h
- /usr/include/souffle/datastructure/LambdaBTree.h
- /usr/include/souffle/datastructure/Graph.h
- /usr/include/souffle/datastructure/EquivalenceRelation.h
- /usr/include/souffle/datastructure/ConcurrentInsertOnlyHashMap.h
- /usr/include/souffle/datastructure/ConcurrentFlyweight.h
- /usr/include/souffle/datastructure/BTreeUtil.h
- /usr/include/souffle/datastructure/BTreeDelete.h
- /usr/include/souffle/datastructure/BTree.h
- /usr/include/souffle/datastructure/Brie.h
- /usr/include/souffle/CompiledSouffle.h
- /usr/include/souffle/CompiledOptions.h
- /usr/include/souffle/BinaryConstraintOps.h
- /usr/bin/souffleprof
Uploaded
over 2 years agoPackage Size
2.44 MBInstalled Size
14.6 MBDownloads
31
wget
wget --content-disposition "https://packagecloud.io/souffle-lang/souffle/packages/el/8/souffle-2.2-1.x86_64.rpm/download.rpm?distro_version_id=205"