diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-09-22 03:30:52 +0000 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-09-22 03:32:06 +0000 |
commit | 3b7c68615e4d537dc7fc640224ab2a7d4fc4661f (patch) | |
tree | b1a0255aa99e9d86b4a9a6165c0cda05a1217d4d /pkgs/misc/emulators | |
parent | 743848bb46f8a9ae2d6e76dd4568a57025e4a799 (diff) | |
download | nixlib-3b7c68615e4d537dc7fc640224ab2a7d4fc4661f.tar nixlib-3b7c68615e4d537dc7fc640224ab2a7d4fc4661f.tar.gz nixlib-3b7c68615e4d537dc7fc640224ab2a7d4fc4661f.tar.bz2 nixlib-3b7c68615e4d537dc7fc640224ab2a7d4fc4661f.tar.lz nixlib-3b7c68615e4d537dc7fc640224ab2a7d4fc4661f.tar.xz nixlib-3b7c68615e4d537dc7fc640224ab2a7d4fc4661f.tar.zst nixlib-3b7c68615e4d537dc7fc640224ab2a7d4fc4661f.zip |
abella: fix build with OCaml ≥ 4.03
Diffstat (limited to 'pkgs/misc/emulators')
0 files changed, 0 insertions, 0 deletions