JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
237,779 Commits 2 Branches 0 Tags 13 GiB
5ecee6daed
Commit Graph

85781 Commits

Author SHA1 Message Date
R. RyanTM
37e6ac0410 flyctl: 0.0.135 -> 0.0.137 2020-08-07 00:18:54 -07:00
R. RyanTM
6e276d3612 dbmate: 1.9.0 -> 1.9.1 2020-08-07 00:16:19 -07:00
R. RyanTM
c542d21686 mockgen: 1.4.3 -> 1.4.4 2020-08-07 00:07:54 -07:00
R. RyanTM
4d67cf18d8 python27Packages.azure-mgmt-monitor: 0.10.0 -> 0.11.0 2020-08-06 23:39:16 -07:00
Mario Rodas
cf5bc04fcf python3Packages.scrapy: 2.2.1 -> 2.3.0 2020-08-06 23:03:45 -07:00
Mario Rodas
4b5bae260a python3Packages.itemloaders: init at 1.0.1 2020-08-06 23:03:45 -07:00
R. RyanTM
bfac863728 python27Packages.cli-helpers: 2.0.1 -> 2.1.0 2020-08-06 23:00:42 -07:00
R. RyanTM
20032b1ef6 python37Packages.cfgv: 3.1.0 -> 3.2.0 2020-08-06 23:00:20 -07:00
Cole Mickens
dc5428e70b
packet-cli: alias packet-cli as packet 2020-08-06 22:39:43 -07:00
Cole Mickens
e4f471da97
packet-cli: 0.0.7 -> 0.0.8 2020-08-06 21:53:34 -07:00
Mario Rodas
07e74acd0f
ocamlformat: add marsam to maintainers 2020-08-07 04:20:00 +00:00
Mario Rodas
22594a9d4a ocamlformat: 0.14.2 -> 0.15.0 
https://github.com/ocaml-ppx/ocamlformat/releases/tag/0.15.0
 2020-08-06 23:20:00 -05:00
zowoq
1a83aa1190 go_1_13: 1.13.14 -> 1.13.15 2020-08-07 13:44:42 +10:00
zowoq
32e87e8b02 cproto: use patch file extension 2020-08-07 13:43:35 +10:00
zowoq
ed2e74d9db ocamlPackages.gmetadom: use patch file extension 2020-08-07 13:43:35 +10:00
Mario Rodas
dc2aa26ba9
Merge pull request #94802 from xoe-labs/da-update-skaffold 
skaffold: 1.12.1 → 1.13.1
 2020-08-06 22:30:07 -05:00
R. RyanTM
4d29e78c69 python27Packages.bitarray: 1.3.0 -> 1.5.0 2020-08-07 03:15:30 +00:00
R. RyanTM
ca9c2e3548 petsc: 3.13.2 -> 3.13.3 2020-08-07 12:44:29 +10:00
Benjamin Hipple
6350ea2538 pythonPackags.plaid-python: 4.0.0 -> 6.0.0 
Tested end-to-end with my plaid python scripts.
 2020-08-06 22:17:17 -04:00
Silvan Mosberger
1c918cf06a
Merge pull request #94108 from lopsided98/wxpython-remove-deps 
python3Packages.wxPython_4_0: remove unused dependencies
 2020-08-07 01:58:43 +02:00
worldofpeace
c08a2bfb20
Merge pull request #94815 from matthuszagh/gl2ps 
gl2ps: make cmake a native build input
 2020-08-06 19:54:33 -04:00
John Wiegley
6a359b2333
libxml2Python: Darwin builds require libintl (better fix) 2020-08-06 15:52:57 -07:00
Matt Huszagh
deb0a6ce6e gl2ps: make cmake a native build input 2020-08-06 12:10:26 -07:00
Maximilian Bosch
a4e77ce9cf
strace: 5.7 -> 5.8 
https://github.com/strace/strace/releases/tag/v5.8
 2020-08-06 20:10:26 +02:00
Sarah Brofeldt
0db9545355
Merge pull request #94786 from s1341/master 
pahole: 1.16 -> 1.17
 2020-08-06 19:27:01 +02:00
David Arnold
77c4dae8bc
skaffold: 1.12.1 → 1.13.1 2020-08-06 12:12:39 -05:00
Ben Wolsieffer
7f15e31671 python3Packages.wxPython_4_0: remove manual wrapPythonPrograms invocation 
This was causing programs to be wrapped twice, as wrapping occurs automatically
during the fixup phase.
 2020-08-06 12:54:43 -04:00
