1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-25 03:17:13 +00:00
nixpkgs/pkgs
Matthew Maurer f10067be1f Legacy library + old compiler = normal name (OCaml)
For legacy camlp4 libraries, if we are using a pre-4.02 compiler, and
so don't have ppx access, allow access to the legacy library under the
normal name.
2016-09-14 02:36:07 -04:00
..
applications Merge pull request #18567 (VirtualBox 5.1.6) 2016-09-14 02:20:16 +02:00
build-support nixBufferBuilders.withPackages: Make more legible, special-case proof-general. 2016-09-05 17:55:49 -04:00
data Merge commit 'refs/pull/18498/head' of git://github.com/NixOS/nixpkgs 2016-09-13 12:51:34 +03:00
desktops treewide: explicitly specify gtk version 2016-09-13 21:09:24 +03:00
development core_extended: 112.24.00 -> 112.24.00/113.33.03 2016-09-14 02:36:07 -04:00
games Merge commit 'refs/pull/18498/head' of git://github.com/NixOS/nixpkgs 2016-09-13 12:51:34 +03:00
misc wine: 1.8.3 -> 1.8.4; 1.9.16 -> 1.9.18 2016-09-13 17:33:24 +02:00
os-specific Merge pull request #18567 (VirtualBox 5.1.6) 2016-09-14 02:20:16 +02:00
servers xorg.xf86-input-libinput: 0.19.0 -> 0.19.1 2016-09-14 00:05:12 +02:00
shells Merge branch 'master' into staging 2016-08-27 23:54:54 +01:00
stdenv stdenv: leave SSL_CERT_FILE in shells (#15571) 2016-09-01 20:50:08 +02:00
test
tools Merge pull request #18567 from aske/gtk-fix 2016-09-14 01:46:15 +04:00
top-level Legacy library + old compiler = normal name (OCaml) 2016-09-14 02:36:07 -04:00