How to Install and Uninstall ml-burg Package on Kali Linux

Last updated: May 15,2024

1. Install "ml-burg" package

Please follow the guidelines below to install ml-burg on Kali Linux

$ sudo apt update $ sudo apt install ml-burg

2. Uninstall "ml-burg" package

Please follow the step by step instructions below to uninstall ml-burg on Kali Linux:

$ sudo apt remove ml-burg $ sudo apt autoclean && sudo apt autoremove

3. Information about the ml-burg package on Kali Linux

Package: ml-burg
Source: smlnj
Version: 110.79-8
Installed-Size: 703
Maintainer: Barak A. Pearlmutter
Architecture: amd64
Depends: ml-lex (= 110.79-8)
Size: 196116
SHA256: 1c92a097d0c14b5d29b62a6474620285d6ea46f6c3fc3d9583a8d8da5be439fe
SHA1: a557a742e59f9fe30a37f4911900a5bd18261a75
MD5sum: 5d37af5da6e6c8ea68be8db24a2499ee
Description: Code generator for Standard ML
ml-burg generates a Standard ML program to perform bottom-up
rewriting of an input tree. Cost information associated with each
rewrite rule is used to derive the minimum rewrite cost for the
entire tree. A successful reduction corresponds to rewriting the
input tree to a special non-terminal symbol called the "start"
non-terminal. Upon successful reduction, facilities are provided to
walk the tree emitting semantic actions corresponding to the rules
that matched.
.
Install this package if you want to write a compiler in SML using a
burg specification.
Description-md5:
Homepage: https://www.smlnj.org/
Section: devel
Priority: optional
Filename: pool/main/s/smlnj/ml-burg_110.79-8_amd64.deb