You can type the following command in a terminal:
sudo apt list --installed | grep ceda
If ceda is installed this will print something like:
cedasdk/now 0.10.23 amd64 [installed,local]
To get information about the cedasdk package, type the following in a terminal:
dpkg-deb -I ceda-0.10.23-Linux-x86_64.deb
This will print something like the following:
new Debian package, version 2.0.
size 19786602 bytes: control archive=13120 bytes.
290 bytes, 10 lines control
42515 bytes, 574 lines md5sums
Architecture: amd64
Depends: libc6 (>= 2.25), libgcc1 (>= 1:3.0), libpython2.7 (>= 2.7), libstdc++6 (>= 6)
Description: CedaSDK
Maintainer: David Barrett-Lennard <david.barrettlennard@cedanet.com.au>
Package: cedasdk
Priority: optional
Section: devel
Version: 0.10.2
Installed-Size: 57997
To list all the files in the debian pakage type the following in a terminal:
dpkg-deb -c ceda-0.10.23-Linux-x86_64.deb