From eaf48b23e9b2dd60ca30160909169eae7f4cba40 Mon Sep 17 00:00:00 2001
From: Austin Seipp <aseipp@pobox.com>
Date: Wed, 9 Sep 2015 07:43:23 -0500
Subject: [PATCH] nixpkgs: name wibble, s/JonPRL/jonprl/

We generally don't use upper case for all-packages.nix definitions.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
---
 pkgs/top-level/all-packages.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index cd67649f507f..94079eaac043 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -14560,7 +14560,7 @@ let
 
   iprover = callPackage ../applications/science/logic/iprover {};
 
-  JonPRL = callPackage ../applications/science/logic/jonprl {
+  jonprl = callPackage ../applications/science/logic/jonprl {
     smlnj = if stdenv.isDarwin
       then smlnjBootstrap
       else smlnj;