Kira Bruneau 10bef0e28f texlab: remove unused dylib of human_name		2022-06-04 08:50:05 -04:00
..
applications	coq: 8.15.1 → 8.15.2	2022-06-03 10:45:45 +02:00
build-support
common-updater
data
desktops
development	texlab: remove unused dylib of human_name	2022-06-04 08:50:05 -04:00
games
misc
os-specific
pkgs-lib
servers
shells
stdenv
test
tools
top-level