JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
237,023 Commits 2 Branches 0 Tags 12 GiB
ce6e35d1f5
Commit Graph

4396 Commits

Author SHA1 Message Date
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
R. RyanTM
d97569cda1 chibi: 0.8 -> 0.9 2020-08-02 21:07:32 +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
zowoq
3c5750d1cd buildGoModule packages: editorconfig fixes 2020-07-31 13:58:04 +10:00
Daniël de Kok
d52d97db25
Merge pull request #94010 from jlesquembre/clojure 
clojure: 1.10.547 -> 1.10.590
 2020-07-28 08:50:38 +02:00
José Luis Lafuente
81ae93437b
clojure: 1.10.547 -> 1.10.590 2020-07-27 17:17:23 +02:00
Ryan Mulligan
e12aa01bdd
Merge pull request #93924 from r-ryantm/auto-update/hy 
hy: 0.18.0 -> 0.19.0
 2020-07-26 18:53:27 -07:00
R. RyanTM
20ec6b70ce hy: 0.18.0 -> 0.19.0 2020-07-26 15:03:25 +00:00
Maximilian Bosch
5ef09f9ada
evcxr: 0.5.1 -> 0.5.2 
https://github.com/google/evcxr/blob/HEAD/RELEASE_NOTES.md#version-052
 2020-07-26 11:32:41 +02:00
Vladimír Čunát
2b7c0dcdaa
Merge branch 'staging-next' 
Rebuild on Hydra seems OK-ish.
mongodb.nix needed some conflict resolution (scons versions);
all four versions seem to build fine.
 2020-07-25 16:18:40 +02:00
Daniël de Kok
a8a0dfa047
Merge pull request #93646 from cw789/erlang_update 
erlangR23: 23.0.2 -> 23.0.3
 2020-07-23 10:10:59 +02:00
Jan Tojnar
2988feba8c
Merge branch 'master' into staging-next 2020-07-23 08:19:14 +02:00
Stig Palmquist
62a5a71701
rakudo: 2020.06 -> 2020.07 2020-07-22 15:04:47 +02:00
Stig Palmquist
1c4041e661
nqp: 2020.06 -> 2020.07 2020-07-22 15:04:27 +02:00
Stig Palmquist
54b6a81f71
moarvm: 2020.06 -> 2020.07 2020-07-22 15:03:56 +02:00
cw
e30f7087da erlangR23: 23.0.2 -> 23.0.3 2020-07-22 13:18:05 +02:00
Vladimír Čunát
7a5c6fee0f
Merge branch 'master' into staging-next 
Some rebuilds, e.g. all of haskell.
Hydra nixpkgs: ?compare=1601713
 2020-07-22 08:37:19 +02:00
Gabor Greif
74d9ab3f50 wasmtime: 0.18.0 -> 0.19.0 2020-07-22 01:50:56 +02:00
Jörg Thalheim
b595268537
Merge pull request #87239 from Izorkin/ruby-soname 
ruby: fix soname tag
 2020-07-17 19:27:45 +01:00
Dmitry Kalinkin
9173beb67d
Merge branch 'staging-next' into staging 2020-07-15 22:28:18 -04:00
Michael Raskin
71eb03a3c1
Merge pull request #92403 from r-ryantm/auto-update/picoLisp 
picolisp: 19.12 -> 20.6
 2020-07-15 07:30:00 +00:00
Jan Tojnar
821dba740e
Merge branch 'staging-next' into staging 2020-07-15 09:29:01 +02:00
Georges Dubus
249a368cd7
Merge pull request #87738 from cw789/erlang_update 
erlangR23: init at 23.0.2
 2020-07-14 14:50:53 +02:00
Vladimír Čunát
377324ca6d
Merge branch 'staging-next' (PR #91090) 2020-07-13 07:13:56 +02:00
Maximilian Bosch
db2a5bf3b9
Merge pull request #92928 from etu/php72-update 
php72: 7.2.31 -> 7.2.32
 2020-07-11 18:27:37 +02:00
Maximilian Bosch
f510162d69
Merge pull request #92927 from etu/php73-update 
php73: 7.3.19 -> 7.3.20
 2020-07-11 18:27:22 +02:00
Maximilian Bosch
2423213b95
Merge pull request #92925 from etu/php74-update 
php74: 7.4.7 -> 7.4.8
 2020-07-11 18:25:41 +02:00
Maximilian Bosch
3d9c143b77
Merge pull request #91895 from kristoff3r/jupyter-service 
Improve jupyter service
 2020-07-11 18:03:31 +02:00
Elis Hirwing
49316cca66
php74: 7.4.7 -> 7.4.8 
Changelog: https://www.php.net/ChangeLog-7.php#7.4.8
 2020-07-11 15:07:44 +02:00
Elis Hirwing
86ed3bf578
php72: 7.2.31 -> 7.2.32 
Changelog: https://www.php.net/ChangeLog-7.php#7.2.32
 2020-07-11 14:49:37 +02:00
Elis Hirwing
ef4f6dba94
php73: 7.3.19 -> 7.3.20 
Changelog: https://www.php.net/ChangeLog-7.php#7.3.20
 2020-07-11 14:46:29 +02:00
Frederik Rietdijk
a3a40ac7cc Merge staging-next into staging 2020-07-11 09:00:18 +02:00
Frederik Rietdijk
ae8eee9c3f Merge master into staging-next 2020-07-11 08:59:54 +02:00
R. RyanTM
c02f514929 spidermonkey_68: 68.7.0 -> 68.10.0 2020-07-08 02:53:04 +02:00
Oleksii Filonenko
0f66375d45
Merge pull request #92294 from r-ryantm/auto-update/elixir 
elixir: 1.10.3 -> 1.10.4
 2020-07-07 17:47:17 +03:00
Kristoffer Søholm
a8b68fc49f evcxr: wrap evcxr_jupyter binary 
evcxr_jupyter needs the same wrapper as the main binary to work.
 2020-07-07 15:00:54 +02:00
R. RyanTM
9165adad4d picolisp: 19.12 -> 20.6 2020-07-06 04:04:30 +00:00
Jan Tojnar
3d6fcff625
Merge branch 'staging-next' into staging 2020-07-05 00:00:14 +02:00
R. RyanTM
ec8574ae71 elixir: 1.10.3 -> 1.10.4 2020-07-04 20:50:16 +00:00
Frederik Rietdijk
7935bf793e python37: 3.7.7 -> 3.7.8 2020-07-04 18:13:44 +02:00
Frederik Rietdijk
60fb772ae2 python36: 3.6.10 -> 3.6.11 2020-07-04 18:13:44 +02:00
Vladimír Čunát
e1206a2129
Merge master into staging-next 
This brings thousands of rebuilds.
Hydra nixpkgs: ?compare=1597944
 2020-07-04 09:15:27 +02:00
Mario Rodas
033204e47a
Merge pull request #92222 from r-ryantm/auto-update/jruby 
jruby: 9.2.11.1 -> 9.2.12.0
 2020-07-03 18:58:13 -05:00
Mario Rodas
2a208beca4
Merge pull request #92221 from r-ryantm/auto-update/joker 
joker: 0.15.4 -> 0.15.5
 2020-07-03 18:56:24 -05:00
R. RyanTM
8eb0654d16 jruby: 9.2.11.1 -> 9.2.12.0 2020-07-03 20:04:39 +00:00
R. RyanTM
5e73c358aa joker: 0.15.4 -> 0.15.5 2020-07-03 19:57:53 +00:00
Gabor Greif
f16dc8aaf4 wasmtime: 0.17.0 -> 0.18.0 
https://github.com/bytecodealliance/wasmtime/releases/tag/v0.18.0
 2020-07-03 01:06:28 +02:00
misuzu
aedbade43e python3Packages.pip: allow setting reproducible temporary directory via NIX_PIP_INSTALL_TMPDIR 2020-07-02 17:27:13 +02:00
Frederik Rietdijk
c33ca7c5ce Merge staging-next into staging 2020-07-02 17:14:53 +02:00
Mario Rodas
55f52680f9
Merge pull request #92011 from r-ryantm/auto-update/janet 
janet: 1.10.0 -> 1.10.1
 2020-07-02 09:10:51 -05:00