Frederik Rietdijk
26c481b435
Merge master into staging-next
2020-08-04 12:48:50 +02:00
Daniël de Kok
b56eb10f89
Merge pull request #94469 from cust0dian/navi-2.7.1
...
navi: init at 2.7.1
2020-08-04 12:07:45 +02:00
Pavol Rusnak
64a8d0115b
python3Packages.hwi: init at 1.1.2
2020-08-03 14:13:18 -07:00
Tim Steinbach
18ba7fc789
linux: Remove 5.6
2020-08-03 16:49:55 -04:00
Tim Steinbach
6afba54ead
linux_hardened_latest: Keep 5.7
2020-08-03 16:48:44 -04:00
Tim Steinbach
3a8cbea4f7
linux: Init 5.8
2020-08-03 16:45:45 -04:00
Ryan Mulligan
4162c69b3c
Merge pull request #92468 from petabyteboy/jitsi-meet
...
nixos/jitsi-meet: init
2020-08-03 12:43:37 -07:00
Michael Raskin
ee02ea68d4
Merge pull request #85903 from kini/acl2-update
...
acl2: build standard library as well
2020-08-02 18:14:53 +00:00
Thomas Tuegel
798bba8fa0
Merge pull request #93903 from freezeboy/add-kfloppy
...
kfloppy: init at 20.04.3
2020-08-02 11:30:23 -05:00
Robert Hensing
150bf4fa3b
Merge pull request #75584 from Infinisil/settings-formats
...
Configuration file formats for JSON, INI, YAML and TOML
2020-08-02 16:58:49 +02:00
worldofpeace
705bbdbd9a
Merge pull request #84545 from mkg20001/pkg/timezonemap
...
timezonemap: init at 0.4.5
2020-08-02 08:36:00 -04:00
Keshav Kini
9a32d3d136
acl2, acl2-minimal: build standard library, init
...
Before this commit, we only built the main ACL2 executable. Most users
will also want the standard library (the "Community Books"), so after
this commit, we build the entire `make everything` suite, which includes
essentially everything provided in the ACL2 repository.
There's also a new top-level package called `acl2-minimal` which has
just the core ACL2 executable, for those who really only want that.
Future work: modularize the build so that we can support multiple
different subsets of the standard library. A lot of the stuff in this
complete build is probably superfluous to almost all users. Also,
because some of the books have unclear or idiosyncratic licenses, the
full build will not be cached on cache.nixos.org, and installing it will
mean spending a few hours building it. So it would be good to have a
pared down build which excluded non-free books and things that people
rarely or never use.
2020-08-01 23:38:54 -07:00
Jörg Thalheim
b7d44114cb
Merge pull request #92284 from gnidorah/lazpaint
...
lazpaint: init at 7.1.3
2020-08-02 06:39:56 +01:00
Michael Weiss
fde8783f82
wayland-utils: init at 1.0.0 ( #94471 )
...
Announcement: https://lists.freedesktop.org/archives/wayland-devel/2020-July/041565.html
2020-08-01 23:05:01 +02:00
Vladimír Čunát
c62ae96beb
Revert "libreoffice*: fix build after nss update"
...
This reverts commit 34432ad386
.
It's apparently not needed after merge a45f68cca
(PR #94188 )
2020-08-01 22:11:40 +02:00
Vladimír Čunát
508a5f447e
Merge #94421 : firefox* updates (security)
2020-08-01 22:11:35 +02:00
Martin Weinelt
ab5af376cc
Merge pull request #94465 from Mic92/rhasspy-upstream
...
opengrm-ngram: init at 1.3.11, phonetisaurus: init at 2020-07-31
2020-08-01 21:44:43 +02:00
Serg Nesterov
2ddf5fc2e4
navi: init at 2.7.1
2020-08-01 22:17:55 +03:00
Jörg Thalheim
d29b7d91d9
phonetisaurus: init at 2020-07-31
...
Co-authored-by: Martin Weinelt <mweinelt@users.noreply.github.com>
2020-08-01 19:56:25 +01:00
Jörg Thalheim
59c0d1f3ad
opengrm-ngram: init at 1.3.11
2020-08-01 19:56:14 +01:00
Frederik Rietdijk
50c060d13d
Merge master into staging-next
2020-08-01 19:37:20 +02:00
Daniël de Kok
7861d43abd
Merge pull request #89192 from raboof/init-puredata-gem-plugin-at-2020-03-26
...
gem: init at 2020-03-26
2020-08-01 11:07:41 +02:00
Vladimír Čunát
35ce100964
Merge #93227 : thunderbird*: add 78.1.0 (non-default)
...
> At this time, users of the Enigmail Add-on should not update to Thunderbird 78.
https://www.thunderbird.net/en-US/thunderbird/78.1.0/releasenotes/
2020-08-01 10:09:50 +02:00
Jörg Thalheim
0739f4b84f
Merge pull request #94105 from ddelabru/add-inform6
...
inform6: init at 6.34-6.12.2
2020-08-01 09:07:45 +01:00
Arnout Engelen
8ea4f5dea3
gem: init at 2020-03-26
2020-08-01 09:43:34 +02:00
taku0
1d730e1629
firefox-esr: 68.10.0esr -> 78.1.0esr
2020-08-01 15:39:40 +09:00
Ryan Mulligan
6a84389afe
Merge pull request #94203 from Artturin/add-autotiling
...
autotiling: init at 1.1
2020-07-31 20:41:42 -07:00
Artturin
f0e0df37a2
autotiling: init at 1.1
2020-08-01 05:43:15 +03:00
Silvan Mosberger
64a9b4b7a3
Merge pull request #94165 from siraben/scas
...
scas: init at 0.4.6
2020-08-01 03:44:21 +02:00
Silvan Mosberger
f9c2da7d35
Merge pull request #93232 from ShamrockLee/edukai
...
edukai: init at 4.0/edusong: init at 1.0/eduli: init at 3.0
2020-08-01 03:39:27 +02:00
Ben Siraphob
a05e809205
scas: init at 0.4.6
...
Suggested changes
2020-08-01 08:30:38 +07:00
Shamrock Lee
b2872b921d
eduli: Init at 3.0
...
Add `eduli` (MOE Li Font)
If approved, users will be able to install
the Chinese Li (clerical) Font provided by
the Ministry of Education, Republic of China (Taiwan).
This is probably the first font of clerical script in nixpkgs.
2020-08-01 08:17:26 +08:00
Shamrock Lee
8ca49923c6
edusong: Init at 1.0
...
Add `edusong` (MOE Standard Song Font)
If approved, users will be able to install
the Standard Chinese Song Font provided by
the Ministry of Education, Republic of China (Taiwan).
2020-08-01 08:15:44 +08:00
Shamrock Lee
4102707f9a
edukai: Init at 4.0
...
Add `edukai` (MOE Standard Kai Font) version 4.0
If approved, users will be able to install
the Standard Chinese Kai Font provided by
the Ministry of Education, Republic of China (Taiwan).
2020-08-01 08:12:45 +08:00
Martin Weinelt
be2eede676
home-assistant: revert back to python3.8
2020-08-01 00:55:12 +02:00
Christoph Neidahl
0e9f38426a
bambootracker: init at 0.4.3
2020-07-31 21:45:35 +02:00
Pascal Hertleif
30a97cf45c
plexamp: init at 3.0.3
...
Desktop file does not work.
2020-07-31 10:55:45 -07:00
Alexander Bantyev
6fb6633c47
Merge pull request #93792 from cab404/photon-utils
...
SL1ToPhoton: init at 0.1.3
2020-07-31 20:30:29 +03:00
Dennis Gosnell
471f3672b6
Merge pull request #94215 from mikefaille/dhall-lsp-server
...
dhall-lsp-server: init at 1.0.8 on all packages
2020-07-31 17:08:39 +09:00
Pavol Rusnak
f034637a5b
openssh: 8.2p1 -> 8.3p1
...
compile openssh_hpn with recent openssl
2020-07-31 09:01:02 +02:00
Jörg Thalheim
bccfcd358f
Merge pull request #94123 from xoe-labs/da-cfssl-update
2020-07-31 06:54:45 +01:00
David Arnold
ab1f69b099
init: go-rice at 1.0.0
2020-07-31 00:46:52 -05:00
zowoq
e703f3f34b
Merge pull request #89453 from c00w/vend
...
Add vend support to go-modules
2020-07-31 15:16:47 +10:00
worldofpeace
82a441d3cf
Merge pull request #84141 from mkg20001/pkg/isolyzer
...
isolyzer: init at 1.3.0
2020-07-30 14:57:05 -04:00
Maciej Krüger
903f310795
timezonemap: init at 0.4.5
2020-07-30 20:47:13 +02:00
Maciej Krüger
6b806a2097
isolyzer: init at 1.3.0
...
Co-authored-by: worldofpeace <worldofpeace@protonmail.ch>
2020-07-30 20:43:37 +02:00
Frederik Rietdijk
cee7df4846
Merge staging-next into staging
2020-07-30 18:28:15 +02:00
Silvan Mosberger
dd049a47d8
Merge pull request #93189 from bbigras/nwg-launchers
...
nwg-launchers: init at 0.2.0
2020-07-30 18:03:32 +02:00
Dominic Delabruere
406509dcae
inform6: init at 6.34-6.12.2
...
nixpkgs already has Inform 7, which is a lovely design system for creating interactive fiction (text adventures) using a natural language compiler and a rich IDE. However, underlying Inform 7 is a C-like language, Inform 6, which has a much simpler toolchain and its own compiler and standard libraries, which I have packaged for nix here.
2020-07-30 10:27:25 -04:00
Mario Rodas
a4d5f9ff5e
Merge pull request #78998 from magnetophon/real_time_config_quick_scan
...
real_time_config_quick_scan: init at unstable-2020-01-16
2020-07-30 07:58:01 -05:00