3
0
Fork 0
forked from mirrors/nixpkgs
nixpkgs/pkgs/applications
Gabriel Ebner fd0784859b
Merge pull request #154513 from 1000teslas/isabelle
isabelle: patch zipperposition and kodkodi jni libs
2022-01-11 12:27:04 +01:00
..
accessibility
audio Merge pull request #154087 from NickCao/mbrola 2022-01-10 04:41:39 +00:00
backup
blockchains solana-testnet: init at 1.9.2 (#152055) 2022-01-11 06:56:47 +09:00
display-managers
editors Merge pull request #154016 from diogox/master 2022-01-10 00:30:58 +00:00
finance/odoo
gis zombietrackergps: 1.03 → 1.10 2022-01-09 23:50:50 +03:00
graphics inkscape: Remove networkmanager as an inkscape dependency 2022-01-10 15:07:21 +01:00
kde kde/gear: 21.12.0 -> 21.12.1 2022-01-06 08:35:24 -05:00
logging/humioctl
misc Merge pull request #154294 from Eliot00/quake-update 2022-01-11 01:35:01 -05:00
networking Merge pull request #153247 from cawilliamson/update-vivaldi-ffmpeg-codecs 2022-01-11 08:08:06 -03:00
office Merge pull request #153333 from DarkOnion0/master 2022-01-08 16:07:21 -03:00
plasma-mobile
printing/pappl pappl: 1.0.3 -> 1.1.0 2021-12-25 10:40:23 -08:00
qubes/qubes-core-vchan-xen
radio gnuradio: 3.9.4.0 -> 3.9.5.0 2022-01-09 23:53:33 +02:00
science isabelle: patch jni libs for nitpick 2022-01-11 21:09:27 +11:00
search
system
terminal-emulators wezterm: 20211204-082213-a66c61ee9 -> 20220101-133340-7edc5b5a 2022-01-02 00:55:21 +01:00
version-management qgit: 2.9 -> 2.10 2022-01-10 19:37:27 +01:00
video Merge pull request #154146 from Stunkymonkey/subtitleeditor-enchant 2022-01-10 23:43:35 +01:00
virtualization docker-compose_2: update vendorSha256 2022-01-11 06:31:22 +10:00
window-managers icewm: 2.6.0 → 2.9.4 2022-01-08 20:20:04 +03:00