b12f/nixpkgs
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity
236975 commits 2 branches 0 tags 3.3 GiB
Commit graph

51840 commits

Author SHA1 Message Date
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
Matt Wittmann 00501bd134 pythonPackages.vulture: init at 1.6 2020-08-01 21:05:55 -07:00
Martin Weinelt 929e79e6aa python3Packages.openwebifpy: init at 3.1.1 2020-08-01 18:55:53 -07:00
Martin Weinelt 806d2f3f1c python3Packages.async-upnp-client: init at 0.14.14 2020-08-01 18:50:04 -07:00
Martin Weinelt 32a3c9a220 python3Packages.python-didl-lite: init at 1.2.4 2020-08-01 18:50:04 -07:00
Martin Weinelt 1930604312 python3Packages.pyipp: init at 0.10.1 
Also regenerate home-assistant component packages.
 2020-08-01 18:01:14 -07:00
Martin Weinelt 25ac3f0f08 python3Packages.deepmerge: init at 0.1.0 2020-08-01 18:01:14 -07:00
Martin Weinelt 6c13b76481 pythonPackages.vcver: init at 0.2.10 2020-08-01 18:01:14 -07: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 93540e9c34
Merge pull request #93821 from mweinelt/pyfritzhome 
python3Packages.pyfritzhome: init at 0.4.2
 2020-08-01 22:09:12 +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
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
Aaron Andersen bb96f89763
Merge pull request #94388 from stigtsp/package/perl-cpan-mini-init 
perlPackages.CPANMini: init at 1.111016
 2020-08-01 10:08:03 -04: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
Stig Palmquist 9ffc60ddea
perlPackages.CPANMini: init at 1.111016 2020-08-01 01:34:10 +02:00
Martin Weinelt be2eede676 home-assistant: revert back to python3.8 2020-08-01 00:55:12 +02:00
Sirio Balmelli b14be7257a python3Packages.west: init at 0.7.2 
Signed-off-by: Sirio Balmelli <sirio@b-ad.ch>
Co-authored-by: Joh <jonringer@users.noreply.github.com>
 2020-07-31 14:25:42 -07: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
Scott Worley 2f2954ccb1 pythonPackages.backoff: init at 1.10.0 2020-07-31 00:35:12 -07: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
Matthew Bauer 5a741d16ff
Merge pull request #93541 from matthewbauer/ios-deploy-update 
ios-deploy: move out of nodePackages
 2020-07-30 19:55:52 -05: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
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