Cara Menginstal acl2 di Debian 11
Dalam tutorial ini kita belajar cara menginstal acl2 di Debian 11. acl2 adalah Logika Komputasi untuk LISP Umum Aplikatif
pengantar
Dalam tutorial ini kita belajar cara menginstal acl2 di Debian 11.
Apa itu acl2
ACL2 adalah bahasa pemrograman di mana Anda dapat mecaralkan sistem komputer dan alat untuk membantu Anda membuktikan properti caral tersebut.. Paket ini berisi biner ACL2 dasar.
Ada tiga cara untuk menginstal acl2 di Debian 11. Kita bisa menggunakan apt-get, apt dan aptitude. Pada bagian berikut kami akan menjelaskan masing-masing metode. Anda dapat memilih salah satunya.
Instal acl2 Menggunakan apt-get
Perbarui database apt dengan apt-get menggunakan perintah berikut.
sudo apt-get update
Setelah memperbarui database apt, Kita dapat menginstal acl2 menggunakan apt-get dengan menjalankan perintah berikut:
sudo apt-get -y install acl2
Instal acl2 Menggunakan apt
Perbarui database apt dengan apt menggunakan perintah berikut.
sudo apt update
Setelah memperbarui database apt, Kita dapat menginstal acl2 menggunakan apt dengan menjalankan perintah berikut:
sudo apt -y install acl2
Instal acl2 Menggunakan aptitude
Jika Anda ingin mengikuti metode ini, Anda mungkin perlu menginstal aptitude terlebih dahulu karena aptitude biasanya tidak diinstal secara default di Debian. Perbarui database apt dengan aptitude menggunakan perintah berikut.
sudo apt update
Setelah memperbarui database apt, Kita dapat menginstal acl2 menggunakan aptitude dengan menjalankan perintah berikut:
sudo aptitude -y install acl2
Cara Menghapus instalan acl2 di Debian 11
Untuk menghapus hanya paket acl2 kita dapat menggunakan perintah berikut:
sudo apt-get remove acl2
Copot pemasangan acl2 Dan Dependensinya
Untuk meng-uninstall acl2 dan dependensinya yang tidak lagi dibutuhkan oleh Debian 11, kita bisa menggunakan perintah di bawah ini:
sudo apt-get -y autoremove acl2
Hapus Konfigurasi dan Data acl2
Untuk menghapus konfigurasi dan data acl2 dari Debian 11 kita dapat menggunakan perintah berikut:
sudo apt-get -y purge acl2
Hapus konfigurasi acl2, data, dan semua dependensinya
Kita dapat menggunakan perintah berikut untuk menghapus konfigurasi acl2 , data dan semua dependensinya, kita dapat menggunakan perintah berikut:
sudo apt-get -y autoremove --purge acl2
Referensi
-
situs web acl2
Ringkasan
Dalam tutorial ini kita belajar cara menginstal acl2 di Debian 11 menggunakan alat manajemen paket yang berbeda seperti apt, apt-get dan aptitude.