Commit Graph

236988 Commits

Author SHA1 Message Date
Julien Moutinho
a7439821bc initrd-network: fix flushBeforeStage2 2020-08-02 09:00:11 +02:00
Daniël de Kok
ad7c4e495a
Merge pull request #94514 from r-ryantm/auto-update/kmon
kmon: 1.3.0 -> 1.3.5
2020-08-02 08:51:00 +02: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
R. RyanTM
55edd1e7d3 mdbook: 0.4.0 -> 0.4.1 2020-08-02 06:20:58 +00:00
Jörg Thalheim
181179c53b
Merge pull request #94505 from r-ryantm/auto-update/helmfile
helmfile: 0.119.1 -> 0.125.1
2020-08-02 07:09:34 +01:00
Jörg Thalheim
877002bc85
Merge pull request #94501 from r-ryantm/auto-update/gromit-mpx
gromit-mpx: 1.3 -> 1.3.1
2020-08-02 07:02:08 +01:00
Jörg Thalheim
2d93b5fa74
gromit-mpx: add wrapGAppsHook 2020-08-02 07:00:35 +01: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
4f468c6fbe lite: 1.06 -> 1.11 2020-08-02 05:57:03 +00:00
Jörg Thalheim
2195f0851c
Merge pull request #94499 from r-ryantm/auto-update/gortr
gortr: 0.14.5 -> 0.14.6
2020-08-02 06:56:41 +01:00
R. RyanTM
cccdf4784f liquibase: 3.10.1 -> 3.10.2 2020-08-02 05:51:54 +00:00
Jörg Thalheim
f50b820bf4
Merge pull request #83915 from tsaeger/tsaeger/skim-fix-vim-plugin 2020-08-02 06:48:56 +01: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
R. RyanTM
7fc1e676ea lean: 3.16.5 -> 3.18.4 2020-08-02 04:55:59 +00:00
R. RyanTM
ceff0a9dcd lazygit: 0.20.6 -> 0.20.9 2020-08-02 04:49:42 +00:00
R. RyanTM
17acf9e3ee kube-router: 1.0.0 -> 1.0.1 2020-08-02 04:44:30 +00:00
R. RyanTM
d32e0ee226 kpt: 0.31.0 -> 0.32.0 2020-08-02 04:33:20 +00:00
R. RyanTM
b967396ff7 kondo: 0.3 -> 0.4 2020-08-02 04:26:43 +00:00
R. RyanTM
05aa251ace kmon: 1.3.0 -> 1.3.5 2020-08-02 04:19:00 +00:00
Matt Wittmann
00501bd134 pythonPackages.vulture: init at 1.6 2020-08-01 21:05:55 -07:00
Matt Wittmann
b33e3ac8cd maintainers: add mcwitt 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
4fc26cb6b2 traefik: 2.2.4 -> 2.2.8 2020-08-01 21:01:47 -07:00
R. RyanTM
f792659486 bmake: 20200629 -> 20200710 2020-08-01 21:00:22 -07:00
R. RyanTM
42b1a207c9 jx: 2.1.90 -> 2.1.121 2020-08-02 03:59:22 +00:00
R. RyanTM
111221b93a aws-okta: 1.0.2 -> 1.0.4 2020-08-01 20:13:00 -07:00
David Muto (pseudomuto)
b0d334f2f2 Update default branch for tslime.vim 2020-08-01 20:05:28 -07:00
R. RyanTM
3ff7e49f41 helmfile: 0.119.1 -> 0.125.1 2020-08-02 02:54:08 +00:00
R. RyanTM
78971f3faf hcxdumptool: 6.0.7 -> 6.1.0 2020-08-02 02:43:34 +00:00
Samuel Dionne-Riel
8857f400f9
Merge pull request #83678 from mkg20001/add-theme-option
boot.loader.grub: add theme option
2020-08-01 22:27:48 -04:00
R. RyanTM
1ea9d5b7b3 gromit-mpx: 1.3 -> 1.3.1 2020-08-02 02:23:34 +00:00
worldofpeace
691ef2c55b
Merge pull request #94472 from romildo/upd.xfwm4
xfce.xfwm4: 4.14.2 -> 4.14.4
2020-08-01 22:11:24 -04:00
R. RyanTM
035b099515 gotestsum: 0.5.1 -> 0.5.2 2020-08-02 02:09:48 +00:00
Maciej Krüger
a7a0d79ef3
boot.loader.grub: add theme option
Co-authored-by: Eelco Dolstra <edolstra@gmail.com>

Co-authored-by: Samuel Dionne-Riel <samuel@dionne-riel.com>
2020-08-02 04:03:45 +02:00
R. RyanTM
ccd1661d5c gortr: 0.14.5 -> 0.14.6 2020-08-02 02:02:28 +00:00
Martin Weinelt
8507a0757e home-assistant: regenerate component packages 2020-08-01 18:55:53 -07:00
Martin Weinelt
929e79e6aa python3Packages.openwebifpy: init at 3.1.1 2020-08-01 18:55:53 -07:00
Martin Weinelt
48ec2fbf1e home-assistant: regenerate component packages 2020-08-01 18:50:04 -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
55f1aa3f5f
Merge pull request #94457 from dotlambda/postfix-3.5.6
postfix: 3.5.4 -> 3.5.6
2020-08-02 03:48:52 +02: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
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
worldofpeace
85fd984901
Merge pull request #94477 from romildo/upd.xfce4-timer-plugin
xfce.xfce4-timer-plugin: 1.7.0 -> 1.7.1
2020-08-01 20:54:56 -04:00
worldofpeace
75057e2a85
Merge pull request #94479 from romildo/upd.xfce4-whiskermenu-plugin
xfce.xfce4-whiskermenu-plugin: 2.4.4 -> 2.4.6
2020-08-01 20:54:15 -04:00
worldofpeace
3d80450362
Merge pull request #93621 from worldofpeace/fix-atom
atom: Fix #92487
2020-08-01 20:39:08 -04:00
worldofpeace
e2e7bd237a
Merge pull request #94398 from r-ryantm/auto-update/elementary-planner
elementary-planner: 2.4.5 -> 2.4.6
2020-08-01 20:31:04 -04:00
Matthew Mazzanti
2df0fda951 doc: Fix missing callout in go.xml
Pull #89453 introduced a bug in the documentation that is preventing the
hydra build for nixpkgs-unstable from finishing. I have added the
additional option indroduced in that patch (runVend for go modules) and
added the callout tag so that the documenation can build again.
2020-08-02 09:35:04 +10:00