nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-01-22 04:45:39 +00:00
Code Issues Packages Projects Releases Wiki Activity
b5d3526bab
nixpkgs/pkgs/applications
History
Florent C b5d3526bab tlaplus: 1.7.0 -> 1.7.1 
This updates tlaplus to the most recent stable version and directly
fetches the tlatools jar file from the official Github release page
instead of building from the sources. In the previous tlaplus nix
package, there was an issue with the tools when passing some command
line arguments such as `-workers 4` for TLC. A java string method was
not found and the program would not proceed correctly. This solves this
issue.
2021-11-25 10:56:11 +01:00
..
accessibility
audio Merge pull request #146221 from trofi/fix-mp3blaster-for-ncurses-6.3 2021-11-17 04:05:59 +01:00
backup pkgs/applications: rename name to pname&version part 1 (#144949) 2021-11-07 21:29:51 +01:00
blockchains Merge pull request #146513 from erikarvstedt/simplify-clightning 2021-11-18 21:10:46 +01:00
display-managers Merge master into staging-next 2021-11-06 18:01:01 +00:00
editors vscode: 1.62.2 -> 1.62.3 2021-11-19 00:10:13 +00:00
finance/odoo odoo: add rtlcss depenency 2021-11-03 08:01:17 +01:00
gis qmapshack: fix localization 2021-11-12 12:26:48 +03:00
graphics hydrus: 461 -> 462 2021-11-18 07:46:45 +01:00
kde kde-gear: 21.08.2 -> 21.08.3 2021-11-06 18:54:08 -03:00
logging/humioctl humioctl: 0.28.6 -> 0.28.11 2021-10-29 23:19:03 +00:00
misc ulauncher: fix loading svg icons 2021-11-18 23:24:40 +02:00
networking Merge pull request #146531 from sikmir/kristall 2021-11-19 01:11:35 -06:00
office Merge pull request #146144 from r-ryantm/auto-update/todoman 2021-11-16 07:44:55 -05:00
plasma-mobile
printing/pappl
qubes/qubes-core-vchan-xen
radio flex-ndax: 0.1-20210714.0 -> 0.2-20211111.0 2021-11-15 18:36:38 +01:00
science tlaplus: 1.7.0 -> 1.7.1 2021-11-25 10:56:11 +01:00
search pkgs/applications: rename name to pname&version part 2 2021-11-07 14:53:06 +01:00
system pantheon-tweaks: 1.0.1 -> 1.0.2 2021-11-03 10:19:04 +08:00
terminal-emulators xterm: 369 -> 370 2021-11-15 15:18:27 +00:00
version-management Merge pull request #146243 from figsoda/treewide-rust-feature 2021-11-16 21:00:48 -05:00
video Merge pull request #146461 from DeeUnderscore/streamlink-3.0.1 2021-11-18 11:50:37 -03:00
virtualization Merge pull request #146036 from jmgao/qemu_io_uring 2021-11-15 17:33:17 +02:00
window-managers Merge pull request #142834 from trofi/sequential-ion3 2021-11-18 16:57:49 +08:00