adduser=3.116ubuntu1
apt=1.6.14
aspcud=1:1.9.4-1
autoconf=2.69-11
automake=1:1.15.1-3ubuntu2
autopoint=0.19.8.1-6ubuntu0.3
autotools-dev=20180224.1
base-files=10.1ubuntu2.11
base-passwd=3.5.44
bash=4.4.18-2ubuntu1.3
binutils=2.30-21ubuntu1~18.04.7
binutils-common=2.30-21ubuntu1~18.04.7
binutils-x86-64-linux-gnu=2.30-21ubuntu1~18.04.7
bsdmainutils=11.1.2ubuntu1
bsdutils=1:2.31.1-0.4ubuntu3.7
build-essential=12.4ubuntu1
builder=0.3.1
bzip2=1.0.6-8.1ubuntu0.2
ca-certificates=20211016~18.04.1
camlp4=4.05+1-2
clasp=3.3.3-3
coreutils=8.28-1ubuntu1
cpp=4:7.4.0-1ubuntu2.3
cpp-7=7.5.0-3ubuntu1~18.04
curl=7.58.0-2ubuntu3.19
darcs=2.12.5-1
dash=0.5.8-2.10
debconf=1.5.66ubuntu1
debhelper=11.1.6ubuntu2
debianutils=4.8.4
dh-autoreconf=17
dh-exec=0.23build1
dh-strip-nondeterminism=0.040-1.1~build1
diffutils=1:3.6-1
dirmngr=2.2.4-1ubuntu1.6
dpkg=1.19.0.5ubuntu2.4
dpkg-dev=1.19.0.5ubuntu2.4
e2fsprogs=1.44.1-1ubuntu1.3
fakeroot=1.22-2ubuntu1
fdisk=2.31.1-0.4ubuntu3.7
file=1:5.32-2ubuntu0.4
findutils=4.6.0+git+20170828-2
g++=4:7.4.0-1ubuntu2.3
g++-7=7.5.0-3ubuntu1~18.04
gcc=4:7.4.0-1ubuntu2.3
gcc-7=7.5.0-3ubuntu1~18.04
gcc-7-base=7.5.0-3ubuntu1~18.04
gcc-8-base=8.4.0-1ubuntu1~18.04
gettext=0.19.8.1-6ubuntu0.3
gettext-base=0.19.8.1-6ubuntu0.3
git=1:2.17.1-1ubuntu0.12
git-man=1:2.17.1-1ubuntu0.12
gnupg=2.2.4-1ubuntu1.6
gnupg-l10n=2.2.4-1ubuntu1.6
gnupg-utils=2.2.4-1ubuntu1.6
gpg=2.2.4-1ubuntu1.6
gpg-agent=2.2.4-1ubuntu1.6
gpg-wks-client=2.2.4-1ubuntu1.6
gpg-wks-server=2.2.4-1ubuntu1.6
gpgconf=2.2.4-1ubuntu1.6
gpgsm=2.2.4-1ubuntu1.6
gpgv=2.2.4-1ubuntu1.6
grep=3.1-2build1
gringo=5.2.2-5
groff-base=1.22.3-10
gzip=1.6-5ubuntu1.2
hostname=3.20
init-system-helpers=1.51
intltool-debian=0.35.0+20060710.4
krb5-locales=1.16-2ubuntu0.2
ledit=2.03-6
less=487-0.1
libacl1=2.2.52-3build1
libalgorithm-diff-perl=1.19.03-1
libalgorithm-diff-xs-perl=0.04-5
libalgorithm-merge-perl=0.08-3
libapt-pkg5.0=1.6.14
libarchive-cpio-perl=0.10-1
libarchive-zip-perl=1.60-1ubuntu0.1
libasan4=7.5.0-3ubuntu1~18.04
libasn1-8-heimdal=7.5.0+dfsg-1
libassuan0=2.5.1-2
libatomic1=8.4.0-1ubuntu1~18.04
libattr1=1:2.4.47-2build1
libaudit-common=1:2.8.2-1ubuntu1.1
libaudit1=1:2.8.2-1ubuntu1.1
libbinutils=2.30-21ubuntu1~18.04.7
libblkid1=2.31.1-0.4ubuntu3.7
libbsd0=0.8.7-1ubuntu0.1
libbz2-1.0=1.0.6-8.1ubuntu0.2
libc-bin=2.27-3ubuntu1.6
libc-dev-bin=2.27-3ubuntu1.6
libc6=2.27-3ubuntu1.6
libc6-dev=2.27-3ubuntu1.6
libcamlp4-ocaml-dev=4.05+1-2
libcap-ng0=0.7.7-3.1
libcc1-0=8.4.0-1ubuntu1~18.04
libcilkrts5=7.5.0-3ubuntu1~18.04
libcom-err2=1.44.1-1ubuntu1.3
libcroco3=0.6.12-2
libcurl3-gnutls=7.58.0-2ubuntu3.19
libcurl4=7.58.0-2ubuntu3.19
libdb5.3=5.3.28-13.1ubuntu1.1
libdebconfclient0=0.213ubuntu1
libdpkg-perl=1.19.0.5ubuntu2.4
libedit2=3.1-20170329-1
liberror-perl=0.17025-1
libexpat1=2.2.5-3ubuntu0.7
libext2fs2=1.44.1-1ubuntu1.3
libfakeroot=1.22-2ubuntu1
libfdisk1=2.31.1-0.4ubuntu3.7
libffi6=3.2.1-8
libfile-fcntllock-perl=0.22-3build2
libfile-stripnondeterminism-perl=0.040-1.1~build1
libfindlib-ocaml=1.7.3-2
libfindlib-ocaml-dev=1.7.3-2
libgcc-7-dev=7.5.0-3ubuntu1~18.04
libgcc1=1:8.4.0-1ubuntu1~18.04
libgcrypt20=1.8.1-4ubuntu1.3
libgdbm-compat4=1.14.1-6
libgdbm5=1.14.1-6
libglib2.0-0=2.56.4-0ubuntu0.18.04.9
libglib2.0-data=2.56.4-0ubuntu0.18.04.9
libgmp-dev=2:6.1.2+dfsg-2
libgmp10=2:6.1.2+dfsg-2
libgmpxx4ldbl=2:6.1.2+dfsg-2
libgnutls30=3.5.18-1ubuntu1.5
libgomp1=8.4.0-1ubuntu1~18.04
libgpg-error0=1.27-6
libgssapi-krb5-2=1.16-2ubuntu0.2
libgssapi3-heimdal=7.5.0+dfsg-1
libhcrypto4-heimdal=7.5.0+dfsg-1
libheimbase1-heimdal=7.5.0+dfsg-1
libheimntlm0-heimdal=7.5.0+dfsg-1
libhogweed4=3.4.1-0ubuntu0.18.04.1
libhx509-5-heimdal=7.5.0+dfsg-1
libicu60=60.2-3ubuntu3.2
libidn2-0=2.0.4-1.1ubuntu0.2
libisl19=0.19-1
libitm1=8.4.0-1ubuntu1~18.04
libk5crypto3=1.16-2ubuntu0.2
libkeyutils1=1.5.9-9.2ubuntu2.1
libkrb5-26-heimdal=7.5.0+dfsg-1
libkrb5-3=1.16-2ubuntu0.2
libkrb5support0=1.16-2ubuntu0.2
libksba8=1.3.5-2
libldap-2.4-2=2.4.45+dfsg-1ubuntu1.11
libldap-common=2.4.45+dfsg-1ubuntu1.11
liblocale-gettext-perl=1.07-3build2
liblsan0=8.4.0-1ubuntu1~18.04
libltdl-dev=2.4.6-2
libltdl7=2.4.6-2
liblua5.3-0=5.3.3-1ubuntu0.18.04.1
liblz4-1=0.0~r131-2ubuntu3.1
liblzma5=5.2.2-1.3ubuntu0.1
libmagic-mgc=1:5.32-2ubuntu0.4
libmagic1=1:5.32-2ubuntu0.4
libmail-sendmail-perl=0.80-1
libmount1=2.31.1-0.4ubuntu3.7
libmpc3=1.1.0-1
libmpdec2=2.4.2-1ubuntu1
libmpfr6=4.0.1-1
libmpx2=8.4.0-1ubuntu1~18.04
libncurses5=6.1-1ubuntu1.18.04
libncurses5-dev=6.1-1ubuntu1.18.04
libncursesw5=6.1-1ubuntu1.18.04
libnettle6=3.4.1-0ubuntu0.18.04.1
libnghttp2-14=1.30.0-1ubuntu1
libnpth0=1.5-3
libp11-kit0=0.23.9-2ubuntu0.1
libpam-modules=1.1.8-3.6ubuntu2.18.04.3
libpam-modules-bin=1.1.8-3.6ubuntu2.18.04.3
libpam-runtime=1.1.8-3.6ubuntu2.18.04.3
libpam0g=1.1.8-3.6ubuntu2.18.04.3
libpcre3=2:8.39-9ubuntu0.1
libperl5.26=5.26.1-6ubuntu0.5
libpipeline1=1.5.0-1
libpopt0=1.16-11
libprocps6=2:3.3.12-3ubuntu1.2
libpsl5=0.19.1-5build1
libpthread-stubs0-dev=0.3-4
libpython-stdlib=2.7.15~rc1-1
libpython2.7-minimal=2.7.17-1~18.04ubuntu1.8
libpython2.7-stdlib=2.7.17-1~18.04ubuntu1.8
libpython3.6=3.6.9-1~18.04ubuntu1.8
libpython3.6-minimal=3.6.9-1~18.04ubuntu1.8
libpython3.6-stdlib=3.6.9-1~18.04ubuntu1.8
libquadmath0=8.4.0-1ubuntu1~18.04
libreadline7=7.0-3
libroken18-heimdal=7.5.0+dfsg-1
librtmp1=2.4+20151223.gitfa8646d.1-1
libsasl2-2=2.1.27~101-g0780600+dfsg-3ubuntu2.4
libsasl2-modules=2.1.27~101-g0780600+dfsg-3ubuntu2.4
libsasl2-modules-db=2.1.27~101-g0780600+dfsg-3ubuntu2.4
libseccomp2=2.5.1-1ubuntu1~18.04.2
libselinux1=2.7-2build2
libsemanage-common=2.7-2build2
libsemanage1=2.7-2build2
libsepol1=2.7-1ubuntu0.1
libsigsegv2=2.12-1
libsmartcols1=2.31.1-0.4ubuntu3.7
libsqlite3-0=3.22.0-1ubuntu0.5
libss2=1.44.1-1ubuntu1.3
libssl1.0.0=1.0.2n-1ubuntu5.10
libssl1.1=1.1.1-1ubuntu2.1~18.04.20
libstdc++-7-dev=7.5.0-3ubuntu1~18.04
libstdc++6=8.4.0-1ubuntu1~18.04
libsys-hostname-long-perl=1.5-1
libsystemd0=237-3ubuntu10.53
libtasn1-6=4.13-2
libtimedate-perl=2.3000-2
libtinfo-dev=6.1-1ubuntu1.18.04
libtinfo5=6.1-1ubuntu1.18.04
libtool=2.4.6-2
libtsan0=8.4.0-1ubuntu1~18.04
libubsan0=7.5.0-3ubuntu1~18.04
libudev1=237-3ubuntu10.53
libunistring2=0.9.9-0ubuntu2
libuuid1=2.31.1-0.4ubuntu3.7
libwind0-heimdal=7.5.0+dfsg-1
libx11-6=2:1.6.4-3ubuntu0.4
libx11-data=2:1.6.4-3ubuntu0.4
libx11-dev=2:1.6.4-3ubuntu0.4
libx11-doc=2:1.6.4-3ubuntu0.4
libxau-dev=1:1.0.8-1ubuntu1
libxau6=1:1.0.8-1ubuntu1
libxcb1=1.13-2~ubuntu18.04
libxcb1-dev=1.13-2~ubuntu18.04
libxdmcp-dev=1:1.1.2-3
libxdmcp6=1:1.1.2-3
libxext6=2:1.3.3-1
libxml2=2.9.4+dfsg1-6.1ubuntu1.6
libxmuu1=2:1.1.2-2
libzstd1=1.3.3+dfsg-2ubuntu1.2
linux-libc-dev=4.15.0-189.200
login=1:4.5-1ubuntu2.2
lsb-base=9.20170808ubuntu1
m4=1.4.18-1
make=4.1-9.1ubuntu1
man-db=2.8.3-2ubuntu0.1
manpages=4.15-1
manpages-dev=4.15-1
mawk=1.3.3-17ubuntu3
mercurial=4.5.3-1ubuntu2.2
mercurial-common=4.5.3-1ubuntu2.2
mime-support=3.60ubuntu1
mount=2.31.1-0.4ubuntu3.7
multiarch-support=2.27-3ubuntu1.6
ncurses-base=6.1-1ubuntu1.18.04
ncurses-bin=6.1-1ubuntu1.18.04
netbase=5.4
ocaml=4.05.0-10ubuntu1
ocaml-base=4.05.0-10ubuntu1
ocaml-base-nox=4.05.0-10ubuntu1
ocaml-compiler-libs=4.05.0-10ubuntu1
ocaml-findlib=1.7.3-2
ocaml-interp=4.05.0-10ubuntu1
ocaml-nox=4.05.0-10ubuntu1
opam-docs=1.2.2-6
openssh-client=1:7.6p1-4ubuntu0.7
openssl=1.1.1-1ubuntu2.1~18.04.20
orb=0.0.1-3-gf4833d3
passwd=1:4.5-1ubuntu2.2
patch=2.7.6-2ubuntu1.1
perl=5.26.1-6ubuntu0.5
perl-base=5.26.1-6ubuntu0.5
perl-modules-5.26=5.26.1-6ubuntu0.5
pinentry-curses=1.1.0-1
pkg-config=0.29.1-0ubuntu2
po-debconf=1.0.20
procps=2:3.3.12-3ubuntu1.2
publicsuffix=20180223.1310-1
python=2.7.15~rc1-1
python-minimal=2.7.15~rc1-1
python2.7=2.7.17-1~18.04ubuntu1.8
python2.7-minimal=2.7.17-1~18.04ubuntu1.8
readline-common=7.0-3
rsync=3.1.2-2.1ubuntu1.4
sed=4.4-2
sensible-utils=0.0.12
shared-mime-info=1.9-2
sysvinit-utils=2.88dsf-59.10ubuntu1
tar=1.29b-2ubuntu0.3
ubuntu-keyring=2018.09.18.1~18.04.2
ucf=3.0038
unzip=6.0-21ubuntu1.1
util-linux=2.31.1-0.4ubuntu3.7
wget=1.19.4-1ubuntu2.2
x11proto-core-dev=2018.4-4
x11proto-dev=2018.4-4
xauth=1:1.0.10-1
xdg-user-dirs=0.17-1ubuntu1
xorg-sgml-doctools=1:1.11-1
xtrans-dev=1.3.5-1
xz-utils=5.2.2-1.3ubuntu0.1
zlib1g=1:1.2.11.dfsg-0ubuntu2.1