···

       
4
       
4
       
 
       
  pname = "vcfloat";

     

       
5
       
5
       
 
       
  owner = "VeriNum";

     

       
6
       
6
       
 
       
  inherit version;

     

       
7
       
7
       
+
       
  sourceRoot = "source/vcfloat";

     

       
8
       
8
       
+
       
  postPatch = ''

     

       
9
       
9
       
+
       
    coq_makefile -o Makefile -f _CoqProject *.v

     

       
10
       
10
       
+
       
  '';

     

       
7
       
11
       
 
       
  defaultVersion = with versions; switch coq.coq-version [

     

       
8
       
12
       
 
       
    { case = range "8.16" "8.17"; out = "2.1.1"; }

     

       
9
       
13
       
 
       
  ] null;