Ben Wolsieffer
8b76b92065 python3Packages.wxPython_4_0: enable format hardening 
This was inherited from wxPython 3 and does not seem to be necessary.
 2020-08-06 12:54:43 -04:00
Ben Wolsieffer
430936519c python3Packages.wxPython_4_0: remove unused dependencies 
The package contains no references to many of its declared dependencies, and
the build succeeds without them.
 2020-08-06 12:54:41 -04:00
Lassulus
c0583cbf62
Merge pull request #94773 from gnidorah/updates 
openxray: 558 -> 730
adlplug, opnplug: 1.0.1 -> 1.0.2
ArchiSteamFarm: 4.2.3.3 -> 4.2.3.6
kmsxx: 2020-02-14 -> 2020-08-04
openjk: 2019-11-29 -> 2020-07-03
opl3bankeditor: 1.5 -> 1.5.1
opn2bankeditor: 1.3-beta -> 1.3
 2020-08-06 18:12:43 +02:00
Matt McHenry
0afe6a282a openjdk8: 1.8.0_242 -> 1.8.0_265 2020-08-06 09:29:48 -04:00
B. Kelly
0834620bef libmysofa: disable CODE_COVERAGE in build 
Leaving it on generates huge amounts of stderr spam from anything that
links it (such as ffmpeg) as it tries (and fails) to create profiling
records in /build.
 2020-08-06 08:36:55 -04:00
s1341
3f1eb9524c pahole: 1.16 -> 1.17 2020-08-06 15:25:18 +03:00
Mario Rodas
7dce0fff9c
Merge pull request #94764 from marsam/update-grpc 
grpc: 1.29.0 -> 1.31.0
 2020-08-06 07:09:28 -05:00
Simonas Kazlauskas
3a64e5f72e
arcanist: 20200127 -> 20200711 (#93678) 
Note that this arcanist bump introduces some breaking changes to the
tool interface.
 2020-08-06 13:43:25 +02:00
R. RyanTM
dfda85ced1 libmatroska: 1.6.0 -> 1.6.1 2020-08-06 11:24:23 +00:00
Damien Cassou
f4a0f5541f
cypress: 4.9.0 -> 4.12.1 2020-08-06 12:59:01 +02:00
Daniël de Kok
2c4e0f37a6
Merge pull request #94774 from r-ryantm/auto-update/kustomize 
kustomize: 3.8.0 -> 3.8.1
 2020-08-06 11:53:53 +02:00
R. RyanTM
e717cb63c4 leptonica: 1.79.0 -> 1.80.0 2020-08-06 07:41:00 +00:00
R. RyanTM
668e9f2cb3 ldb: 2.1.4 -> 2.2.0 2020-08-06 07:23:36 +00:00
Vladimír Čunát
ce174c7bc9
Merge #94587: nss: fix on darwin 2020-08-06 09:08:29 +02:00
R. RyanTM
28300eb82b kustomize: 3.8.0 -> 3.8.1 2020-08-06 07:08:03 +00:00
gnidorah
2774941cc2 kmsxx: 2020-02-14 -> 2020-08-04 2020-08-06 09:33:19 +03:00
R. RyanTM
98f9f81408 micronaut: 1.3.6 -> 1.3.7 2020-08-05 19:43:25 -07:00
R. RyanTM
0e0aba2362 mailcore2: 0.6.3 -> 0.6.4 2020-08-05 19:41:50 -07:00
Maximilian Bosch
349e11b63c
Merge pull request #94456 from r-ryantm/auto-update/argbash 
argbash: 2.8.1 -> 2.9.0
 2020-08-05 23:16:56 +02:00
Jörg Thalheim
460c2c4ea3
Merge pull request #94708 from Mic92/radare2 2020-08-05 22:16:03 +01:00
Silvan Mosberger
1436269892
Merge pull request #93179 from Zimmi48/add-get-graphql-schema 
nodePackages.get-graphql-schema: init at 2.1.2
 2020-08-05 20:48:22 +02:00
Vladimír Čunát
e5b91d92a0
valgrind: try fixing on darwin 2020-08-05 19:04:13 +02:00
Martin Weinelt
2a2d5ebc69
Merge pull request #94700 from danieldk/tokenizers-fix 
python3Packages.tokenizers: 0.8.1rc1 -> 0.8.1, fix build
 2020-08-05 19:00:16 +02:00
1000101
5c62904ab7 python3Packages.trezor: 0.12.0 -> 0.12.1 2020-08-05 17:06:29 +02:00
Théo Zimmermann
42de83840d
nodePackages.get-graphql-schema: init at 2.1.2 2020-08-05 15:52:47 +02:00
Christian Kauhaus
3d20d83dbf
Merge pull request #89271 from dpausp/eliot-tree 
eliot-tree: init at 19.0.1
 2020-08-05 15:09:48 +02:00
adisbladis
0ad748cc2a
Merge pull request #94452 from eyJhb/androidenv-build-tools 
androidenv.build-tools: add libc++ to enable buildToolsVersion 29.0.3
 2020-08-05 14:11:02 +02:00
Vincent Laporte
07e3aab009 ocamlPackages.mustache: init at 3.1.0 
mustache.js logic-less templates in OCaml
 2020-08-05 11:39:18 +02:00
Mario Rodas
1a3967a409
pythonPackages.grpcio-tools: 1.29.0 -> 1.31.0 2020-08-05 04:21:00 -05:00
Mario Rodas
6854a2cb4d
grpc: 1.29.0 -> 1.31.0 
Changelog: https://github.com/grpc/grpc/releases/tag/v1.31.0
 2020-08-05 04:20:00 -05:00
Jörg Thalheim
fca28bc496
radare2-cutter: 1.10.3 -> 1.11.0 2020-08-05 09:45:11 +01:00
Jörg Thalheim
63576ebc07
radare2: 4.4.0 -> 4.5.0 2020-08-05 09:45:09 +01:00
Daniël de Kok
66d9d735d2 gperftools: fix dlopen() of gperftools on AArch64 
dlopen()'ing gperftools results in "cannot allocate memory in static TLS
block", see:

https://bugzilla.redhat.com/show_bug.cgi?id=1483558

This change uses a patch from Fedora to disable generic dynamic TLS on
AArch32/64.
 2020-08-05 10:42:25 +02:00
Daniël de Kok
403e2506af python3Packages.tokenizers: 0.8.1rc1 -> 0.8.1 2020-08-05 08:23:11 +02:00
Daniël de Kok
b0a6bd4281 python3Packages.tokenizers: fix build 
Update the parking_lot dependency to be compatible with recent Rust
versions that replace asm! by llvm_asm!:

https://github.com/Amanieu/parking_lot/pull/223

Fixes #94682
 2020-08-05 08:19:01 +02:00
Daniël de Kok
1474bfe27d
Merge pull request #93653 from danieldk/mkl-2020.2.254 
mkl: 2020.1.217 -> 2020.2.254
 2020-08-05 08:08:08 +02:00
Mario Rodas
2cef952907
Merge pull request #94696 from marsam/update-reviewdog 
reviewdog: 0.10.1 -> 0.10.2
 2020-08-05 00:14:12 -05:00
Kirill Elagin
be04d5337e alot: Use bundled theme files 2020-08-04 21:55:35 -07:00
Mario Rodas
7eebc670a0
reviewdog: 0.10.1 -> 0.10.2 
https://github.com/reviewdog/reviewdog/releases/tag/v0.10.2
 2020-08-04 22:38:40 -05:00
Moritz Scheuren
ba61b43921 pythonPackage.liblarch: init at 3.0.1 2020-08-04 18:08:22 -07:00
Farid Zakaria
ea7e87abf5 jruby: 9.2.12.0 → 9.2.13.0 2020-08-04 14:50:17 -07:00
Farid Zakaria
d764809c4d maintainers: add fzakaria 2020-08-04 14:50:17 -07:00
skykanin
be2538f0a0 dotty: 0.23.0-RC1 -> 0.26.0-RC1 2020-08-04 14:26:01 -07:00
Jonathan Ringer
0eac2cfa20 python3Packages.sunpy: add towncrier 2020-08-04 14:11:54 -07:00
Jonathan Ringer
0a2bebf78d python3Packages.towncrier: init at 19.2.0 2020-08-04 14:11:54 -07:00
Martin Weinelt
bee771f70d python3Packages.brother: init at 0.1.14 2020-08-04 13:11:19 -07:00
Martin Weinelt
786d9a39ac python3Packages.pytest-tornasync: init at 0.6.0.post2 2020-08-04 13:11:19 -07:00
Martin Weinelt
2ae6d1fed6 python3Packages.pytest-trio: init at 0.6.0 2020-08-04 13:11:19 -07:00
OPNA2608
ce846253ca libsidplayfp: 1.8.7 -> 2.0.4 2020-08-04 13:05:26 -07:00
Vladimír Čunát
8bbc202208
Merge branch 'master' into staging-next 2020-08-04 21:37:39 +02:00
Florian Klink
6ed882d7e8
Merge pull request #93587 from oxalica/rust-analyzer 
rust-analyzer: 2020-07-13 -> 2020-08-03
 2020-08-04 20:21:35 +02:00
Martin Weinelt
96be1a8909 python3Packages.asynctest: disable tests on python >= 3.7 2020-08-04 17:12:46 +02:00
Maximilian Bosch
ae9ab324b7
hydra-unstable: 2020-07-28 -> 2020-08-04 
Moving just one patch forward to fix importing store-paths from
`hydra-queue-runner`[1]. The other patches[2] require a newer
`pkgs.nixUnstable` and can't be used currently due to this.

[1] https://github.com/NixOS/nixpkgs/pull/93945#issuecomment-668244478
[2] 77c33c1d71...4b5813051b
 2020-08-04 15:29:09 +02:00
Ryan Mulligan
e60301b583
Merge pull request #94589 from r-ryantm/auto-update/gensio 
gensio: 2.0.5 -> 2.1.3
 2020-08-04 06:20:42 -07:00
markuskowa
f2997db610
Merge pull request #92813 from markuskowa/add-ganesha 
nfs-ganesha: init at 3.3
 2020-08-04 14:01:05 +02:00
Frederik Rietdijk
26c481b435 Merge master into staging-next 2020-08-04 12:48:50 +02:00
Vincent Laporte
04f9cd0b0c ocaml-ng.ocamlPackages_4_11.ocaml: 4.11.0+β2 → 4.11.0+β3 2020-08-04 11:26:34 +02:00
Jaka Hudoklin
38dc94bcf0
Merge pull request #94606 from r-ryantm/auto-update/hivex 
hivex: 1.3.18 -> 1.3.19
 2020-08-04 10:21:02 +02:00
Daniël de Kok
5e7fb7699c
Merge pull request #94526 from r-ryantm/auto-update/mill 
mill: 0.7.4 -> 0.8.0
 2020-08-04 09:17:29 +02:00
Mario Rodas
c2a3988d6c
Merge pull request #94559 from wjlroe/fix-zig-0.6.0 
zig: fix build
 2020-08-03 23:15:38 -05:00
Brian Leung
8d4cc5603b nodePackages.vim-language-server: init at 2.1.0 2020-08-03 19:33:14 -07:00
Robert Scott
56f2d53f26 pythonPackages.bsdiff4: init at 1.2.0 2020-08-03 14:39:36 -07:00
Pavol Rusnak
64a8d0115b python3Packages.hwi: init at 1.1.2 2020-08-03 14:13:18 -07:00
Martin Weinelt
cd8dcb546a python3Packages.pyHS100: init at 0.3.5.1 2020-08-03 13:52:39 -07:00
Martin Weinelt
2db9d13de4 pythonPackages.click-datetime: init at 0.2 2020-08-03 13:52:39 -07:00
Jan Tojnar
ce6e35d1f5
bustle: fix build 
Patches are part of Bustle 0.8.0.
 2020-08-03 19:47:37 +02:00
dpausp
37ee089855 eliot-tree: init at 19.0.1 
dependencies:

* eliot: init at 1.12.0
 2020-08-03 15:32:36 +00:00
oxalica
ed34ccf030
rust-analyzer: 2020-07-27 -> 2020-08-03 2020-08-03 20:30:50 +08:00
William Roe
d51340f27f zig: fix build 
It looks like https://github.com/NixOS/nixpkgs/pull/88248 broke the
build for zig.

The error you get when building zig on the current master branch is:

```
Scanning dependencies of target zig_build_libstage2
: CommandLine Error: Option 'polly' registered more than once!
LLVM ERROR: inconsistency in registered CommandLine options
make[2]: *** [CMakeFiles/zig_build_libstage2.dir/build.make:77: CMakeFiles/zig_build_libstage2] Error 1
make[1]: *** [CMakeFiles/Makefile2:252: CMakeFiles/zig_build_libstage2.dir/all] Error 2
make: *** [Makefile:150: all] Error 2
```

The patch that added polly into some build args was likely necessary
only for LLVM 10.0.0 and when that was updated to 10.0.1 it stopped
working or became unnecessary. With this patch removed, zig builds fine
and passes the tests.
 2020-08-03 13:17:40 +01:00
R. RyanTM
812e19f842 hivex: 1.3.18 -> 1.3.19 2020-08-03 11:25:10 +00:00
Lancelot SIX
588940d405
Merge pull request #94570 from r-ryantm/auto-update/python2.7-autopep8 
python27Packages.autopep8: 1.5.3 -> 1.5.4
 2020-08-03 10:44:45 +01:00
Daniël de Kok
594fe8a17b
Merge pull request #94572 from r-ryantm/auto-update/chibi-scheme 
chibi: 0.8 -> 0.9
 2020-08-03 09:33:16 +02:00
Vladimír Čunát
460b2b81d4
Merge #94160: swift: fix cflags for finding C++ headers 
Continuing fallout from commit f3f7612.
 2020-08-03 08:59:50 +02:00
R. RyanTM
6a7c161625 gensio: 2.0.5 -> 2.1.3 2020-08-03 04:46:42 +00:00
Matthew Bauer
d0468f86e8 nss: set install name correctly 2020-08-02 22:35:30 -05:00
Matthew Bauer
dab2ed10e1 gyp: update no-xcode.patch 2020-08-02 21:01:12 -05:00
Maximilian Bosch
3c155bb20c
oraclejdk8: update jce hash 
See c5dd1fba89 (commitcomment-41126603)
 2020-08-02 23:33:59 +02:00
R. RyanTM
d97569cda1 chibi: 0.8 -> 0.9 2020-08-02 21:07:32 +00:00
R. RyanTM
ebc728507c python27Packages.autopep8: 1.5.3 -> 1.5.4 2020-08-02 20:18:07 +00:00
Ryan Mulligan
7b193a9d0b
Merge pull request #94540 from r-ryantm/auto-update/operator-sdk 
operator-sdk: 0.18.2 -> 0.19.2
 2020-08-02 11:33:20 -07:00
Michael Raskin
62f99d0bec
Merge pull request #92578 from fare-patches/fare 
Update Gambit, Gerbil and libraries
 2020-08-02 18:28:10 +00: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
Francois-Rene Rideau
db34ea1698 gerbilPackages-unstable.gerbil-ethereum: init at 2020-08-02 2020-08-02 13:28:55 -04:00
Francois-Rene Rideau
953f41f540 gerbilPackages-unstable.gerbil-persist: init at 2020-08-02 2020-08-02 13:28:55 -04:00
Francois-Rene Rideau
d0c856d4d0 gerbilPackages-unstable.gerbil-poo: init at 2020-08-02 2020-08-02 13:28:55 -04:00
Francois-Rene Rideau
c9b05a3eb9 gerbilPackages-unstable.gerbil-crypto: init at 2020-08-01 2020-08-02 13:28:55 -04:00
Francois-Rene Rideau
cc894c6d91 gerbilPackages-unstable.gerbil-utils: 2020-05-17 -> 2020-08-02 
Better version support for Gerbil packages.
Use passthru for meta-information used by other packages.
 2020-08-02 13:28:20 -04:00
Francois-Rene Rideau
0d99266e5e gerbil-unstable: 2020-05-17 -> 2020-08-02 2020-08-02 12:29:29 -04:00
Francois-Rene Rideau
cb06aefd39 gambit-unstable: 2020-05-15 -> 2020-07-29 2020-08-02 12:29:28 -04:00
Benjamin Hipple
759eb65d2a
Merge pull request #94548 from bachp/openjdk14-14.0.2 
openjdk14: 14.0.1 -> 14.0.2
 2020-08-02 11:37:27 -04:00
Mario Rodas
fa9f7b9081
Merge pull request #94428 from r-ryantm/auto-update/gosec 
gosec: 2.3.0 -> 2.4.0
 2020-08-02 10:36:57 -05:00
Mario Rodas
609cc7bb62
Merge pull request #94437 from r-ryantm/auto-update/flyway 
flyway: 6.5.0 -> 6.5.3
 2020-08-02 10:03:06 -05:00
06kellyjac
22778131cb deno: 1.2.1 -> 1.2.2 2020-08-02 13:11:40 +00:00
sternenseemann
b37f77420e dune-release: 1.3.3 → 1.4.0 2020-08-02 15:01:02 +02:00
Maximilian Bosch
7dd96f84c1
Merge pull request #94528 from asbachb/update-java11 
openjdk: 11.0.7 -> 11.0.8
 2020-08-02 14:56:30 +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
Vincent Laporte
9dab2f2de2 ocamlPackages.mdx: 1.6.0 → 1.7.0 2020-08-02 14:16:55 +02:00
Pascal Bach
ef7c2d3cea openjdk14: 14.0.1 -> 14.0.2 2020-08-02 13:48:00 +02:00
Jon
7ff54682d5
libplacebo: allow for latest glslang (#94510) 2020-08-02 13:27:05 +02:00
Maximilian Bosch
8121647bb5
cargo-tarpaulin: disable aarch64 and i686 build 
Those CPU architectures seem to be unsupported as several constructs[1][2]
are only supported for `x86_64`.

[1] d7e0deef8c/src/breakpoint.rs (L7-L8)
[2] d7e0deef8c/src/process_handling/linux.rs (L37)
 2020-08-02 13:23:04 +02:00
Maximilian Bosch
bc79f93973
Merge pull request #94476 from r-ryantm/auto-update/cargo-tarpaulin 
cargo-tarpaulin: 0.14.0 -> 0.14.2
 2020-08-02 12:39:30 +02:00
Maximilian Bosch
96b0237413
Merge pull request #94521 from r-ryantm/auto-update/liquibase 
liquibase: 3.10.1 -> 3.10.2
 2020-08-02 11:54:50 +02:00
Mario Rodas
209c9079ed
gosec: add ldflags 2020-08-02 04:20:00 -05:00
Jaka Hudoklin
befff21550
Merge pull request #94513 from r-ryantm/auto-update/k6 
k6: 0.27.0 -> 0.27.1
 2020-08-02 10:56:11 +02:00
R. RyanTM
cff5227054 operator-sdk: 0.18.2 -> 0.19.2 2020-08-02 08:32:28 +00:00
Oleksii Filonenko
cb2c3bfce2
Merge pull request #94518 from r-ryantm/auto-update/lazygit 
lazygit: 0.20.6 -> 0.20.9
 2020-08-02 10:50:14 +03:00
Mario Rodas
0dd902360e
Merge pull request #94401 from r-ryantm/auto-update/dune 
dune_2: 2.6.1 -> 2.6.2
 2020-08-02 02:34:48 -05:00
adisbladis
05dfee2778
Merge pull request #94494 from zowoq/buildah 
buildah: 1.15.0 -> 1.15.1
 2020-08-02 09:28:19 +02:00
Benjamin Asbach
56cff958e8 openjdk: 11.0.7 -> 11.0.8 
Also added `minor` variable to reflect naming scheme introduced in java 9: https://bugs.openjdk.java.net/browse/JDK-8061493
 2020-08-02 09:00:39 +02:00
R. RyanTM
882179ef72 mill: 0.7.4 -> 0.8.0 2020-08-02 06:42:01 +00: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
60a216160c
Merge pull request #94500 from r-ryantm/auto-update/gotestsum 
gotestsum: 0.5.1 -> 0.5.2
 2020-08-02 06:57:14 +01:00
R. RyanTM
cccdf4784f liquibase: 3.10.1 -> 3.10.2 2020-08-02 05:51:54 +00:00
R. RyanTM
ceff0a9dcd lazygit: 0.20.6 -> 0.20.9 2020-08-02 04:49:42 +00:00
Matt Wittmann
00501bd134 pythonPackages.vulture: init at 1.6 2020-08-01 21:05:55 -07:00
R. RyanTM
5c3738f4e4 k6: 0.27.0 -> 0.27.1 2020-08-02 04:04:20 +00:00
R. RyanTM
f792659486 bmake: 20200629 -> 20200710 2020-08-01 21:00:22 -07:00
R. RyanTM
035b099515 gotestsum: 0.5.1 -> 0.5.2 2020-08-02 02:09:48 +00: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
R. RyanTM
5da5e21ccc
bazel-kazel: 0.0.7 -> 0.0.10 (#94470) 2020-08-01 18:46:30 -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