joachim/dotfiles
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

update srcfile

Browse source
This commit is contained in:
joachimschmidt557 2020-03-10 16:52:25 +01:00
parent ba60d9fd8f
commit e56578f73b
1 changed files with 6 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

8
srcfiles/src
View file

@ -38,12 +38,16 @@ tar http://nusmv.fbk.eu/distrib/NuSMV-2.6.0.tar.gz NuSMV-2.6.0
tar https://ftp.gnu.org/gnu/glpk/glpk-4.65.tar.gz glpk-4.65 tar https://ftp.gnu.org/gnu/glpk/glpk-4.65.tar.gz glpk-4.65
tar http://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_2.4/E.tgz E tar http://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_2.4/E.tgz E
tar http://smarden.org/runit/runit-2.1.2.tar.gz runit-2.1.2.tar.gz tar http://smarden.org/runit/runit-2.1.2.tar.gz runit-2.1.2.tar.gz
tar https://dl.winehq.org/wine/source/5.x/wine-5.3.tar.xz wine-5.3
tar http://www.ibiblio.org/pub/Linux/apps/financial/spreadsheet/sc-7.16.tar.gz sc-7.16
# Languages # Languages
git https://github.com/nim-lang/nim nim git https://github.com/nim-lang/nim nim
git https://github.com/ziglang/zig zig git https://github.com/ziglang/zig zig
git https://github.com/racket/racket racket git https://github.com/racket/racket racket
# git https://github.com/ocaml/ocaml ocaml
# git https://github.com/elixir-lang/elixir elixir
# Utilities - git repositories # Utilities - git repositories
git https://github.com/sharkdp/fd fd git https://github.com/sharkdp/fd fd
@ -125,14 +129,12 @@ git https://github.com/freedoom/freedoom freedoom
git https://github.com/chocolate-doom/chocolate-doom chocolate-doom git https://github.com/chocolate-doom/chocolate-doom chocolate-doom
git https://github.com/chocolate-doom/chocpkg chocpkg git https://github.com/chocolate-doom/chocpkg chocpkg
git https://github.com/coq/coq coq git https://github.com/coq/coq coq
# git https://github.com/ocaml/ocaml ocaml
git https://github.com/russellw/racket-format racket-format git https://github.com/russellw/racket-format racket-format
git https://github.com/tudace/tuda_latex_templates tuda_latex_templates git https://github.com/tudace/tuda_latex_templates tuda_latex_templates
git https://github.com/restic/restic restic git https://github.com/restic/restic restic
git https://github.com/martanne/vis vis git https://github.com/martanne/vis vis
git https://github.com/AdrieanKhisbe/promela-mode promela-mode git https://github.com/AdrieanKhisbe/promela-mode promela-mode
git https://gitlab.com/pdfgrep/pdfgrep pdfgrep git https://gitlab.com/pdfgrep/pdfgrep pdfgrep
git https://github.com/elixir-lang/elixir elixir
git https://github.com/nimble-code/Spin Spin git https://github.com/nimble-code/Spin Spin
git https://github.com/VCVRack/Rack Rack git https://github.com/VCVRack/Rack Rack
git https://github.com/i3/i3 i3 git https://github.com/i3/i3 i3
@ -188,3 +190,5 @@ git git@github.com:joachimschmidt557/cuda-mode cuda-mode
git git@github.com:joachimschmidt557/eazyinput eazyinput git git@github.com:joachimschmidt557/eazyinput eazyinput
git git@github.com:joachimschmidt557/adventofcode2019 adventofcode2019 git git@github.com:joachimschmidt557/adventofcode2019 adventofcode2019
git git@github.com:joachimschmidt557/bsv-mode bsv-mode git git@github.com:joachimschmidt557/bsv-mode bsv-mode
git git@github.com:joachimschmidt557/tucan-usercss tucan-usercss
git git@github.com:joachimschmidt557/src src