souffle-lang / souffle / fedora / 34 / souffle-2.2-1.x86_64.rpm

souffle-2.2-1.x86_64.rpm

STEP 1: Have you installed this repository?

If not, run this installation script command:

curl -s https://packagecloud.io/install/repositories/souffle-lang/souffle/script.rpm.sh | sudo bash

STEP 2: 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	2be15898e27c681a2d69635122a57122
SHA1	ba54f0e4bda18e39ccea2d1d919692d639972e05
SHA256	d2d2a8157fdc03b5f9b81ac933763b59b8caab611f4a44a54083e7e4ae164bc0
SHA512	8d838aa759211a37aca9c529fa6a869e4e7d5391ce36840e22eb6eb8b2c12470ba2ba6d026b487f039d497d19e339ef992e94d7c741c4f5fc2d183e2eda54bd8

Requires

/bin/sh
/bin/sh
/usr/bin/bash
gcc-c++ >= 8-
libc.so.6(GLIBC_2.33)(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(GOMP_4.5)(64bit)
libgomp.so.1(OMP_1.0)(64bit)
libm.so.6()(64bit)
libm.so.6(GLIBC_2.29)(64bit)
libncurses.so.6()(64bit)
libpthread.so.0()(64bit)
libpthread.so.0(GLIBC_2.2.5)(64bit)
libpthread.so.0(GLIBC_2.30)(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.26)(64bit)
libstdc++.so.6(GLIBCXX_3.4.29)(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/lib/.build-id/e9/a9f8eb3800812f101de21907b7158f02409777
/usr/lib/.build-id/a6/838dddffface802e2f1581b9235574810e8611
/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

Uploaded

over 2 years ago

Package Size

2.34 MB

Installed Size

13.9 MB

Downloads

wget

wget --content-disposition "https://packagecloud.io/souffle-lang/souffle/packages/fedora/34/souffle-2.2-1.x86_64.rpm/download.rpm?distro_version_id=231"

License

UPL-1.0 License