summary refs log tree commit diff
path: root/pkgs/development/coq-modules/ssreflect
diff options
context:
space:
mode:
authorAustin Seipp <aseipp@pobox.com>2018-11-04 08:21:07 -0600
committerAustin Seipp <aseipp@pobox.com>2018-11-04 08:24:19 -0600
commit4569ee7d74d505f0a9b3fb8754951393e8be7e6f (patch)
treeda73048c596c3f836682403478d1709e4ab7f816 /pkgs/development/coq-modules/ssreflect
parent965ae0246a2ee176cba658503afe8cd78e01f087 (diff)
downloadnixlib-4569ee7d74d505f0a9b3fb8754951393e8be7e6f.tar
nixlib-4569ee7d74d505f0a9b3fb8754951393e8be7e6f.tar.gz
nixlib-4569ee7d74d505f0a9b3fb8754951393e8be7e6f.tar.bz2
nixlib-4569ee7d74d505f0a9b3fb8754951393e8be7e6f.tar.lz
nixlib-4569ee7d74d505f0a9b3fb8754951393e8be7e6f.tar.xz
nixlib-4569ee7d74d505f0a9b3fb8754951393e8be7e6f.tar.zst
nixlib-4569ee7d74d505f0a9b3fb8754951393e8be7e6f.zip
plv8: unbreak build, bump to version 2.3.8
ee58a5b30d6e60407b44fbb02ddade6c20fd8763 broke the plv8 build because it
upgraded the v8_6_x expression everywhere to the 6.9 branch, which came
with API changes. Notably, it seems plv8 only supports up-to v8 6.4.x at
this time.

This keeps a copy of the plv8_6_x expression inside the same directory
as the other v8 versions (so patches, etc are easy to apply), but it is
not exposed to the top-level of all-packages.nix.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
Diffstat (limited to 'pkgs/development/coq-modules/ssreflect')
0 files changed, 0 insertions, 0 deletions