JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
145,551 Commits 2 Branches 0 Tags 13 GiB
6e7bbcabfd
Commit Graph

128137 Commits

Author SHA1 Message Date
Silvan Mosberger
22075242d0
Merge pull request #43132 from eadwu/vscode/1.25.0 
vscode: 1.24.1 -> 1.25.0
 2018-07-07 18:38:25 +02:00
Kenny Shen
638fb3e3ce pdfcrack: init 0.16 (#43144) 2018-07-07 18:32:52 +02:00
Silvan Mosberger
e73783ae40
Merge pull request #42395 from symphorien/nix-du-0-2-0 
nix-du: 0.1.2 -> 0.2.0
 2018-07-07 18:17:22 +02:00
Silvan Mosberger
63e8a44822
Merge pull request #43053 from r-ryantm/auto-update/aws-sdk-cpp 
aws-sdk-cpp: 1.4.70 -> 1.4.78
 2018-07-07 18:02:23 +02:00
Jaka Hudoklin
499203e199 nyx: init at 2.0.4 (#43139) 2018-07-07 17:03:20 +02:00
Alexandre Esteves
52d4d73757 coursera-dl: 0.10.0 -> 0.11.4 (#43050) 2018-07-07 16:31:43 +02:00
adisbladis
e691c8e97c
firefox-beta-bin: 62.0b5 -> 62.0b6 2018-07-07 20:19:09 +08:00
adisbladis
66a6166a37
firefox-devedition-bin: 62.0b5 -> 62.0b6 2018-07-07 20:19:02 +08:00
worldofpeace
2cfb6aafc2 gtkspell3: add valaSupport 2018-07-07 12:57:12 +02:00
Peter Simons
03476783a5 R: fix evaluation errors 2018-07-07 12:10:46 +02:00
Peter Simons
49c649d573 R: update CRAN package set to snapshot 2018-07-06 2018-07-07 12:10:46 +02:00
Peter Simons
d984656a2a R: update package set 
The CRAN snapshot is at "2018-07-03". Bioc is now at 3.8.
 2018-07-07 12:10:46 +02:00
Jaka Hudoklin
ce32952d15 zookeeper: patch shebangs in output scripts 2018-07-07 11:34:06 +02:00
Jaka Hudoklin
6e9c7f0ad5 zookeeper: wrap zkServer.sh command 2018-07-07 11:34:04 +02:00
Vladimír Čunát
6ea4c3d335
Merge #43113: firefox*: 61.0 -> 61.0.1 2018-07-07 08:58:27 +02:00
adisbladis
9c1405d2c6
Merge pull request #42968 from r-ryantm/auto-update/plantuml 
plantuml: 1.2017.18 -> 1.2018.8
 2018-07-07 12:00:03 +08:00
adisbladis
6f32715ab6
Merge pull request #43055 from r-ryantm/auto-update/bibutils 
bibutils: 6.5 -> 6.6
 2018-07-07 11:59:07 +08:00
Edmund Wu
c020e74886
vscode: 1.24.1 -> 1.25.0 
Resolve missing lib, libgtk-x11-2.0.so.0
 2018-07-06 21:57:29 -04:00
Orivej Desh
fb36c7acff Add type_getattro.patch because it is no longer downloadable (#43130) 
See f2f7c4287f
 2018-07-06 23:39:39 +00:00
Timo Kaufmann
ddc7051552 pythonPackages.flask-autoindex: 2018-06-28 -> 0.6.1 (#43126) 2018-07-06 22:47:40 +02:00
leenaars
5902e11cd6 termtekst: init -> 1.0 (#43045) 2018-07-06 21:55:18 +02:00
Demyan Rogozhin
29021eab6a particl-core: 0.16.0.5 -> 0.16.1.0 (#43114) 2018-07-06 21:25:46 +02:00
R. RyanTM
be9c58b997 edbrowse: 3.7.3 -> 3.7.4 (#43037) 
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.

This update was made based on information from https://repology.org/metapackage/edbrowse/versions.

These checks were done:

- built on NixOS
- Warning: no invocation of /nix/store/7jcarzh31rmwvwsahbhq2k74al2x2am2-edbrowse-3.7.4/bin/edbrowse had a zero exit code or showed the expected version
- 0 of 1 passed binary check by having a zero exit code.
- 0 of 1 passed binary check by having the new version present in output.
- found 3.7.4 with grep in /nix/store/7jcarzh31rmwvwsahbhq2k74al2x2am2-edbrowse-3.7.4
- directory tree listing: https://gist.github.com/21b2adbe415a5e475da47207b1f79386
- du listing: https://gist.github.com/e6ec448b581313e4148fb251bcdca067
 2018-07-06 21:08:11 +02:00
Jude Taylor
6084eacc66 remove redundant patch from GHC 8.6.1 for darwin 2018-07-06 12:00:09 -07:00
R. RyanTM
6519ea5671 riemann_c_client: 1.10.1 -> 1.10.2 (#42961) 
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.

This update was made based on information from https://repology.org/metapackage/riemann-c-client/versions.

These checks were done:

- built on NixOS
- /nix/store/hxh4dj91473d8wlyr2kaqf5n6hcn8z4b-riemann-c-client-1.10.2/bin/riemann-client passed the binary check.
- 1 of 1 passed binary check by having a zero exit code.
- 1 of 1 passed binary check by having the new version present in output.
- found 1.10.2 with grep in /nix/store/hxh4dj91473d8wlyr2kaqf5n6hcn8z4b-riemann-c-client-1.10.2
- directory tree listing: https://gist.github.com/64c27a461ed26c33098195c79327e87c
- du listing: https://gist.github.com/7bdbbd558a2ce067e9e413f0bbba1185
 2018-07-06 20:51:40 +02:00
R. RyanTM
499ccb69e7 passExtensions.pass-otp: 1.1.0 -> 1.1.1 (#42973) 
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.

This update was made based on information from https://repology.org/metapackage/pass-otp/versions.

Version release notes (from GitHub):

These checks were done:

- built on NixOS

- 0 of 0 passed binary check by having a zero exit code.
- 0 of 0 passed binary check by having the new version present in output.
- found 1.1.1 with grep in /nix/store/qam419864q7zv1fllmjpsylw6c0b76y6-pass-otp-1.1.1
- directory tree listing: https://gist.github.com/7a35773fe3bff95a565cc4f539706da6
- du listing: https://gist.github.com/adf137d812986c88efa0c217189d79a3
 2018-07-06 20:43:45 +02:00
taku0
09918a6570
firefox: 61.0 -> 61.0.1 2018-07-06 20:30:51 +02:00
taku0
ea94258886
firefox-bin: 61.0 -> 61.0.1 2018-07-06 20:30:51 +02:00
R. RyanTM
cb85999b6b picard-tools: 2.18.7 -> 2.18.9 (#42967) 
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.

This update was made based on information from https://repology.org/metapackage/picard-tools/versions.

These checks were done:

- built on NixOS
- Warning: no invocation of /nix/store/ah3v1x61gmj9lan8a3qvy3824lqvjdgi-picard-tools-2.18.9/bin/picard had a zero exit code or showed the expected version
- 0 of 1 passed binary check by having a zero exit code.
- 0 of 1 passed binary check by having the new version present in output.
- found 2.18.9 with grep in /nix/store/ah3v1x61gmj9lan8a3qvy3824lqvjdgi-picard-tools-2.18.9
- directory tree listing: https://gist.github.com/0972acdc51fe8a1cde470e4ab5e87993
- du listing: https://gist.github.com/6a66b6723ce4887cd108678369b87360
 2018-07-06 20:24:57 +02:00
R. RyanTM
6d08204090 mate.pluma: 1.21.0 -> 1.21.1 (#42966) 
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.

This update was made based on information from https://repology.org/metapackage/pluma/versions.

These checks were done:

- built on NixOS
- /nix/store/qv4p1mlbwak5d9yrpx9asi95nyjqfcss-pluma-1.21.1/bin/pluma passed the binary check.
- /nix/store/qv4p1mlbwak5d9yrpx9asi95nyjqfcss-pluma-1.21.1/bin/.pluma-wrapped passed the binary check.
- 2 of 2 passed binary check by having a zero exit code.
- 0 of 2 passed binary check by having the new version present in output.
- found 1.21.1 with grep in /nix/store/qv4p1mlbwak5d9yrpx9asi95nyjqfcss-pluma-1.21.1
- directory tree listing: https://gist.github.com/f06bd46e4278731e8bf069a5bc4f0f62
- du listing: https://gist.github.com/2e4b1ada7a39f4bb5b224c773d0096c6
 2018-07-06 20:21:53 +02:00
R. RyanTM
a58efac160 libodfgen: 0.1.6 -> 0.1.7 (#42246) 
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.

This update was made based on information from https://repology.org/metapackage/libodfgen/versions.

These checks were done:

- built on NixOS

- 0 of 0 passed binary check by having a zero exit code.
- 0 of 0 passed binary check by having the new version present in output.
- found 0.1.7 with grep in /nix/store/9ngbm7b2sd2zvagliqnlgvx892ay7wm9-libodfgen-0.1.7
- directory tree listing: https://gist.github.com/6a8d890d4d5134b3b823c052014dfbd6
- du listing: https://gist.github.com/294321ff72a9aa97f89b6941ab62412d
 2018-07-06 20:19:42 +02:00
R. RyanTM
593bb456e4 adapta-gtk-theme: 3.93.1.22 -> 3.93.1.28 (#43056) 
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.

This update was made based on information from https://repology.org/metapackage/adapta-gtk-theme/versions.

Version release notes (from GitHub):
* Added some workarounds for Pixel-saver applet in Budgie (Gtk+ 3.2x/4.0).
* Dropped some outdated styling in FirefoxQuantum (Gtk+ 3.2x/4.0).

These checks were done:

- built on NixOS

- 0 of 0 passed binary check by having a zero exit code.
- 0 of 0 passed binary check by having the new version present in output.
- directory tree listing: https://gist.github.com/2a01274ab6cfba1470a7eec4fd70802c
- du listing: https://gist.github.com/9c89b76ba6d49d6056387e6e044f346f
 2018-07-06 20:16:29 +02:00
R. RyanTM
857f0753d6 riot-web: 0.15.5 -> 0.15.6 (#42958) 
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.

This update was made based on information from https://repology.org/metapackage/riot-web/versions.

These checks were done:

- built on NixOS

- 0 of 0 passed binary check by having a zero exit code.
- 0 of 0 passed binary check by having the new version present in output.
- found 0.15.6 with grep in /nix/store/0gr8hg3lgymk3idlxb9i4q0p6yyq3azz-riot-web-0.15.6
- directory tree listing: https://gist.github.com/5d5d991112bb6e9960e1319112c7c6e9
- du listing: https://gist.github.com/e2ade24d81e7c7b978e65607f2d7b669
 2018-07-06 20:12:27 +02:00
xeji
3035cd220e
Merge pull request #43084 from vbgl/ocaml-janestreet-0.11.0 
ocamlPackages.janeStreet: 0.10 -> 0.11
 2018-07-06 20:00:38 +02:00
averelld
06c6ff2465 mattermost-desktop: 4.1.1 -> 4.1.2 (#43117) 
Also update some dependencies
 2018-07-06 19:27:11 +02:00
Jaka Hudoklin
42f1372c53 telepresence: 0.67 -> 0.85 (#43116) 2018-07-06 19:23:43 +02:00
Will Dietz
7835d7c74f
Merge pull request #43076 from dtzWill/update/kitty-0.11.2 
kitty: 0.10.1 -> 0.11.2
 2018-07-06 11:32:02 -05:00
Silvan Mosberger
140f384ff7
Merge pull request #43059 from r-ryantm/auto-update/armadillo 
armadillo: 8.500.1 -> 8.600.0
 2018-07-06 18:27:42 +02:00
Jan Tojnar
188e487dd1
gnome3: simplify package set using makeScope 2018-07-06 18:20:06 +02:00
Silvan Mosberger
8f5b0686ee
Merge pull request #43054 from r-ryantm/auto-update/chirp-daily 
chirp: 20180614 -> 20180623
 2018-07-06 18:14:44 +02:00
Peter Hoeg
9a066a3caf pythonPackages.matrix-client: 0.2.0 -> 0.3.2 (#42915) 2018-07-06 18:05:19 +02:00
Robert Schütz
871447a12e flexget: update propagatedBuildInputs 2018-07-06 17:54:39 +02:00
lewo
2b5d151471
Merge pull request #43119 from nlewo/pr-fix-docker-tools-tests 
dockerTools.examples: explicitly set image tag to fix docker-tools tests
 2018-07-06 17:52:29 +02:00
Robert Schütz
a49ac62722
Merge pull request #43106 from dotlambda/seafile-client-6.2.1 
seafile-client: 6.1.8 -> 6.2.1
 2018-07-06 17:47:08 +02:00
Matthew Bauer
6df7a8b34c dunst: fix building without dunstify 
Fixes https://hydra.nixos.org/build/77046987/
 2018-07-06 11:12:16 -04:00
Robert Schütz
1804301446 python: alembic: 0.9.9 -> 0.9.10 2018-07-06 17:09:24 +02:00
Antoine Eiche
d44b778d10 dockerTools.examples: explicitly set image tag to fix docker-tools tests 
docker-tools tests load images without specifying any tag
value. Docker then uses the image with tag "latest" which doesn't
exist anymore since commit 39e678e24e.
 2018-07-06 16:38:42 +02:00
Robert Schütz
fda46a645c python.pkgs.agate: fix tests 
Need to use fetchFromGitHub because examples/ is missing from PyPI tarball.
Also clean up the expression and specify appropriate checkInputs.
Fixes #42867.
 2018-07-06 16:22:51 +02:00
Robert Schütz
4b373bc3d9 seafile-client: 6.1.8 -> 6.2.1 2018-07-06 16:01:55 +02:00
Robert Schütz
376b222fd7 seafile-shared: 6.1.0 -> 6.2.1 2018-07-06 16:01:49 +02:00
Mathias Schreck
39e678e24e dockerTools.buildImage: add option to use nix output hash as tag 2018-07-06 15:15:09 +02:00
Jaka Hudoklin
588dbd714e apache-kafka: add missing gnugrep gnused and coreutils deps (#43111) 2018-07-06 14:18:42 +02:00
Maximilian Bosch
e331236d57 termtosvg: init at 0.3.0 (#43069) 
`termtosvg` makes screencasts and writes them into a SVG file. The app
can be used on CLI entirely.

Closes #42921
 2018-07-06 14:11:50 +02:00
Vladimír Čunát
ec199f0941
Merge #43021: nix: use boehmgc with enableLargeConfig 2018-07-06 13:46:40 +02:00
xeji
d868a26a51
Merge pull request #43100 from qoelet/gnu-pw-mgr 
gnu-pw-mgr: init 2.3.2
 2018-07-06 13:42:58 +02:00
Vladimír Čunát
1bdb138710
nix: use boehmgc with enableLargeConfig = true 
Fixes #43015 for me and hopefully also similar issues.

== Resource consumption ==

TL;DR: no change for small-memory cases, less CPU for large-memory cases.

I assume almost all of the large memory usage is just the expression
evaluation and managed by the GC, so I used just `nix-env -q...` to test.
Old and new lines for each command follow.  I tried to run each several
times, but the values were very stable (<1% difference on re-runs),
so only one line for each command-version pair is provided.

$ time nix-env -f . -qaP --description -A nix >/dev/null
- 0.06user 0.01system 0:00.07elapsed 101%CPU (0avgtext+0avgdata 29036maxresident)k
+ 0.06user 0.01system 0:00.07elapsed 102%CPU (0avgtext+0avgdata 29864maxresident)k

$ time nix-env -f . -qaP --description >/dev/null
- 6.45user 0.36system 0:06.82elapsed  99%CPU (0avgtext+0avgdata 1021024maxresident)k
+ 6.23user 0.33system 0:06.57elapsed 100%CPU (0avgtext+0avgdata  938408maxresident)k

$ time nix-env -f . --show-trace -qa --drv-path --system --meta --xml 2>&1 >/dev/null
- 56.35user 0.96system 0:31.03elapsed 184%CPU (0avgtext+0avgdata 3207708maxresident)k
+ 44.80user 0.91system 0:26.12elapsed 175%CPU (0avgtext+0avgdata 3192696maxresident)k

$ time ./result-nix-large/bin/nix-instantiate --dry-run --eval --strict \
    --show-trace ./maintainers/scripts/eval-release.nix > /dev/null
- Too many heap sections: Increase MAXHINCR or MAX_HEAP_SECTS
- Command terminated by signal 6
- 175.18user 2.68system 1:17.42elapsed 229%CPU (0avgtext+0avgdata 8468440maxresident)k
+ 178.48user 2.78system 1:15.11elapsed 241%CPU (0avgtext+0avgdata 8460572maxresident)k
 2018-07-06 13:03:45 +02:00
Kenny Shen
e921aa02b1 gnu-pw-mgr: init 2.3.2 2018-07-06 19:00:57 +08:00
Vincent Demeester
77153c4cdb gauge: 0.9.7 -> 1.0.0 (#43107) 
Signed-off-by: Vincent Demeester <vincent@sbr.pm>
 2018-07-06 12:49:06 +02:00
André-Patrick Bubel
34a8ebc7b1 slic3r-prusa3d: 1.40.0 -> 1.40.1 (#43102) 2018-07-06 12:25:58 +02:00
Michael Fellinger
08e79cad4f Mint: 0.0.4 -> 0.1.0 (#43103) 2018-07-06 11:32:08 +02:00
Will Dietz
f22cbe5c35 xbacklight: 1.2.1 -> 1.2.2 (#43101) 2018-07-06 11:27:49 +02:00
xeji
5ea2eb7ac9
Merge pull request #43090 from flokli/gocryptfs-1.5 
gocryptfs: 1.1.1 -> 1.5
 2018-07-06 11:26:33 +02:00
Peter Hoeg
a4a1627926
Merge pull request #42768 from bkchr/plasma_5_13_2 
plasma5: 5.13.0 -> 5.13.2
 2018-07-06 16:19:12 +08:00
Robert Schütz
77ab76d4b7 libsearpc: 3.0.7 -> 3.0.8 2018-07-06 10:18:15 +02:00
lewo
c74301fda1
Merge pull request #43006 from r-ryantm/auto-update/grib-api 
grib-api: 1.26.1 -> 1.27.0
 2018-07-06 10:10:09 +02:00
Pascal Wittmann
c6be09c29b
calibre: 3.26.1 -> 3.27.0 2018-07-06 10:05:25 +02:00
lewo
a93666a0c7
Merge pull request #43009 from r-ryantm/auto-update/grisbi 
grisbi: 1.0.2 -> 1.0.4
 2018-07-06 10:04:53 +02:00
Jan Tojnar
bcda220f4f
system-config-printer: 1.5.9 → 1.5.11 2018-07-06 09:35:03 +02:00
Jan Tojnar
e197fcfa4a
libdazzle: 3.28.2 → 3.28.3 2018-07-06 09:35:03 +02:00
Jan Tojnar
eb97acb64a
gnome3.gnome-calculator: 3.28.1 → 3.28.2 2018-07-06 09:35:03 +02:00
Jan Tojnar
21f78529a5
python3.pkgs.dogtail: init at 0.9.10 2018-07-06 09:35:02 +02:00
Jan Tojnar
18b79b8fcb
gnome3.gnome-logs: 3.28.2 → 3.28.3 2018-07-06 09:35:02 +02:00
Jan Tojnar
8abddf8373
gnome3.gnome-boxes: 3.28.4 → 3.28.5 2018-07-06 09:35:02 +02:00
Jan Tojnar
6070fb3978
gnome3.bijiben: 3.28.2 → 3.28.3 2018-07-06 09:35:01 +02:00
Jan Tojnar
3098510780
meld: 3.18.1 → 3.18.2 2018-07-06 09:35:01 +02:00
Jan Tojnar
61f656f684
orca: 3.28.1 → 3.28.2 2018-07-06 09:35:01 +02:00
Peter Hoeg
93f276d47d adtool: init at 1.3.3 2018-07-06 15:09:41 +08:00
Peter Hoeg
44f724467a
Merge pull request #42996 from r-ryantm/auto-update/libnfs 
libnfs: 2.0.0 -> 3.0.0
 2018-07-06 14:27:01 +08:00
Vladimír Čunát
07ac57182b
Merge #43012: thunderbird*: 52.8.0 -> 52.9.0 (security) 2018-07-06 08:20:34 +02:00
Will Dietz
e264a93a85 libndctl: fix build w/musl using patch from upstream 2018-07-05 22:12:46 -05:00
Peter Hoeg
151680b077
Merge pull request #43036 from r-ryantm/auto-update/elisa 
elisa: 0.1.80 -> 0.2.0
 2018-07-06 10:40:48 +08:00
Matthew Bauer
e67fb11d4c
Merge pull request #42473 from roosemberth/lua53-pkgconfig 
lua5.3/pkgconfig: add lua5.3.pc
 2018-07-05 22:17:50 -04:00
Zer0-
e13f46b3c2 MusE: add new package at version 3.0.2 (#42544) 
* muse: init at version 3.0.2

Added MusE; an application for working with midi. Allowing recording
from midi instruments, playback and editing of midi files.

* muse: remove unnecessary dependencies

-builds and works just fine without listing these

* Use fetchFromGitHub and add sha256
 2018-07-05 22:16:27 -04:00
Matthew Bauer
ce2f8bfda8
Merge pull request #42579 from dasJ/dunstify 
dunst: Also install dunstify
 2018-07-05 22:14:55 -04:00
Matthew Bauer
81686434bf
Merge pull request #42817 from Hodapp87/fix_mesa_glu 
appleseed, structure-synth, luxcorerender: libGLU instead of mesa_glu
 2018-07-05 22:14:08 -04:00
Matthew Bauer
6d6b079622
Merge pull request #42789 from twhitehead/lwp-protocol-https 
lwp-protocol-https: honour NIX_SSL_CERT_FILE
 2018-07-05 22:12:51 -04:00
Matthew Bauer
af56538c89
Merge pull request #42687 from nh2/nginx-debug-build 
nginx: Flag to build with debugging and parallel builds
 2018-07-05 22:11:51 -04:00
Matthew Bauer
01037e0f35
Merge pull request #42688 from fmenou/update-terraform-providers 
terraform: update all providers
 2018-07-05 22:11:26 -04:00
Matthew Bauer
62f47c56b7
Merge pull request #42723 from thefloweringash/es5-plugin-classpath 
elasticsearch5: Set classpath for elasticsearch-plugin
 2018-07-05 22:10:47 -04:00
Matthew Bauer
00db477324
Merge pull request #42931 from r-ryantm/auto-update/urh 
urh: 2.1.1 -> 2.2.2
 2018-07-05 21:50:58 -04:00
Matthew Bauer
5809621bbf
Merge pull request #42926 from aij/flow-0.75 
flow: 0.72.0 -> 0.75.0
 2018-07-05 21:50:41 -04:00
Matthew Bauer
79602a2f44
Merge pull request #42851 from jmitchell/fix/vm-debian 
vmTools: update Debian minor version to 8.11
 2018-07-05 21:50:17 -04:00
Matthew Bauer
65695f9e0e
Merge pull request #42868 from alyssais/patch-2 
bundler: 1.16.1 -> 1.16.2
 2018-07-05 21:49:25 -04:00
Matthew Bauer
0ce00ea660
Merge pull request #42870 from ldesgoui/add-pscircle 
pscircle: init at v1.0.0
 2018-07-05 21:48:25 -04:00
Ryan Mulligan
7937f82665 treewide: http -> https 2018-07-05 18:35:28 -07:00
Florian Klink
7e579aa994 gocryptfs: 1.1.1 -> 1.5 
Bold marked applicable changelog entries:

 - Support extended attributes (xattr) in forward mode<Paste>
 - Add -fsck function
 - Fix several symlink race attacks
 - Use memory pools for buffer handling
 - Parallelize file content encryption
 - Use HKDF to derive separate keys for GCM and EME
 2018-07-06 01:46:00 +02:00
xeji
5c271db791
Merge pull request #43060 from disassembler/asterisk 
Asterisk xmpp support
 2018-07-06 00:43:26 +02:00
Silvan Mosberger
a986631655 texlive: Propagate biber binary (#42875) 2018-07-06 00:19:47 +02:00
John Wiegley
1459b2dffa
coqPackages.equations: Add support for Coq 8.8 2018-07-05 15:17:22 -07:00
John Wiegley
56afc551f2
verilator: Allow building on Darwin as well as Linux 2018-07-05 15:17:17 -07:00