|
|
|
@ -144,6 +144,7 @@ in rec { |
|
|
|
|
coq_8_12 = mkCoq "8.12"; |
|
|
|
|
coq_8_13 = mkCoq "8.13"; |
|
|
|
|
coq_8_14 = mkCoq "8.14"; |
|
|
|
|
coq_8_15 = mkCoq "8.15"; |
|
|
|
|
|
|
|
|
|
coqPackages_8_5 = mkCoqPackages coq_8_5; |
|
|
|
|
coqPackages_8_6 = mkCoqPackages coq_8_6; |
|
|
|
@ -155,6 +156,7 @@ in rec { |
|
|
|
|
coqPackages_8_12 = mkCoqPackages coq_8_12; |
|
|
|
|
coqPackages_8_13 = mkCoqPackages coq_8_13; |
|
|
|
|
coqPackages_8_14 = mkCoqPackages coq_8_14; |
|
|
|
|
coqPackages_8_15 = mkCoqPackages coq_8_15; |
|
|
|
|
coqPackages = recurseIntoAttrs coqPackages_8_13; |
|
|
|
|
coq = coqPackages.coq; |
|
|
|
|
|
|
|
|
|