Ali Caglayan 6462ef85d8 coqPackages.coq-lsp: 0.1.6.1 for Coq 8.17 ... Signed-off-by: Ali Caglayan <alizter@gmail.com>		2023-04-04 13:23:51 +02:00
..
androidndk-pkgs
beam-modules
bower-modules/generic
chez-modules
compilers	nimble-unwrapped: Add missing Security framework buildInput	2023-04-03 18:50:57 +00:00
coq-modules	coqPackages.coq-lsp: 0.1.6.1 for Coq 8.17	2023-04-04 13:23:51 +02:00
dhall-modules
dotnet-modules	python-language-server: remove	2023-02-18 22:39:25 -08:00
em-modules/generic
embedded
gnuradio-modules	python310Packages.mako: Normalize attribute, pname, dirname	2023-02-19 21:36:02 +01:00
guile-modules
haskell-modules	remove myself (erictapen) from packages which I don't use anymore	2023-04-03 17:07:16 +02:00
idris-modules
interpreters	Merge pull request #221845 from lstrojny/fix-php-wrapper	2023-04-04 12:46:08 +02:00
java-modules
libraries	Merge pull request #224486 from erictapen/remove-me-as-maintainer	2023-04-04 15:06:07 +12:00
lisp-modules	lisp-modules: don't use mysql alias	2023-04-03 18:01:52 -07:00
lisp-modules-new-obsolete	lisp-modules: add back the two current implementations	2023-04-02 11:14:49 +02:00
lisp-modules-obsolete	lisp-modules: add back the two current implementations	2023-04-02 11:14:49 +02:00
lua-modules	luaPackages.lua-resty-session: mark broken	2023-03-24 15:13:12 -07:00
misc	brev-cli: 0.6.211 -> 0.6.213	2023-04-02 07:11:05 +00:00
mobile
nim-packages
node-packages
ocaml-modules	Merge pull request #224370 from vbgl/ocaml-yuujinchou-4.0.0	2023-04-04 09:04:15 +02:00
octave-modules	Merge pull request #223237 from r-ryantm/auto-update/octave	2023-03-28 12:00:24 -07:00
perl-modules
pharo
php-packages
python2-modules
python-modules	Merge pull request #224109 from dotlambda/rapidfuzz-2.14.0	2023-04-04 12:13:01 +02:00
quickemu
r-modules
rocm-modules/update-script
ruby-modules
scheme-modules/scheme-bytestructures
skaware-packages
tools	Merge pull request #224383 from hughobrien/cdecrypt	2023-04-04 11:45:10 +02:00
web	flyctl: 0.0.498 -> 0.0.500	2023-04-02 03:45:07 +00:00