nixpkgs/pkgs/applications
Théo Zimmermann 29cf8484ab
Merge pull request #240656 from vbgl/coq-8.17.1
coq: 8.17.0 → 8.17.1
2023-06-30 14:26:08 +02:00
..
accessibility
audio Merge pull request #240342 from r-ryantm/auto-update/flacon 2023-06-29 10:08:27 +03:00
backup timeshift: 22.11.2 -> 23.06.2 2023-06-13 20:47:39 +08:00
blockchains Merge pull request #240280 from aaronjheng/lightwalletd 2023-06-29 16:02:47 +02:00
display-managers ly: 0.2.1 -> 0.6.0 2023-06-19 10:57:11 +02:00
editors vscode-extensions.elixir-lsp.vscode-elixir-ls: 0.15.1 -> 0.15.2 2023-06-30 08:47:20 +02:00
emulators Merge pull request #240328 from SuperSamus/pcsx2 2023-06-29 15:29:24 +02:00
file-managers projectable: init at 1.2.0 (#240154) 2023-06-28 14:14:14 +02:00
finance denaro: 2023.6.0 -> 2023.6.2 2023-06-28 06:43:59 +00:00
gis grass: 8.2.1 -> 8.3.0 (#239901) 2023-06-26 20:24:19 +02:00
graphics imagemagick: 7.1.1-11 -> 7.1.1-12 2023-06-28 22:27:18 -07:00
kde kdeconnect-kde: set mainProgram to kdeconnect-app 2023-06-10 19:29:49 -04:00
logging humioctl: 0.30.2 -> 0.31.1 2023-06-29 02:22:59 +00:00
maui libsForQt5.mauiPackages: 2.2.2 -> 3.0.0 2023-05-28 00:30:21 -07:00
misc Merge pull request #240598 from marsam/fix-kord-darwin 2023-06-30 14:55:23 +03:00
networking Merge pull request #240699 from r-ryantm/auto-update/roxctl 2023-06-30 14:50:28 +03:00
office Merge pull request #240225 from leona-ya/paperless-1-16-5 2023-06-29 14:43:36 +02:00
plasma-mobile
printing/pappl
qubes/qubes-core-vchan-xen
radio sdrplay: avoid using alias libusb 2023-06-26 09:50:53 +08:00
science Merge pull request #240656 from vbgl/coq-8.17.1 2023-06-30 14:26:08 +02:00
search recoll: simplify --with{out}-inotify expression 2023-06-17 10:39:28 +01:00
system
terminal-emulators Merge staging-next into staging 2023-06-23 00:03:31 +00:00
version-management Merge pull request #240595 from bcdarwin/dvc-add-pythonImportsCheck 2023-06-30 13:19:49 +02:00
video media-downloader: 3.1.0 -> 3.2.0 2023-06-29 02:19:35 +00:00
virtualization distrobox: 1.5.0.1 -> 1.5.0.2 2023-06-28 08:22:59 +00:00
window-managers eww: 0.4.0 -> unstable-2023-06-10 2023-06-25 19:18:13 -03:00