3
0
Fork 0
forked from mirrors/nixpkgs
nixpkgs/pkgs/applications
Robin Gloster 74f63cace8
Merge pull request #69356 from kmein/tamarin-prover
tamarin-prover: mark as broken because upstream is broken
2019-09-25 12:39:25 +02:00
..
accessibility/mousetweaks
audio paulstretch: fix build 2019-09-25 11:26:28 +02:00
backup Merge branch 'master' into staging 2019-09-02 23:25:24 +02:00
blockchains jormungandr: 0.3.9999 -> 0.5.0 2019-09-23 18:54:59 +02:00
display-managers lightdm-mini-greeter: put xgreeters in passthru 2019-09-18 11:13:43 -04:00
editors jetbrains.rider: fix on darwin 2019-09-24 21:08:28 +10:00
gis Revert "Merge branch 'staging-next'" 2019-09-21 20:05:09 +02:00
graphics Merge pull request #69061 from Anton-Latukha/adopt-djview 2019-09-25 05:57:01 +08:00
kde dolphin: add baloo to propagatedUseEnvPkgs 2019-09-22 17:36:14 -04:00
misc IPMIView: create desktop file 2019-09-25 09:59:25 +02:00
networking kops_1_13: 1.13.0 -> 1.13.1 (#69407) 2019-09-25 08:57:34 +00:00
office Revert "Merge branch 'staging-next'" 2019-09-21 20:05:09 +02:00
radio treewide: use libtinfo.so.5 where needed 2019-09-18 13:57:20 -04:00
science tamarin-prover: mark as broken because upstream is broken 2019-09-24 15:25:43 +02:00
search Merge branch 'master' into staging-next 2019-09-06 03:20:09 +02:00
version-management lefthook: init at 0.6.3 (#69233) 2019-09-22 16:18:08 -05:00
video shotcut: improve VAAPI rendering auto-detection some more 2019-09-24 11:29:04 +02:00
virtualization virtualboxGuestAdditions: Fix clipboard integration. (#69306) 2019-09-25 10:26:49 +02:00
window-managers dwm-status: 1.6.2 -> 1.6.3 2019-09-23 19:04:38 +02:00