From e23834250195b82c527344ed4a74a279eeece883 Mon Sep 17 00:00:00 2001 From: Phuntsok Drak-pa Date: Mon, 21 Oct 2019 09:06:01 +0200 Subject: [PATCH] added Prolog interpreter --- .yadm/bootstrap | 8 ++++---- README.org | 8 ++++---- 2 files changed, 8 insertions(+), 8 deletions(-) diff --git a/.yadm/bootstrap b/.yadm/bootstrap index 8aa59d2..c0236f9 100644 --- a/.yadm/bootstrap +++ b/.yadm/bootstrap @@ -115,10 +115,10 @@ ntfs-3g numlockx openssh p7zip pacman-contrib pandoc-bin pavucontrol pciutils \ pcurses pdfpc polybar pulseaudio-bluetooth python-envtpl-git python-pip \ python-pywal qemu r raw-thumbnailer reflector rofi rofi-wifi-menu-git rsync \ rtv rustup s-nail samba scrot sent shadow siji-git simplescreenrecorder \ -speedcrunch sshfs st-luke-git texlive-bibtexextra texlive-bin texlive-core \ -texlive-fontsextra texlive-formatsextra texlive-games texlive-humanities \ -texlive-langchinese texlive-langcyrillic texlive-langextra texlive-langgreek \ -texlive-langjapanese texlive-langkorean texlive-latexextra \ +speedcrunch sshfs st-luke-git swi-prolog texlive-bibtexextra texlive-bin \ +texlive-core texlive-fontsextra texlive-formatsextra texlive-games \ +texlive-humanities texlive-langchinese texlive-langcyrillic texlive-langextra \ +texlive-langgreek texlive-langjapanese texlive-langkorean texlive-latexextra \ texlive-localmanager-git texlive-music texlive-pictures texlive-pstricks \ texlive-publishers texlive-science tmux tree ttf-arphic-uming ttf-baekmuk \ ttf-bitstream-vera ttf-dejavu ttf-google-fonts-opinionated-git ttf-joypixels \ diff --git a/README.org b/README.org index 48ba2e8..99876ee 100644 --- a/README.org +++ b/README.org @@ -419,10 +419,10 @@ pcurses pdfpc polybar pulseaudio-bluetooth python-envtpl-git python-pip \ python-pywal qemu r raw-thumbnailer reflector rofi rofi-wifi-menu-git rsync \ rtv rustup s-nail samba scrot sent shadow siji-git simplescreenrecorder \ - speedcrunch sshfs st-luke-git texlive-bibtexextra texlive-bin texlive-core \ - texlive-fontsextra texlive-formatsextra texlive-games texlive-humanities \ - texlive-langchinese texlive-langcyrillic texlive-langextra texlive-langgreek \ - texlive-langjapanese texlive-langkorean texlive-latexextra \ + speedcrunch sshfs st-luke-git swi-prolog texlive-bibtexextra texlive-bin \ + texlive-core texlive-fontsextra texlive-formatsextra texlive-games \ + texlive-humanities texlive-langchinese texlive-langcyrillic texlive-langextra \ + texlive-langgreek texlive-langjapanese texlive-langkorean texlive-latexextra \ texlive-localmanager-git texlive-music texlive-pictures texlive-pstricks \ texlive-publishers texlive-science tmux tree ttf-arphic-uming ttf-baekmuk \ ttf-bitstream-vera ttf-dejavu ttf-google-fonts-opinionated-git ttf-joypixels \