3
0
Fork 0
forked from mirrors/nixpkgs
nixpkgs/pkgs/applications
Paul Liétar 6f8eb1e65a coq: enable coqide on darwin
This was disabled a while ago, when itstool was broken on darwin.
Now that itstool works again, it can be re-enabled.
2021-03-23 08:17:13 +01:00
..
accessibility Merge pull request #116253 from Artturin/add-squeekboard 2021-03-16 14:07:02 +01:00
audio pt2-clone: 1.28 -> 1.29 2021-03-20 22:33:34 -07:00
backup pika-backup: init at 0.2.1 (#115573) 2021-03-14 13:12:11 +01:00
blockchains nano-wallet: 20.0 -> 21.3 (#116780) 2021-03-20 20:40:52 +01:00
display-managers lightdm-mini-greeter: 0.5.0 -> 0.5.1 2021-03-13 15:50:26 +01:00
editors kakounePlugins.kak-ansi: 0.2.1 -> 0.2.3 2021-03-22 12:09:46 -04:00
gis saga: 7.8.2 -> 7.9.0 2021-03-09 13:34:57 +00:00
graphics openimageio: fix build error 2021-03-22 22:56:17 -04:00
kde Merge staging into staging-next 2021-03-08 19:20:18 +01:00
logging/humioctl
misc simplenote: 2.5.0 -> 2.8.0 2021-03-23 01:42:41 -04:00
networking Merge pull request #116982 from r-ryantm/auto-update/sonobuoy 2021-03-22 21:14:45 -07:00
office Merge pull request #115127 from TredwellGit/libreoffice-fresh 2021-03-22 01:13:53 +01:00
printing/pappl
qubes/qubes-core-vchan-xen
radio Merge pull request #92045 from oxzi/btlejack-2.0.0 2021-03-21 05:24:04 +01:00
science coq: enable coqide on darwin 2021-03-23 08:17:13 +01:00
search doodle: 0.7.1 -> 0.7.2 2021-03-14 13:55:45 -04:00
system
terminal-emulators foot: 1.6.4 -> 1.7.0 2021-03-20 14:19:34 +01:00
version-management Merge pull request #117149 from aanderse/redmine 2021-03-22 20:46:30 +01:00
video kodi.packages.netflix: add inputstream-adaptive dependency 2021-03-21 21:42:29 -04:00
virtualization catatonit: add passthru.tests and teams.podman 2021-03-22 15:35:05 +10:00
window-managers Merge branch 'master' into staging-next 2021-03-18 13:35:59 +01:00