···

       
21
       
21
       
 
       
   "8.6.1"     = "0llrxcxwy5j87vbbjnisw42rfw1n1pm5602ssx64xaxx3k176g6l";

     

       
22
       
22
       
 
       
   "8.7.0"     = "1h18b7xpnx3ix9vsi5fx4zdcbxy7bhra7gd5c5yzxmk53cgf1p9m";

     

       
23
       
23
       
 
       
   "8.7.1"     = "0gjn59jkbxwrihk8fx9d823wjyjh5m9gvj9l31nv6z6bcqhgdqi8";

     

       
24
       
24
       
+
       
   "8.7.2"     = "0a0657xby8wdq4aqb2xsxp3n7pmc2w4yxjmrb2l4kccs1aqvaj4w";

     

       
24
       
25
       
 
       
  }."${version}";

     

       
25
       
26
       
 
       
  coq-version = builtins.substring 0 3 version;

     

       
26
       
27
       
 
       
  camlp5 = ocamlPackages.camlp5_strict;

     

···

       
69
       
69
       
 
       
    version = "8.6.1";

     

       
70
       
70
       
 
       
  };

     

       
71
       
71
       
 
       
  coq_8_7 = callPackage ../applications/science/logic/coq {

     

       
72
       
72
       
-
       
    version = "8.7.1";

     

       
72
       
72
       
+
       
    version = "8.7.2";

     

       
73
       
73
       
 
       
  };

     

       
74
       
74
       
 
       


     

       
75
       
75
       
 
       
  coqPackages_8_5 = mkCoqPackages coq_8_5;