Commit Graph

210568 Commits

Author SHA1 Message Date
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
Vincent Laporte
390769312d coq_8_5: fix build (use gnumake 4.2) 2020-08-03 07:46:20 +02:00
John Ericson
7f0a9a4adb
Merge pull request #93905 from aaronjanse/aj-redox-release-cross
pkgs/top-level: add x86_64-redox to release-cross.nix
2020-08-02 22:57:27 -04:00
Ryan Mulligan
edc0229672
Merge pull request #94503 from r-ryantm/auto-update/hcxdumptool
hcxdumptool: 6.0.7 -> 6.1.0
2020-08-02 17:05:04 -07:00
Michael Raskin
ba9f2498ee
Merge pull request #94566 from 7c6f434c/xscreensaver-demo-fix
xscreensaver: fix xscreensaver-demo build
2020-08-02 23:15:27 +00:00
Ryan Mulligan
393d3338f9
Merge pull request #94545 from r-ryantm/auto-update/picard-tools
picard-tools: 2.23.1 -> 2.23.3
2020-08-02 15:23:56 -07:00
Ryan Mulligan
0fb099374e
Merge pull request #94397 from r-ryantm/auto-update/exoscale-cli
exoscale-cli: 1.14.0 -> 1.15.0
2020-08-02 14:58:12 -07: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
Léo Gaspard
f9b0bc3f29 rss2email: 3.12 -> 3.12.1 2020-08-02 21:35:50 +02:00
Léo Gaspard
27b280b59b rss2email: 3.11 -> 3.12 2020-08-02 21:35:50 +02:00
Michael Raskin
c26f10dc4d xscreensaver: fix xscreensaver-demo build 2020-08-02 21:00:53 +02: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
R. RyanTM
44181da7b7 picard-tools: 2.23.1 -> 2.23.3 2020-08-02 10:04:36 +00:00
R. RyanTM
cff5227054 operator-sdk: 0.18.2 -> 0.19.2 2020-08-02 08:32:28 +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
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
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
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
Matt Wittmann
00501bd134 pythonPackages.vulture: init at 1.6 2020-08-01 21:05:55 -07: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
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
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
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