Complete Guide: Installing spark on Ubuntu 16.04 LTS (Xenial Xerus) 2024

1. Install "spark" package

Please follow the guidance below to install spark on Ubuntu 16.04 LTS (Xenial Xerus)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                spark
            
                    
    
    Copied

2. Uninstall "spark" package

Here is a brief guide to show you how to uninstall spark on Ubuntu 16.04 LTS (Xenial Xerus):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                spark
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the spark package on Ubuntu 16.04 LTS (Xenial Xerus)

Package: spark
Priority: optional
Section: universe/devel
Installed-Size: 9247
Maintainer: Ubuntu Developers
Original-Maintainer: Євгеній Мещеряков
Architecture: amd64
Version: 2012.0.deb-11
Depends: libc6 (>= 2.15), libgcc1 (>= 1:3.0), libgmp10 (>= 2:5.0.1+dfsg-7~), libgnat-4.9 (>= 4.9.3-3ubuntu2), libstdc++6 (>= 5.2), swi-prolog-vm-3, swi-prolog-nox
Suggests: gnat, alt-ergo
Filename: pool/universe/s/spark/spark_2012.0.deb-11_amd64.deb
Size: 2042822
MD5sum: 55b3190b42dc54aae62a1070aa29deb4
SHA1: 1c414cc6db9854172104ae7a57e1d77c8f9c1970
SHA256: 618eae82007b55122c8efa47b2570f8966d206a49786764c79544ad2be1a1dda
Description-en: SPARK programming language toolset
SPARK is a formally-defined computer programming language based on the
Ada programming language, intended to be secure and to support the
development of high integrity software used in applications and systems
where predictable and highly reliable operation is essential either for
reasons of safety or for business integrity.
.
This package contains the tools necessary for checking if programs adhere
to the SPARK rules and the tools to show freedom of runtime exceptions in
those programs. To compile SPARK programs use any standards-compliant Ada
compiler, such as GNAT.
Description-md5: 0512d6610268f233b9345bda401dbf34
Homepage: http://libre.adacore.com/libre/tools/spark-gpl-edition/
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu