st/config
1
0
Fork 0
mirror of https://codeberg.org/ProgramSnail/config.git synced 2026-03-12 04:57:08 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

text fixes, remove unrequired todos, gamedev fixes, fixes

Browse source
This commit is contained in:
ProgramSnail 2025-08-17 19:27:01 +03:00
parent 86f72b810e
commit 3246e1c08c
6 changed files with 12 additions and 13 deletions
Download patch file Download diff file Expand all files Collapse all files

2
roles/dev/tasks/coq.yml
View file

@ -4,7 +4,7 @@
- name: Installing ocaml (required for lsp)
ansible.builtin.import_tasks: ocaml.yml
# TODO: add otion to choose ocaml switch
# TODO: add option to choose ocaml switch
- name: "Installing coq lsp: pin version"
ansible.builtin.command:
cmd: opam pin add coq 8.18.0 --yes