diff --git a/srcfiles/src b/srcfiles/src
index ad6501f..577ba3d 100644
--- a/srcfiles/src
+++ b/srcfiles/src
@@ -4,21 +4,23 @@ git https://gitlab.com/joachimschmidt557/scripts scripts
 # Linux kernel
 git https://github.com/torvalds/linux linux
 # Utilities - zips
+# zip https://downloads.sourceforge.net/project/lang5/lang5.zip lang5
 # Utilities - tarballs
 tar http://releases.llvm.org/9.0.0/llvm-9.0.0.src.tar.xz llvm-9.0.0.src
 tar http://releases.llvm.org/9.0.0/cfe-9.0.0.src.tar.xz cfe-9.0.0.src
 tar https://cache.ruby-lang.org/pub/ruby/2.5/ruby-2.5.7.tar.gz ruby-2.5.7
 tar https://downloads.sourceforge.net/project/open-cobol/gnu-cobol/3.0/gnucobol-3.0-rc1.tar.xz gnucobol-3.0-rc1
 tar https://ftp.gnu.org/gnu/inetutils/inetutils-1.9.4.tar.xz inetutils-1.9.4
-tar http://www.leonerd.org.uk/code/libtickit/libtickit-0.3.3.tar.gz libtickit-0.3.3.tar.gz
+tar http://www.leonerd.org.uk/code/libtickit/libtickit-0.3.3.tar.gz libtickit-0.3.3
 tar http://gondor.apana.org.au/~herbert/dash/files/dash-0.5.10.2.tar.gz dash-0.5.10.2
 tar https://ftp.gnu.org/gnu/coreutils/coreutils-8.31.tar.xz coreutils-8.31
 tar https://www.nano-editor.org/dist/v4/nano-4.6.tar.xz nano-4.6
 tar https://ftp.gnu.org/gnu/emacs/emacs-26.3.tar.xz emacs-26.3
-tar http://www.hercules-390.org/hercules-3.07.tar.gz hercules-3.07
+tar http://www.hercules-390.org/hercules-3.13.tar.gz hercules-3.13
 tar ftp://ftp.infradead.org/pub/openconnect/openconnect-8.05.tar.gz openconnect-8.05
 tar https://www.piumarta.com/software/peg/peg-0.1.18.tar.gz peg-0.1.18
 tar https://data.iana.org/time-zones/releases/tzdb-2019c.tar.lz tzdb-2019c
+tar https://dist.torproject.org/tor-0.4.2.5.tar.gz tor-0.4.2.5
 # Utilities - git repositories
 git https://github.com/sharkdp/fd fd
 git https://github.com/sharkdp/hexyl hexyl
@@ -60,7 +62,7 @@ git git://git.musl-libc.org/musl musl
 git https://github.com/sharkdp/lscolors lscolors
 git https://github.com/lavv17/lftp lftp
 git git://git.ardour.org/ardour/ardour.git ardour
-git https://github.com/JasonFerrara/jmtpfs jmptfs
+git https://github.com/JasonFerrara/jmtpfs jmtpfs
 git https://github.com/PaulBatchelor/Sporth Sporth
 git git://git.calcurse.org/calcurse.git calcurse
 git https://github.com/KDE/breeze breeze
@@ -78,7 +80,7 @@ git https://github.com/abishekvashok/cmatrix cmatrix
 git https://github.com/Sweets/custard custard
 git git://c9x.me/irc.git irc
 git https://github.com/xmonad/xmonad xmonad
-git https://github.com/aircrack-ng/aircrack-ng airgrack-ng
+git https://github.com/aircrack-ng/aircrack-ng aircrack-ng
 git https://github.com/9fans/plan9port plan9port
 git git://sourceware.org/git/glibc.git glibc
 git https://github.com/btpd/btpd btpd
@@ -97,6 +99,7 @@ git https://github.com/allthemusicllc/atm-cli atm-cli
 git https://github.com/johnnovak/nim-mod nim-mod
 git https://github.com/deadpixi/sam sam
 git https://github.com/ziglang/zig-spec zig-spec
+git https://github.com/ziglang/zig-mode zig-mode
 git https://github.com/qutebrowser/qutebrowser qutebrowser
 git https://github.com/rust-lang/rust rust
 git https://github.com/fox0430/moe moe
@@ -118,6 +121,8 @@ git https://github.com/tudace/tuda_latex_templates tuda_latex_templates
 git https://github.com/gohugoio/hugo hugo
 git https://github.com/restic/restic restic
 git https://github.com/martanne/vis vis
+git https://github.com/AdrieanKhisbe/promela-mode promela-mode
+git https://gitlab.com/pdfgrep/pdfgrep pdfgrep
 # My own projects
 git git@github.com:joachimschmidt557/zig-lscolors zig-lscolors
 git git@github.com:joachimschmidt557/zig-walkdir zig-walkdir