How to Install and Uninstall gnat-13 Package on Ubuntu 23.10 (Mantic Minotaur)
Last updated: January 11,2025
1. Install "gnat-13" package
This guide covers the steps necessary to install gnat-13 on Ubuntu 23.10 (Mantic Minotaur)
$
sudo apt update
Copied
$
sudo apt install
gnat-13
Copied
2. Uninstall "gnat-13" package
Please follow the steps below to uninstall gnat-13 on Ubuntu 23.10 (Mantic Minotaur):
$
sudo apt remove
gnat-13
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the gnat-13 package on Ubuntu 23.10 (Mantic Minotaur)
Package: gnat-13
Architecture: amd64
Version: 13.2.0-4ubuntu3
Priority: optional
Section: universe/devel
Source: gcc-13
Origin: Ubuntu
Maintainer: Ubuntu Core developers
Original-Maintainer: Debian GCC Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 87844
Provides: gnat-13-2e6a667c
Depends: gcc-13-base (= 13.2.0-4ubuntu3), gcc-13 (>= 13), libgnat-13 (>= 13.2.0-4ubuntu3), libc6-dev (>= 2.13-0ubuntu6), libc6 (>= 2.38), libgmp10 (>= 2:6.3.0+dfsg), libisl23 (>= 0.15), libmpc3 (>= 1.1.0), libmpfr6 (>= 3.1.3), libzstd1 (>= 1.5.5), zlib1g (>= 1:1.1.4)
Suggests: gnat-13-doc, ada-reference-manual-2012, gnat-13-sjlj
Conflicts: gnat-10, gnat-11, gnat-12, gnat-4.9, gnat-5, gnat-6, gnat-7, gnat-8, gnat-9
Filename: pool/universe/g/gcc-13/gnat-13_13.2.0-4ubuntu3_amd64.deb
Size: 19126562
MD5sum: 69ce63113a39826f970871d6a835b4e1
SHA1: 96184286d3118f8c41a0086a43218b4d79235fd9
SHA256: 869b18380748d65f407c824253e8828d33e316c0e35e3878050852e42189eb06
SHA512: 15173e1b15887e1e2c3f0b43e6d81c9f384bd7d5a8a70f06c69e396812af11429e67b438067308d680cde3e92076a4b65317b138ce8a8155667abafc6b8b8e94
Homepage: http://gcc.gnu.org/
Description: GNU Ada compiler
Description-md5: 8cebde0cd6b861927a7a457cacc8851f
Architecture: amd64
Version: 13.2.0-4ubuntu3
Priority: optional
Section: universe/devel
Source: gcc-13
Origin: Ubuntu
Maintainer: Ubuntu Core developers
Original-Maintainer: Debian GCC Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 87844
Provides: gnat-13-2e6a667c
Depends: gcc-13-base (= 13.2.0-4ubuntu3), gcc-13 (>= 13), libgnat-13 (>= 13.2.0-4ubuntu3), libc6-dev (>= 2.13-0ubuntu6), libc6 (>= 2.38), libgmp10 (>= 2:6.3.0+dfsg), libisl23 (>= 0.15), libmpc3 (>= 1.1.0), libmpfr6 (>= 3.1.3), libzstd1 (>= 1.5.5), zlib1g (>= 1:1.1.4)
Suggests: gnat-13-doc, ada-reference-manual-2012, gnat-13-sjlj
Conflicts: gnat-10, gnat-11, gnat-12, gnat-4.9, gnat-5, gnat-6, gnat-7, gnat-8, gnat-9
Filename: pool/universe/g/gcc-13/gnat-13_13.2.0-4ubuntu3_amd64.deb
Size: 19126562
MD5sum: 69ce63113a39826f970871d6a835b4e1
SHA1: 96184286d3118f8c41a0086a43218b4d79235fd9
SHA256: 869b18380748d65f407c824253e8828d33e316c0e35e3878050852e42189eb06
SHA512: 15173e1b15887e1e2c3f0b43e6d81c9f384bd7d5a8a70f06c69e396812af11429e67b438067308d680cde3e92076a4b65317b138ce8a8155667abafc6b8b8e94
Homepage: http://gcc.gnu.org/
Description: GNU Ada compiler
Description-md5: 8cebde0cd6b861927a7a457cacc8851f