souffle-lang / souffle / ubuntu / groovy / 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
      
      
        b5d2c27f0065d18829808b31c8547b94
      
    

    

      
        SHA1
      
      
        d7309173dcf78a006a266a8cf7ac5636eea52a0c
      
    

    

      
        SHA256
      
      
        7eabd5f17fa39bbba2e6e123e7465e5f706e2a1d001cf238bf9682240b554b88
      
    

    

      
        SHA512
      
      
        790dd5f88acb2b4731115f23ab46ba214e3f1aced251b83f114b5f431724a3b59f5d83cbb1ddfcdeedaeb5ae288b844f92c6e127ff2c04b4c03b9868db2af47f
      
    

  



          

        




                

                  
Depends

                  
    
                    
  • g++ (>= 7), libffi-dev, libncurses5-dev, libsqlite3-dev, mcpp, zlib1g-dev, libc6 (>= 2.30), 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/profile/Table.h
    • 
      
  • /usr/include/souffle/profile/StringUtils.h
    • 
      
  • /usr/include/souffle/profile/Rule.h
    • 
      
  • /usr/include/souffle/profile/Row.h
    • 
      
  • /usr/include/souffle/profile/Relation.h
    • 
      
  • /usr/include/souffle/profile/Reader.h
    • 
      
  • /usr/include/souffle/profile/ProgramRun.h
    • 
      
  • /usr/include/souffle/profile/ProfileEvent.h
    • 
      
  • /usr/include/souffle/profile/ProfileDatabase.h
    • 
      
  • /usr/include/souffle/profile/OutputProcessor.h
    • 
      
  • /usr/include/souffle/profile/Logger.h
    • 
      
  • /usr/include/souffle/profile/Iteration.h
    • 
      
  • /usr/include/souffle/profile/htmlMain.h
    • 
      
  • /usr/include/souffle/profile/htmlJsUtil.h
    • 
      
  • /usr/include/souffle/profile/htmlJsTableSort.h
    • 
      
  • /usr/include/souffle/profile/htmlJsMain.h
    • 
      
  • /usr/include/souffle/profile/htmlJsChartistPlugin.h
    • 
      
  • /usr/include/souffle/profile/htmlJsChartistMin.h
    • 
      
  • /usr/include/souffle/profile/HtmlGenerator.h
    • 
      
  • /usr/include/souffle/profile/htmlCssStyle.h
    • 
      
  • /usr/include/souffle/profile/htmlCssChartist.h
    • 
      
  • /usr/include/souffle/profile/EventProcessor.h
    • 
      
  • /usr/include/souffle/profile/DataComparator.h
    • 
      
  • /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
    • 
  






        

      

      

          

  
Uploaded

  over 2 years ago




  

    
Package Size

    3.26 MB
  

    

      
Installed Size

      12.4 MB
    




          
          

  
Downloads

  

    

      
23

    

    
  




          

  
wget

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