souffle-lang / souffle / ubuntu / hirsute / souffle_2.1_amd64.deb
Download

souffle_2.1_amd64.deb

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.deb.sh | sudo bash
copy 
curl -s https://packagecloud.io/install/repositories/souffle-lang/souffle/script.deb.sh | sudo bash



    

    
  


            

    
STEP 2: 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/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 ago




  

    
Package Size

    3.26 MB
  

    

      
Installed Size

      12.3 MB
    




          
          

  
Downloads

  

    

      
27

    

    
  




          

  
wget

  
wget --content-disposition "https://packagecloud.io/souffle-lang/souffle/packages/ubuntu/hirsute/souffle_2.1_amd64.deb/download.deb?distro_version_id=220"