Hiroki Tokunaga 878c7516f5 dev-util/coq-lsp: new package, add 0.1.9 ...

Signed-off-by: Hiroki Tokunaga <tokusan441@gmail.com>

2024-07-16 12:11:12 +09:00

..

bash-language-server

…

bats-assert

…

bats-support

…

bc-ur

…

bruno-bin

…

bump2version

…

cargo-post

dev-util/cargo-post: new package, add 0.1.7

2024-07-05 00:08:52 +02:00

catppuccin-catwalk

Revert "dev-util/*: use latest release on catppuccin-whiskers and catppuccin-catwalk"

2024-06-28 12:54:39 +02:00

catppuccin-whiskers

Revert "dev-util/*: use latest release on catppuccin-whiskers and catppuccin-catwalk"

2024-06-28 12:54:39 +02:00

cmakelang

…

coq-lsp

dev-util/coq-lsp: new package, add 0.1.9

2024-07-16 12:11:12 +09:00

deblob

dev-util/deblob: add 0.8

2024-07-14 17:53:53 +02:00

DirectXShaderCompiler

…

distribution-gpg-keys

…

dmg2img

…

dockerfile-language-server

dev-util/dockerfile-language-server: drop 0.11.0

2024-06-27 23:01:06 +02:00

eclipse-parallel-bin

…

exercism

…

find-work

…

fnm

…

fortls

…

fortran-test-drive

…

gammaray

…

git-bug

…

gitlab-ci-local-bin

…

glsl-language-server

…

gshards

…

haredo

…

hut

dev-util/hut: drop 0.5.0

2024-07-01 14:00:05 +10:00

insomnia-bin

…

juliaup

dev-util/juliaup: add myself as a maintainer

2024-06-26 06:13:30 +09:00

lemminx-bin

dev-util/lemminx-bin: drop 0.25.0

2024-06-27 23:08:50 +02:00

libtypec-utils

dev-libs/libtypec-utils: move from dev-libs to dev-util

2024-07-02 18:45:10 +03:00

lottieconverter

…

lua-language-server

…

mh

…

mock

…

mock-core-configs

…

pcpp

…

pifpaf

…

pmbootstrap

…

prysk

…

qshaderedit

…

quilttools

…

reflex

…

rust-rover

…

rye

dev-util/rye: add 0.36.0, drop 0.35.0

2024-07-08 06:50:31 +09:00

spi-tools

…

stripe-cli

…

stylua

…

tflint-bin

…

tokei

…

typescript-language-server

…

upstream-ontologist

…

vala-language-server

…

vscode-langservers-extracted

…

wakatime-cli

…

webgpu-headers

…

wxformbuilder

…

xxd

…

yaml-language-server

dev-util/yaml-language-server: add 1.15.0

2024-06-28 08:17:23 +02:00